Jerzy Pogonowski - Funkcje Rekurencyjne
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 13:27, 22 lut 2008 (edytuj) Pogonowski (Dyskusja | wkład) (→Funkcje rekurencyjne (2008, III JiIN)) ← Poprzednia edycja |
Aktualna wersja (14:08, 24 cze 2015) (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Funkcje rekurencyjne) |
||
| (5 intermediate revisions not shown.) | |||
| Linia 12: | Linia 12: | ||
| ---- | ---- | ||
| - | =Funkcje rekurencyjne (2008, III JiIN)= | + | =Funkcje rekurencyjne= |
| + | |||
| + | [[Image: smile4.jpg|center|frame|Strona w likwidacji.]] | ||
| - | * [[Media: frintobl.pdf | Intuicje dotyczące obliczania. ]] | ||
| - | * [[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.
