Loa
From Zakład Logiki Stosowanej
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Logika algebraiczna
Wykład fakultatywny, kognitywistyka UAM.
Semestr zimowy 2021-2022
Wtorek, 15:00-16:30, [W roku ak. 2021-2022 MS Teams].
Prezentacje
English summary
Teksty źródłowe
Dalsze teksty źródłowe znajdą słuchacze w katalogu Pliki w MSTeams.
Tematy esejów zaliczeniowych 2021-2022
- Tworzenie narzędzi i pozyskiwanie zasobów w grze Minecraft jako struktura algebraiczna
- Historia psychologizmu w logice
- Logika a ontologia: rozważania inspirowane powieścią Lód
- Stałe logiczne - przegląd podejść do problemu
- Izomorfizm pomiędzy ISCI a intuicjonistyczną teorią typów
- Rozumienie pojęcia stałej logicznej
- Geneza i zastosowania logiki wielowartościowej Łukasiewicza