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 17:40, 5 cze 2022 (edytuj)
Pogonowski (Dyskusja | wkład)

← Poprzednia edycja
Aktualna wersja (20:42, 26 maj 2024) (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Logika algebraiczna)
 
(14 intermediate revisions not shown.)
Linia 13: Linia 13:
=Logika algebraiczna= =Logika algebraiczna=
 +
 +Wykład fakultatywny, kognitywistyka UAM.
 +
 +Semestr zimowy 2021-2022
 +
 +Wtorek, 15:00-16:30, [W roku ak. 2021-2022 MS Teams].
 +
 +Sylabus: [[Media: Sylabus_logika_algebraiczna_2021.pdf | Sylabus]].
 +
 +==Prezentacje==
 +
 +* [[Media: alglog01.pdf | Plan wykładów]]
 +
 +* [[Media: alglog02z.pdf | Algebry, morfizmy, kongruencje]]
 +
 +* [[Media: alglog03.pdf | Produkty algebr]]
 +
 +* [[Media: alglog04y.pdf | Kraty]]
 +
 +* [[Media: alglog05z.pdf | Algebry Boole'a]]
 +
 +* [[Media: alglog06x.pdf | Operacje konsekwencji]]
 +
 +* [[Media: alglog07.pdf | Matryce logiczne]]
 +
 +* [[Media: logalg08y.pdf | Logika niefregowska]]
 +
 +* [[Media: logalg09y.pdf | W-języki]]
 +
 +* [[Media: logalg10.pdf | Teorie w W-językach]]
 +
 +* [[Media: scifin.pdf | Skończone SCI-modele]]
 +
 +* [[Media: scival.pdf | SCI: wartościowania prawdziwościowe]]
 +
 +* [[Media: sciade.pdf | Modele dla SCI (1)]]
 +
 +* [[Media: sciunc.pdf | Modele dla SCI (2)]]
 +
 +==English summary==
 +
 +* [[Media: algebraiclogic01.pdf | Algebraic logic]]
 +
 +* [[Media: fws02.pdf | Non-Fregean logic]]
 +
 +* [[Media: fws03.pdf | Theories in W-languages]]
 +
 +==Teksty źródłowe==
 +
 +* [[Media: univ-algebra-burris-sankappanavar.pdf | Stanley Burris, H.P. Sankappanavar ''A course in universal algebra'']]
 +
 +* [[Media: Wojcicki-Lectures.pdf | Ryszard Wójcicki ''Lectures on propositional calculi'']]
 +
 +* [[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'']]
 +
 +* [[Media: suszko1968_ontology_in_the_tractatus_of_wittgenstein.pdf | Roman Suszko ''Ontology in the Tractatus of Wittgenstein'']]
 +
 +Dalsze teksty źródłowe znajdą słuchacze w katalogu Pliki w MSTeams.
 +
 +==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]]

Aktualna wersja

Spis treści

CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line


[edytuj] Logika algebraiczna

Wykład fakultatywny, kognitywistyka UAM.

Semestr zimowy 2021-2022

Wtorek, 15:00-16:30, [W roku ak. 2021-2022 MS Teams].

Sylabus: Sylabus.

[edytuj] Prezentacje

[edytuj] English summary

[edytuj] Teksty źródłowe

Dalsze teksty źródłowe znajdą słuchacze w katalogu Pliki w MSTeams.

[edytuj] 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