Fundamentos de L Gica E Teoria Da Computa O

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Zawartość książki:

Książka stanowi samodzielne wprowadzenie do logiki matematycznej i teorii obliczalności dla studentów matematyki lub informatyki. Jest zorganizowana w trzech częściach wokół sukcesów i porażek programu formalizacji matematyki Hilberta.

Część I dotyczy kwestii formalizacji i obliczalności. Część II przedstawia logikę pierwszego rzędu, w tym twierdzenie G del'a o kompletności i twierdzenie Gentzena o spójności. Część III koncentruje się na arytmetyce, reprezentowalności obliczalnych aplikacji, twierdzeniach o niezupełności G del i rozstrzygalności arytmetyki Presburgera.

Część IV zawiera szczegółowe odpowiedzi na wybrane ćwiczenia. Kurs licencjacki może opierać się na pierwszych dwóch częściach, z wyłączeniem rachunku Gentzena i kończąc się przeglądem drogi do pierwszego twierdzenia o niekompletności.

W bardziej zaawansowanym kursie można usunąć materiał wprowadzający już znany studentom i ustalić pozytywne i negatywne wyniki programu Hilberta, obejmując w ten sposób dowód spójności zaproponowany przez Gentzena i część III w całości. To rozszerzone drugie wydanie zawiera również poprawki i wiele okazjonalnych zmian tekstu przygotowanych od czasu jego pierwotnej publikacji.