Seminarium
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 17:48, 22 lis 2007 (edytuj) Pogonowski (Dyskusja | wkład) (→Czas i miejsce) ← Poprzednia edycja |
Wersja z dnia 20:09, 2 sty 2008 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja → |
||
Linia 1: | Linia 1: | ||
=Plan= | =Plan= | ||
- | ==Listopad 2007== | + | ==Styczeń 2008== |
- | Dr Włodzimierz Lapis: Pojęcie, rodzaje i aspekty dystynktywności. 7 i 21 XI. | + | * 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== | ==Grudzień 2007== | ||
- | Dr Sławomir Sikora: Komparatystyka logiczna: Wschód i Zachód. 12 i 19 XII. | + | * 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= | =Czas i miejsce= | ||
Linia 13: | Linia 22: | ||
Środa, godz: 11:00-12:00. | Środa, godz: 11:00-12:00. | ||
- | Collegium Novum, sala 315B lub 316B. | + | Collegium Novum, sala 315B. |
Poznań, Al. Niepodległości 4. | Poznań, Al. Niepodległości 4. |
Wersja z dnia 20:09, 2 sty 2008
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.