Funkcje rekurencyjne i elementy metamatematyki Problemy zupełności, rozstrzygalności, twierdzenie Gődla
Murawski Roman
Książka
Funkcje rekurencyjne i elementy metamatematyki
Problemy zupełności, rozstrzygalności, twierdzenie Gődla
Murawski Roman
- Wydawnictwo: Wydawnictwo Naukowe UAM
- Rok wydania: 2010
- ISBN: 9788323222057
- Ilość stron: 188
- Format: 17.0x24.0cm
- Oprawa: Miękka
Wysyłka:
Niedostępna
Niedostępna
Cena
26,25 PLN
Opis: Funkcje rekurencyjne i elementy metamatematyki - Murawski Roman
Autor podaje przystępny wykład zagadnień związanych z twierdzeniem Gődla o niezupełności oraz z problemem rozstrzygalności i nierozstrzygalności teorii. Podręcznik napisany niezwykle interesująco, przeznaczony dla czytelnika posiadającego podstawowe wiadomości z zakresu kursu logiki.
Szczegóły: Funkcje rekurencyjne i elementy metamatematyki - Murawski Roman
Tytuł: Funkcje rekurencyjne i elementy metamatematyki
Podtytuł: Problemy zupełności, rozstrzygalności, twierdzenie Gődla
Autor: Murawski Roman
Wydawnictwo: Wydawnictwo Naukowe UAM
ISBN: 9788323222057
Języki: polski
Rok wydania: 2010
Ilość stron: 188
Format: 17.0x24.0cm
Oprawa: Miękka
Waga: 0.34 kg