Jerzy Pogonowski - Logika Zachodu

From Zakład Logiki Stosowanej

Wersja z dnia 08:07, 21 sty 2012 (edytuj) Pogonowski (Dyskusja | wkład) (New page: Wykład monograficzny, semestr letni 2011-2012.<br>Czwartek, 15:15-16:45, CN 323B. ==Plan wykładów== * Antynomie, paradoksy, sofizmaty * Historia logiki Zachodu do wieku XIX * Histor...) ← Poprzednia edycja		Wersja z dnia 08:08, 21 sty 2012 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Plan wykładów) Następna edycja →
Linia 32:		Linia 32:
	* Logika w informatyce		* Logika w informatyce
		+
		+	[[Category:Pracownicy]]
		+	[[Category:Dydaktyka]]

---

Wersja z dnia 08:08, 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

• 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