Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności, rozstrzygalności, twierdzenia Gödla
Roman Murawski
Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności, rozstrzygalności, twierdzenia Gödla
Roman Murawski
Autor podaje przystępny wykład zagadnień związanych z twierdzeniami 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 matematycznej.
Szczegóły
Rok wydania
2010
Liczba stron
188 str.
Wydawnictwo
Wydawnictwo Naukowe Uniwersytetu im. Adama Mickiewicza w Poznaniu
Język
polski
Format
papier
Gatunek
informatyka, matematyka
ISBN
9788323222057
Inne książki autora
Opinie czytelników
Oceń tę książkę
Oceniona książka trafi na półkę Przeczytane.
Dodaj „Funkcje rekurencyjne i elementy metamatematyki. Problemy zupełności, rozstrzygalności, twierdzenia Gödla" do swojej półki
Załóż darmowe konto i miej swoje lektury, oceny oraz postępy w jednym miejscu. Dołącz do grona zadowolonych czytelników, którzy już wiedzą, co przeczytali i co chcą przeczytać.
Trzy półki czytelnicze
Przeczytane, Teraz czytam i Chcę przeczytać. Uporządkuj swoje książki w sekundy.
Oceny i recenzje
Skala 1-10, prywatne notatki, ulubione cytaty. Wracaj do swoich opinii kiedy chcesz.
Statystyki i wyzwania
Ustal roczny cel czytelniczy i obserwuj jak rośnie liczba przeczytanych stron.
Rekomendacje i grafiki
Odkrywaj kolejne tytuły i generuj estetyczne podsumowania roku w książkach.