From Zakład Logiki Stosowanej

Wersja z dnia 10:24, 22 sty 2019 (edytuj) Pogonowski (Dyskusja | wkład) (→Prezentacje) ← Poprzednia edycja		Wersja z dnia 11:06, 27 sie 2020 (edytuj) (undo) Pogonowski (Dyskusja | wkład) Następna edycja →
Linia 42:		Linia 42:
	* [[Media: met09.pdf | Uogólnione kwantyfikatory a sylogistyka]]		* [[Media: met09.pdf | Uogólnione kwantyfikatory a sylogistyka]]
		+
		+	=Tematy esejów zaliczeniowych=
		+
		+	==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]]		[[Category:Dydaktyka]]

---

Wersja z dnia 11:06, 27 sie 2020

Spis treści 1 Metalogika 1.1 Prezentacje 2 Tematy esejów zaliczeniowych 2.1 Eseje 2018/2019

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

---

Metalogika

Wykład fakultatywny, kognitywistyka UAM.

Semestr zimowy 2018-2019, Metalogika.

Wtorek, 15:00-16:30, sala 305.

Syllabus dostępny jest tutaj (zawiera propozycje tematów esejów zaliczeniowych).

Prezentacje

• Geneza metalogiki

• Pojęcie nieskończoności

• Funkcje rekurencyjne

• Arytmetyzacja składni

• Twierdzenia metalogiczne

• Rozstrzygalność

• Logiki abstrakcyjne

• Twierdzenia Lindströma

• Uogólnione kwantyfikatory

• Uogólnione kwantyfikatory a sylogistyka

Tematy esejów zaliczeniowych

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