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 |
Wersja z dnia 07:13, 25 wrz 2008 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Funkcje rekurencyjne (2008, III JiIN)) Następna edycja → |
||
| Linia 12: | Linia 12: | ||
| ---- | ---- | ||
| - | =Funkcje rekurencyjne (2008, III JiIN)= | + | =Funkcje rekurencyjne (2009, III JiIN)= |
| * [[Media: frintobl.pdf | Intuicje dotyczące obliczania. ]] | * [[Media: frintobl.pdf | Intuicje dotyczące obliczania. ]] | ||
Wersja z dnia 07:13, 25 wrz 2008
Spis treści |
CV | Badania | Posługa dydaktyczna | Publikacje | Teksty on line
Funkcje rekurencyjne (2009, 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.
