From Zakład Logiki Stosowanej

Spis treści 1 Logika algebraiczna 1.1 Prezentacje 1.2 English summary 1.3 Teksty źródłowe 1.4 Tematy esejów zaliczeniowych 2021-2022

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

• Plan wykładów

• Algebry, morfizmy, kongruencje

• Produkty algebr

• Kraty

• Algebry Boole'a

• Operacje konsekwencji

• Matryce logiczne

• Logika niefregowska

• W-języki

• Teorie w W-językach

• Skończone SCI-modele

• SCI: wartościowania prawdziwościowe

• Modele dla SCI (1)

• Modele dla SCI (2)

English summary

Teksty źródłowe

Tematy esejów zaliczeniowych 2021-2022