ďťż
Zakład Logiki Matematycznej
Wydział Matematyki i Informatyki
Uniwersytet im. A. Mickiewicza w Poznaniu
  Strona główna       Pracownicy       Doktoranci    
  Konferencje Filozofia Matematyki       Archiwum   Ciekawostki     Logika w sieci    
               

Rok akademicki 2008/2009
dr Izabela Bondecka-Krzykowska, Paradygmaty informatyki

17.III.2009
dr Izabela Bondecka-Krzykowska, Matematyka a informatyka

27.I.2009
prof. dr hab. Jerezy Pogonowski, Zakład Logiki Stosowanej UAM,
prof. dr hab. Andrzej Wiśniewski, Instytut Psychologii UAM
Niezupełność efektywnych ram podwójnych
16.XII.2008
dr Izabela Bondecka-Krzykowska, Historia maszyn liczących na ziemiach polskich

18.XI.2008
prof. dr hab. Kazimierz Świrydowicz, Aksjomatyzacja teorii równościowych -                                                                   przegląd wyników cz. II.
4.XI.2008
prof. dr hab. Kazimierz Świrydowicz, Aksjomatyzacja teorii równościowych -                                                                   przegląd wyników cz. I.
14.X.2008
prof. dr hab. Kazimierz Świrydowicz, O logikach niemożliwości