Pracownia Logiki i Filozofii Informatyki
Pracownicy jednostki prowadzą badania naukowe w zakresie:
- logiki matematycznej,
- filozofii informatyki,
- historii obliczeń oraz historii informatyki,
- filozofii matematyki,
- lingwistyki matematycznej,
- filozofii i historii matematyki,
- dydaktyki informatyki,
- robotyki edukacyjnej.
Strona archiwalna: www.logika.amu.edu.pl
Historia Zakładu Logiki
1929 - utworzono Katedrę Teorii i Metodologii Nauk na Wydziale Matematyczno–Przyrodniczym, kierownik: Zygmunt Zawirski
1937 - Zawirski przenosi się do Krakowa na Uniwersytet Jagielloński
1937–1939 Katedra nie zostaje obsadzona (sprawa ewentualnej kandydatury Alfreda Tarskiego na kierownika Katedry)
1945 - kierownikiem Katedry Teorii i Metodologii Nauk zostaje Kazimierz Ajdukiewicz
1951 - Wydział Matematyczno–Przyrodniczy przekształcony w Wydział Matematyki, Fizyki i Chemii, Katedra Teorii i Metodologii Nauk przekształcona w Katedrę Logiki
1955 - K. Ajdukiewicz przenosi się do Warszawy, kierownikiem Katedry Logiki zostaje Seweryna Łuszczewska-Romahnowa
1969 - utworzono Instytut Matematyki (w miejsce Katedry Matematyki I i Katedry Matematyki II), Katedra Logiki przekształcona w Zakład Logiki Matematycznej
1974 - kierownikiem Zakładu Logiki Matematycznej zostaje Tadeusz Batóg
1993 - z Zakładu Logiki Matematycznej wyewoluowały Zakład Teorii Obliczeń (kierownik: Wojciech Buszkowski) oraz Zakład Lingwistyki Informatycznej i Sztucznej Inteligencji (kierownik: Zygmunt Vetulani)
1996 - kierownikiem Zakładu Logiki Matematycznej zostaje Roman Murawski
2020 - Zakład Logiki Matematycznej i Zakład Teorii Obliczeń zostają połączone w Zakład Logiki Matematycznej, kierownik: Wojciech Buszkowski
2024 - likwidacja Zakładu Logiki Matematycznej
2025 - utworzenie Pracowni Logiki i Filozofii Informatyki, kierownik: Izabela Bondecka-Krzykowska
Źródło: R. Murawski, Logika na uniwersytecie w Poznaniu, Nauka Polska. Jej Potrzeby Organizacja i Rozwój, XXVIII (LIII) (2019), 19–35.
Pracownicy jednostki biorą udział w następujących seminariach:
- Seminarium Edukacji Informatycznej i Systemów Inteligentnego Wspierania Kształcenia. Miejsce i data: wtorki o godz. 9:30 w sali B3-19/20.
Izabela Bondecka-Krzykowska: link do katalogu
Maciej Kandulski: link do katalogu
Barbara Kołodziejczak: link do katalogu
Mirosława Kołowska-Gawiejnowicz: link do katalogu