From Zakład Logiki Stosowanej

Wersja z dnia 13:19, 22 lut 2008 (edytuj) Pogonowski (Dyskusja | wkład) (New page: =Funkcje rekurencyjne (2008, III JiIN)= * Intuicje dotyczące obliczania. * Pojęcie nieskończoności - różne definicje. * [[Media...) ← Poprzednia edycja		Wersja z dnia 13:27, 22 lut 2008 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Funkcje rekurencyjne (2008, III JiIN)) Następna edycja →
Linia 1:		Linia 1:
		+	__TOC__
		+
		+	[[en:Jerzy_Pogonowski_-_Teaching]]
		+	[[de:Jerzy_Pogonowski_-_Lehre]]
		+
		+	[[Jerzy Pogonowski - Curriculum Vitae|CV]] |
		+	[[Jerzy Pogonowski - Tematyka badawcza|Badania]] |
		+	[[Jerzy Pogonowski - Posługa dydaktyczna|Posługa dydaktyczna]] |
		+	[[Jerzy Pogonowski - Lista publikacji|Publikacje]] |
		+	[[Jerzy Pogonowski - Teksty on line|Teksty on line]]
		+
		+	----
		+
	=Funkcje rekurencyjne (2008, III JiIN)=		=Funkcje rekurencyjne (2008, III JiIN)=
Linia 13:		Linia 26:
	* [[Media: drzakop2007.pdf | Dodatek 2. O rachunku kombinatorów. ]]		* [[Media: drzakop2007.pdf | Dodatek 2. O rachunku kombinatorów. ]]
	* [[Media: mds.zip | Dodatek 3. Konsekwencje Bereszit 2:16. ]]		* [[Media: mds.zip | Dodatek 3. Konsekwencje Bereszit 2:16. ]]
		+
		+	[[Category:Pracownicy]]
		+	[[Category:Dydaktyka]]

---

Wersja z dnia 13:27, 22 lut 2008

Spis treści 1 Funkcje rekurencyjne (2008, III JiIN)

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

---

Funkcje rekurencyjne (2008, III JiIN)

• Intuicje dotyczące obliczania.
• Pojęcie nieskończoności - różne definicje.
• Nieskończona złożoność strukturalna - fraktale.
• Maszyny Turinga.
• Funkcje rekurencyjne - definicja i podstawowe własności.
• Zbiory i relacje rekurencyjnie przeliczalne.
• Reprezentowalność funkcji rekurencyjnych w Arytmetyce Peana.
• Arytmetyzacja składni.
• Twierdzenia Gödla.
• Dodatek 1. Maszyny logiczne Smullyana.
• Dodatek 2. O rachunku kombinatorów.
• Dodatek 3. Konsekwencje Bereszit 2:16.