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:20, 5 cze 2022 (edytuj)
Pogonowski (Dyskusja | wkład)
(Teksty źródłowe)
← Poprzednia edycja
Aktualna wersja (20:42, 26 maj 2024) (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Logika algebraiczna)
 
(2 intermediate revisions not shown.)
Linia 19: Linia 19:
Wtorek, 15:00-16:30, [W roku ak. 2021-2022 MS Teams]. Wtorek, 15:00-16:30, [W roku ak. 2021-2022 MS Teams].
 +
 +Sylabus: [[Media: Sylabus_logika_algebraiczna_2021.pdf | Sylabus]].
==Prezentacje== ==Prezentacje==
Linia 55: Linia 57:
* [[Media: fws02.pdf | Non-Fregean logic]] * [[Media: fws02.pdf | Non-Fregean logic]]
 +
 +* [[Media: fws03.pdf | Theories in W-languages]]
==Teksty źródłowe== ==Teksty źródłowe==

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