Loa
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 21:14, 5 cze 2022 (edytuj) Pogonowski (Dyskusja | wkład) (→Teksty źródłowe) ← Poprzednia edycja |
Wersja z dnia 21:16, 5 cze 2022 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Teksty źródłowe) Następna edycja → |
||
| Linia 62: | Linia 62: | ||
| * [[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'']] | + | * [[Media: Bloom-Suszko-1972.pdf | Stephen L. Bloom, Roman Suszko ''Investigations into the sentential calculus with identity'']] |
| + | |||
| + | * [[Media: bloom_completeness_w-theories.pdf | Stephen L. Bloom ''A completeness theorem for theories of kind W'']] | ||
| ==Tematy esejów zaliczeniowych 2021-2022== | ==Tematy esejów zaliczeniowych 2021-2022== | ||
Wersja z dnia 21:16, 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
