ďťż
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 2006/2007

2007-05-29
prof. Ewa Graczyńska, Instytut Matematyki Politechniki Opolskiej,
Solidne quasi-rozmaitości

2007-05-15
mgr Michał Kozak,
Rozstrzygalność ICPDL cz. III

2007-05-08
mgr Michał Kozak,
Rozstrzygalność ICPDL cz. II

2007-04-24
mgr Michał Kozak,
Rozstrzygalność ICPDL

2007-04-17
dr Jerzy Mycka, Uniwersytet M. Curie-Skłodowskiej w Lublinie
Geometryczny model obliczeń a zagadnienia rozstrzygalności.

2007-03-20
dr Izabela Bondecka-Krzykowska,
Sztuczna inteligencja

2007-03-13
prof. Kazimierz Świrydowicz,
Uogólnienia własności relewancji.

2007-01-16
dr Izabela Bondecka-Krzykowska,
Zagadnienia filozoficzne związane z teorią kategorii.

2007-01-09
dr Izabela Bondecka-Krzykowska,
Wprowadzenie do teorii kategorii.

2006-12-05
mgr Michał Kozak,
Teoria modeli- algebry Lindenbauma cz IV.

2006-11-28
mgr Michał Kozak,
Teoria modeli- algebry Lindenbauma cz III.

2006-11-14
mgr Michał Kozak,
Teoria modeli- algebry Lindenbauma cz II.

2006-10-24
mgr Michał Kozak,
Teoria modeli- algebry Lindenbauma.