Funkcje rekurencyjne i elementy metamatematyki

18-02-2014, 6:49
Aukcja w czasie sprawdzania nie była zakończona.

Cena kup teraz: 19 zł

Użytkownik Zenobiuszek

numer aukcji: 3957258299

Miejscowość Szczecin

Koniec: 18-02-2014, 6:56

Dodatkowe informacje:
Stan: Używany
Okładka: miękka
Rok wydania (xxxx): 2000
Kondycja: bez śladów używania

Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności, rozstrzygalności,
twierdzenia Goedla
Roman Murawski
Wydawnictwo: Wydawnictwo Naukowe UAM
Ilość stron: 186
Oprawa: miękka lakierowana
ISBN: 83-[zasłonięte]-1030-6
Rok wydania: 2000
Stan: bardzo dobry jak nowa

Spis treści:
Przedmowa
Wstęp
Rozdział I FUNKCJE REKURENCYJNE
1. Pojęcie efektywności w matematyce. Funkcje obliczalne
2. Funkcje rekurencyjne i ich własnośri
3. Algorytmy Markowa i maszyny Turinga
4. Funkcje pierwotnie i elementarnie rekurencyjne
5. Hierarchia arytmetyczna
6. Teza Cburcha
7. Uwagi historyczne
Rozdział II. TWIERDZENIA G0DLA O NIEZUPEŁNOŚCI
1. Arytmetyka liczb naturalnych
2. Reprezentowalność funkcji i relacji rekurencyjnych w arytmetyce Peano
3. Arytmetyzacja
4. Twierdzenia Gódla
5. Twierdzenia Parisa - Harringtona - Kirby'ego
6. Uwagi historyczne
Rozdział III. PROBLEM ROZSTRZYGALNOŚCI TEORII
1. Podstawowe definicje i twierdzenia
2. Teorie rozstrzygalne
3. Teorie nierozstrzygalne
4. Uwagi historyczne
Rozdział IV. KOMENTARZ FILOZOFICZNY I METODOLOGICZNY
Bibliografia
Skorowidz symboli
Skorowidz nazwisk
Skorowidz tenninów