Loa
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 20:30, 5 cze 2022 (edytuj) Pogonowski (Dyskusja | wkład) (→Teksty źródłowe) ← Poprzednia edycja |
Wersja z dnia 20:49, 5 cze 2022 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Tematy esejów zaliczeniowych 2021-2022) Następna edycja → |
||
| Linia 63: | Linia 63: | ||
| ==Tematy esejów zaliczeniowych 2021-2022== | ==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 | ||
| [[Category:Dydaktyka]] | [[Category:Dydaktyka]] | ||
Wersja z dnia 20:49, 5 cze 2022
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
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
