Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Met

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 17:05, 9 paź 2018 (edytuj)
Pogonowski (Dyskusja | wkład)
(Metalogika)
← Poprzednia edycja
Aktualna wersja (20:37, 26 maj 2024) (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Metalogika)
 
(19 intermediate revisions not shown.)
Linia 15: Linia 15:
Wykład fakultatywny, kognitywistyka UAM. Wykład fakultatywny, kognitywistyka UAM.
-Wtorek, 15:00-16:30, sala 305.+Semestr zimowy 2018-2019, [[Media: oferta.pdf | '''Metalogika''']].
 + 
 +Wtorek, 15:00-16:30, sala 305. [W roku ak. 2020-2021 MS Teams].
 + 
 +Stary syllabus dostępny jest [[Media: 08_KODM_MET2018.pdf |'''tutaj''']].
 + 
 +Nowy sylabus dostępny jest tutaj: [[Media: Sylabus_metalogika_2021.pdf | '''Nowy sylabus''']] (zawiera propozycje tematów esejów zaliczeniowych).
==Prezentacje== ==Prezentacje==
Linia 22: Linia 28:
* [[Media: met01.pdf | Pojęcie nieskończoności]] * [[Media: met01.pdf | Pojęcie nieskończoności]]
 +
 +* [[Media: met02.pdf | Funkcje rekurencyjne]]
 +
 +* [[Media: met03.pdf | Arytmetyzacja składni]]
 +
 +* [[Media: met04.pdf | Twierdzenia metalogiczne]]
 +
 +* [[Media: met05.pdf | Rozstrzygalność]]
 +
 +* [[Media: met06.pdf | Logiki abstrakcyjne]]
 +
 +* [[Media: met07.pdf | Twierdzenia Lindströma]]
 +
 +* [[Media: met08q.pdf | Uogólnione kwantyfikatory]]
 +
 +* [[Media: met09.pdf | Uogólnione kwantyfikatory a sylogistyka]]
 +
 +=Tematy esejów zaliczeniowych=
 +
 +==Eseje 2020/2021==
 +
 +* Akcja w logice, czyli logika w akcji
 +
 +* Logika niefregowska
 +
 +* Logika modalna - od sylogizmów Arystotelesa do teorii gier
 +
 +* Test Turinga - czym jest, jakie są jego wady oraz alternatywne propozycje?
 +
 +* Historia wybranych systemów logik nieklasycznych
 +
 +* Intuicje filozoficzne logiki trójwartościowej Jana Łukasiewicza
 +
 +* Co to znaczy ''rozumieć''?
 +
 +* Spojrzenie na semiotykę w ujęciu Kazimierza Ajdukiewicza
 +
 +* Nominalizm a platonizm w sporze o istnienie bytów matematycznych
 +
 +* Test Turinga - perspektywa historyczna i współczesne zastosowania
 +
 +* Inteligencja wieloraka Gardnera a test Turinga
 +
 +* Przegląd wybranych paradoksów matematycznych (i nie tylko)
 +
 +* Luźny esej o dydaktyce matematyki ze szczyptą pojęcia rozumienia
 +
 +==Eseje 2018/2019==
 +
 +* Test Turinga
 +
 +* Co to znaczy rozumieć
 +
 +* Inner cross-relations of Curry-Howard isomorphism
 +
 +* Intuicje filozoficzne związane z powstaniem logiki trójwartościowej Jana Łukasiewicza
 +
 +* Paradoks Banacha-Tarskiego
 +
 +* Zarys i problemy trójwartościowej logiki Łukasiewicza Ł3
 +
 +* Implementacja formalizmów logicznych do programów komputerowych oraz weryfikacja poprawności działania systemów za pomocą metod logicznych
 +
 +* Test Turinga – czym jest i jakie są jego wady?
 +
 +* Czy test Turinga jest dobrym narzędziem do rozpoznawania silnej sztucznej inteligencji?
 +
 +* Test Turinga – charakterystyka
 +
 +* Zeno’s paradoxes and the birth of supertasks
 +
 +* Krótkie wprowadzenie do trzech wybranych systemów logik nieklasycznych
 +
 +* Czy metafora na zawsze jest metaforą? O trudności w odróżnianiu wyrażeń metaforycznych od dosłownych
 +
 +* Przegląd wybranych kierunków w filozofii matematyki z przełomu XIX/XX wieku
 +
 +* Metody usuwania antynomii logicznych
 +
 +* Wybrane fragmenty z historii logiki temporalnej
 +
 +* Test Turinga, czyli o inteligencji maszyn
 +
 +
 +
 +[[Category:Dydaktyka]]

Aktualna wersja

Spis treści

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


[edytuj] Metalogika

Wykład fakultatywny, kognitywistyka UAM.

Semestr zimowy 2018-2019, Metalogika.

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

Stary syllabus dostępny jest tutaj.

Nowy sylabus dostępny jest tutaj: Nowy sylabus (zawiera propozycje tematów esejów zaliczeniowych).

[edytuj] Prezentacje

[edytuj] Tematy esejów zaliczeniowych

[edytuj] Eseje 2020/2021

  • Akcja w logice, czyli logika w akcji
  • Logika niefregowska
  • Logika modalna - od sylogizmów Arystotelesa do teorii gier
  • Test Turinga - czym jest, jakie są jego wady oraz alternatywne propozycje?
  • Historia wybranych systemów logik nieklasycznych
  • Intuicje filozoficzne logiki trójwartościowej Jana Łukasiewicza
  • Co to znaczy rozumieć?
  • Spojrzenie na semiotykę w ujęciu Kazimierza Ajdukiewicza
  • Nominalizm a platonizm w sporze o istnienie bytów matematycznych
  • Test Turinga - perspektywa historyczna i współczesne zastosowania
  • Inteligencja wieloraka Gardnera a test Turinga
  • Przegląd wybranych paradoksów matematycznych (i nie tylko)
  • Luźny esej o dydaktyce matematyki ze szczyptą pojęcia rozumienia

[edytuj] Eseje 2018/2019

  • Test Turinga
  • Co to znaczy rozumieć
  • Inner cross-relations of Curry-Howard isomorphism
  • Intuicje filozoficzne związane z powstaniem logiki trójwartościowej Jana Łukasiewicza
  • Paradoks Banacha-Tarskiego
  • Zarys i problemy trójwartościowej logiki Łukasiewicza Ł3
  • Implementacja formalizmów logicznych do programów komputerowych oraz weryfikacja poprawności działania systemów za pomocą metod logicznych
  • Test Turinga – czym jest i jakie są jego wady?
  • Czy test Turinga jest dobrym narzędziem do rozpoznawania silnej sztucznej inteligencji?
  • Test Turinga – charakterystyka
  • Zeno’s paradoxes and the birth of supertasks
  • Krótkie wprowadzenie do trzech wybranych systemów logik nieklasycznych
  • Czy metafora na zawsze jest metaforą? O trudności w odróżnianiu wyrażeń metaforycznych od dosłownych
  • Przegląd wybranych kierunków w filozofii matematyki z przełomu XIX/XX wieku
  • Metody usuwania antynomii logicznych
  • Wybrane fragmenty z historii logiki temporalnej
  • Test Turinga, czyli o inteligencji maszyn