Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

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