Loa
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 20:49, 5 cze 2022 (edytuj) Pogonowski (Dyskusja | wkład) (→Tematy esejów zaliczeniowych 2021-2022) ← Poprzednia edycja |
Wersja z dnia 21:14, 5 cze 2022 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Teksty źródłowe) Następna edycja → |
||
| Linia 61: | Linia 61: | ||
| * [[Media: Wojcicki-Lectures.pdf | Ryszard Wójcicki ''Lectures on propositional calculi'']] | * [[Media: Wojcicki-Lectures.pdf | Ryszard Wójcicki ''Lectures on propositional calculi'']] | ||
| + | |||
| + | * [[Media: Bloom-Suszko-1972.pdf | ''Investigations into the sentential calculus with identity'']] | ||
| ==Tematy esejów zaliczeniowych 2021-2022== | ==Tematy esejów zaliczeniowych 2021-2022== | ||
Wersja z dnia 21:14, 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
