Site programming by Marcin Junczys-Dowmunt



 
 
 

Seminarium

From Zakład Logiki Stosowanej

Spis treści

Plan

Styczeń 2008

  • Jerzy Pogonowski: Reguła rezolucji i tablice analityczne w Symbolic Logic Lewisa Carrolla. 9 stycznia.
  • Jerzy Pogonowski, Joanna Smigerska: O kwantyfikatorach uogólnionych. 16 stycznia.
  • Dr Robert Sochacki (Instytut Matematuki i Informatyki, Uniwersytet Opolski): Ł-rozstrzygalność pewnych systemów w wersji inwariantnej. 23 stycznia.

Grudzień 2007

  • Dr Sławomir Sikora: Komparatystyka logiczna: Wschód i Zachód. 12 i 19 XII.

Listopad 2007

  • Dr Włodzimierz Lapis: Pojęcie, rodzaje i aspekty dystynktywności. 7 i 21 XI.


Czas i miejsce

Środa, godz: 11:00-12:00.

Collegium Novum, sala 315B.

Poznań, Al. Niepodległości 4.