Jerzy Pogonowski - Funkcje Rekurencyjne
From Zakład Logiki Stosowanej
(Różnice między wersjami)
| Wersja z dnia 21:11, 22 lis 2009 (edytuj) Pogonowski (Dyskusja | wkład) (→Funkcje rekurencyjne) ← Poprzednia edycja |
Wersja z dnia 19:54, 5 gru 2009 (edytuj) (undo) Pogonowski (Dyskusja | wkład) (→Funkcje rekurencyjne) Następna edycja → |
||
| Linia 19: | Linia 19: | ||
| * [[Media: metalogikaopole06.pdf | Funkcje rekurencyjne i maszyny Turinga.]] | * [[Media: metalogikaopole06.pdf | Funkcje rekurencyjne i maszyny Turinga.]] | ||
| * [[Media: metalogikaopole07.pdf | Reprezentowalność w PA. Arytmetyzacja składni.]] | * [[Media: metalogikaopole07.pdf | Reprezentowalność w PA. Arytmetyzacja składni.]] | ||
| - | * [[Media: frtwgod.pdf | Twierdzenia Gödla. ]] | + | * [[Media: metalogikaopole08.pdf | Twierdzenia: Gödla, Rossera, Löba, Tarskiego. ]] |
| + | * [[Media: metalogikaopole09.pdf | Teorie rozstrzygalne i teorie nierozstrzygalne. Twierdzenie Churcha.]] | ||
| * [[Media: smullmach.pdf | Dodatek 1. Maszyny logiczne Smullyana. ]] | * [[Media: smullmach.pdf | Dodatek 1. Maszyny logiczne Smullyana. ]] | ||
| * [[Media: drzakop2007.pdf | Dodatek 2. O rachunku kombinatorów. ]] | * [[Media: drzakop2007.pdf | Dodatek 2. O rachunku kombinatorów. ]] | ||
Wersja z dnia 19:54, 5 gru 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, Rossera, Löba, Tarskiego.
- Teorie rozstrzygalne i teorie nierozstrzygalne. Twierdzenie Churcha.
- Dodatek 1. Maszyny logiczne Smullyana.
- Dodatek 2. O rachunku kombinatorów.
- Dodatek 3. Konsekwencje Bereszit 2:16.
