Loa
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 15:22, 18 cze 2022 (edytuj) Pogonowski (Dyskusja | wkład) (→English summary) ← Poprzednia edycja |
Wersja z dnia 20:40, 26 maj 2024 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Logika algebraiczna) Następna edycja → |
||
| Linia 19: | Linia 19: | ||
| Wtorek, 15:00-16:30, [W roku ak. 2021-2022 MS Teams]. | Wtorek, 15:00-16:30, [W roku ak. 2021-2022 MS Teams]. | ||
| + | |||
| + | Sylabus: [[Media: Sylabus_logika_algebraiczna.pdf | Sylabus]]. | ||
| ==Prezentacje== | ==Prezentacje== | ||
Wersja z dnia 20:40, 26 maj 2024
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].
Sylabus: Sylabus.
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
