Jerzy Pogonowski - Funkcje Rekurencyjne
From Zakład Logiki Stosowanej
(Różnice między wersjami)
Pogonowski (Dyskusja | wkład)
(New page: =Funkcje rekurencyjne (2008, III JiIN)= * Intuicje dotyczące obliczania. * Pojęcie nieskończoności - różne definicje. * [[Media...)
Następna edycja →
Wersja z dnia 13:19, 22 lut 2008
[edytuj] Funkcje rekurencyjne (2008, 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.