Site programming by Marcin Junczys-Dowmunt



 
 
 

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.