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

Seminarium Zakładu Logiki Matematycznej (wspólnie z Zakładem Teorii Obliczeń) Seminaria odbywaj± się we wtorki o godz. 10:15 w sali B2-38 4.XI.2014 prof. Kazimierz ¦wirydowicz, Strukturalna pełno¶ć rozszerzeń logiki relewantnej R cz. 1 18.XI.2014 prof. Kazimierz ¦wirydowicz, Strukturalna pełno¶ć rozszerzeń logiki relewantnej R cz. 2 25.XI.2014 mgr Lidia Typańska, Pretabularne rozszerzenia logiki brouwerowskiej 24.II.2015 prof. Wojciech Buszkowski, Rezyduacje 3.III.2015 prof. Wojciech Buszkowski, Algebry z rezyduacjami i ich logiki 17.III.2015 prof. Wojciech Buszkowski, Nierozstrzygalno¶ć teorii równo¶ciowej kontrakcyjnych krat z rezyduacjami cz.I 24.III.2015 prof. Wojciech Buszkowski, Nierozstrzygalno¶ć teorii równo¶ciowej kontrakcyjnych krat z rezyduacjami cz.II 31.III.2015 prof. Wojciech Buszkowski, Nierozstrzygalno¶ć teorii równo¶ciowej kontrakcyjnych krat z rezyduacjami cz.III 14.IV.2015 prof. Roman Murawski, Filozofia logiki i matematyki w Warszawskiej Szkole Logicznej 21.IV.2015 dr Mirosława Kołowska-Gawiejnowicz, Zastosowania języka PROLOG w matematyce 28.IV.2015 prof. Wojciech Buszkowski, Interpretacje syntaktyczne w rachunku FL   Archiwum   Rok akademicki 2002/2003   Rok akademicki 2003/2004   Rok akademicki 2004/2005   Rok akademicki 2005/2006   Rok akademicki 2006/2007   Rok akademicki 2007/2008   Rok akademicki 2008/2009   Rok akademicki 2009/2010   Rok akademicki 2010/2011   Rok akademicki 2012/2013