Seminarium
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Wersja z dnia 20:13, 2 sty 2008 (edytuj) Pogonowski (Dyskusja | wkład) ← Poprzednia edycja |
Wersja z dnia 20:14, 2 sty 2008 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja → |
||
Linia 5: | Linia 5: | ||
* Dr Robert Sochacki (Instytut Matematyki i Informatyki, Uniwersytet Opolski): '''Ł-rozstrzygalność pewnych systemów w wersji inwariantnej.''' 23 stycznia. | * Dr Robert Sochacki (Instytut Matematyki i Informatyki, Uniwersytet Opolski): '''Ł-rozstrzygalność pewnych systemów w wersji inwariantnej.''' 23 stycznia. | ||
- | * Jerzy Pogonowski, Joanna Smigerska: O kwantyfikatorach uogólnionych. 16 stycznia. | + | * Jerzy Pogonowski, Joanna Smigerska: '''O kwantyfikatorach uogólnionych.''' 16 stycznia. |
- | * Jerzy Pogonowski: Reguła rezolucji i tablice analityczne w ''Symbolic Logic'' Lewisa Carrolla. 9 stycznia. | + | * Jerzy Pogonowski: '''Reguła rezolucji i tablice analityczne w ''Symbolic Logic'' Lewisa Carrolla.''' 9 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== | ==Listopad 2007== | ||
- | * Dr Włodzimierz Lapis: Pojęcie, rodzaje i aspekty dystynktywności. 7 i 21 XI. | + | * Dr Włodzimierz Lapis: '''Pojęcie, rodzaje i aspekty dystynktywności.''' 7 i 21 XI. |
Wersja z dnia 20:14, 2 sty 2008
Spis treści |
Plan
Styczeń 2008
- Dr Robert Sochacki (Instytut Matematyki i Informatyki, Uniwersytet Opolski): Ł-rozstrzygalność pewnych systemów w wersji inwariantnej. 23 stycznia.
- Jerzy Pogonowski, Joanna Smigerska: O kwantyfikatorach uogólnionych. 16 stycznia.
- Jerzy Pogonowski: Reguła rezolucji i tablice analityczne w Symbolic Logic Lewisa Carrolla. 9 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.