Site programming by Marcin Junczys-Dowmunt



 
 
 
W innych językach: English | Deutsch

Jerzy Pogonowski - Funkcje Rekurencyjne

From Zakład Logiki Stosowanej

(Różnice między wersjami)
Wersja z dnia 19:59, 2 lis 2008 (edytuj)
Pogonowski (Dyskusja | wkład)
(Funkcje rekurencyjne (2009, III JiIN))
← Poprzednia edycja
Aktualna wersja (14:08, 24 cze 2015) (edytuj) (undo)
Pogonowski (Dyskusja | wkład)
(Funkcje rekurencyjne)
 
(3 intermediate revisions not shown.)
Linia 14: Linia 14:
=Funkcje rekurencyjne= =Funkcje rekurencyjne=
-* [[Media: frintobl.pdf | Intuicje dotyczące obliczania. ]]+[[Image: smile4.jpg|center|frame|Strona w likwidacji.]]
-* [[Media: frdefinf.pdf | Pojęcie nieskończoności - różne definicje. ]]+ 
-* [[Media: frfract.pdf | Nieskończona złożoność strukturalna - fraktale. ]]+
-* [[Media: frturing.pdf | Maszyny Turinga. ]]+
-* [[Media: frfunrek.pdf | Funkcje rekurencyjne - definicja i podstawowe własności.]]+
-* [[Media: frreken.pdf | Zbiory i relacje rekurencyjnie przeliczalne. ]]+
-* [[Media: frhierar.pdf | Reprezentowalność funkcji rekurencyjnych w Arytmetyce Peana. ]]+
-* [[Media: frarsyn.pdf | Arytmetyzacja składni. ]]+
-* [[Media: frtwgod.pdf | Twierdzenia Gödla. ]]+
-* [[Media: smullmach.pdf | Dodatek 1. Maszyny logiczne Smullyana. ]]+
-* [[Media: drzakop2007.pdf | Dodatek 2. O rachunku kombinatorów. ]] +
-* [[Media: mds.zip | Dodatek 3. Konsekwencje Bereszit 2:16. ]]+
[[Category:Pracownicy]] [[Category:Pracownicy]]
[[Category:Dydaktyka]] [[Category:Dydaktyka]]

Aktualna wersja

Spis treści

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


[edytuj] Funkcje rekurencyjne

Strona w likwidacji.
Strona w likwidacji.