From Zakład Logiki Stosowanej

Spis treści 1 Plan 1.1 Styczeń 2008 1.2 Grudzień 2007 1.3 Listopad 2007 2 Czas i miejsce

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. .
  Tekst odczytu.

• Jerzy Pogonowski: Reguła rezolucji i tablice analityczne w Symbolic Logic Lewisa Carrolla.
  9 stycznia.
  Tekst odczytu.

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.