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 |
Wersja z dnia 21:11, 22 lis 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Funkcje rekurencyjne) Następna edycja → |
||
| Linia 17: | Linia 17: | ||
| * [[Media: frdefinf.pdf | Pojęcie nieskończoności - różne definicje. ]] | * [[Media: frdefinf.pdf | Pojęcie nieskończoności - różne definicje. ]] | ||
| * [[Media: frfract.pdf | Nieskończona złożoność strukturalna - fraktale. ]] | * [[Media: frfract.pdf | Nieskończona złożoność strukturalna - fraktale. ]] | ||
| - | * [[Media: frturing.pdf | Maszyny Turinga. ]] | + | * [[Media: metalogikaopole06.pdf | Funkcje rekurencyjne i maszyny Turinga.]] |
| - | * [[Media: frfunrek.pdf | Funkcje rekurencyjne - definicja i podstawowe własności.]] | + | * [[Media: metalogikaopole07.pdf | Reprezentowalność w PA. Arytmetyzacja składni.]] |
| - | * [[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: frtwgod.pdf | Twierdzenia Gödla. ]] | ||
| * [[Media: smullmach.pdf | Dodatek 1. Maszyny logiczne Smullyana. ]] | * [[Media: smullmach.pdf | Dodatek 1. Maszyny logiczne Smullyana. ]] | ||
Wersja z dnia 21:11, 22 lis 2009
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Funkcje rekurencyjne
- Intuicje dotyczące obliczania.
- Pojęcie nieskończoności - różne definicje.
- Nieskończona złożoność strukturalna - fraktale.
- Funkcje rekurencyjne i maszyny Turinga.
- Reprezentowalność w PA. Arytmetyzacja składni.
- Twierdzenia Gödla.
- Dodatek 1. Maszyny logiczne Smullyana.
- Dodatek 2. O rachunku kombinatorów.
- Dodatek 3. Konsekwencje Bereszit 2:16.
