Jerzy Pogonowski - Logika Zachodu

From Zakład Logiki Stosowanej

Wersja z dnia 08:08, 21 sty 2012 (edytuj) Pogonowski (Dyskusja | wkład) (→Plan wykładów) ← Poprzednia edycja		Wersja z dnia 08:14, 21 sty 2012 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Plan wykładów) Następna edycja →
Linia 14:		Linia 14:
	* Logiki nieklasyczne		* Logiki nieklasyczne
		+
		+	* Metamatematyka: wybrane twierdzenia
	* Metalogika: ujęcie algebraiczne		* Metalogika: ujęcie algebraiczne
Linia 32:		Linia 34:
	* Logika w informatyce		* Logika w informatyce
		+
		+	==Dodatki==
	[[Category:Pracownicy]]		[[Category:Pracownicy]]
	[[Category:Dydaktyka]]		[[Category:Dydaktyka]]

---

Wersja z dnia 08:14, 21 sty 2012

Wykład monograficzny, semestr letni 2011-2012.
Czwartek, 15:15-16:45, CN 323B.

Plan wykładów

• Antynomie, paradoksy, sofizmaty

• Historia logiki Zachodu do wieku XIX

• Historia logiki Zachodu: wiek XIX i XX

• Czym jest współczesny Elementarz Logiczny?

• Wybrane metody dowodowe

• Logiki nieklasyczne

• Metamatematyka: wybrane twierdzenia

• Metalogika: ujęcie algebraiczne

• Metalogika: ujęcie semantyczne

• Teoria modeli

• Teoria mnogości

• Teoria rekursji

• Teoria dowodu

• Pragmatyka logiczna

• Ogólna metodologia nauk

• Logika w informatyce

Dodatki