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.