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.
