Wprowadzenie do logiki matematycznej

Opinie czytelników

Książka ma mieszane recenzje, przy czym niektórzy użytkownicy chwalą ją jako doskonały tekst do samodzielnej nauki, który obejmuje szeroki zakres tematów z logiki matematycznej, podczas gdy inni krytykują jej czytelność i gęsty materiał, stwierdzając, że nie jest ona odpowiednia dla początkujących. Odnotowano również różne specyficzne kwestie związane z jakością publikacji, szczególnie w najnowszym wydaniu.

Dobra do samodzielnej nauki, kompleksowe omówienie zagadnień logiki matematycznej, przystępny materiał w pierwszym rozdziale, skuteczna dla osób z pewną wcześniejszą wiedzą.

Niejasne i trudne do odczytania czcionki indeksów, gęsty materiał wymagający wielokrotnego czytania, niewystarczające przykłady do rozwiązywania problemów, słabe wyjaśnienia wprowadzające do głównych sekcji i niespójności publikacji.

(na podstawie 5 opinii czytelników)

Oryginalny tytuł:

Introduction to Mathematical Logic

Zawartość książki:

Nowe wydanie tego klasycznego podręcznika Introduction to Mathematical Logic, Sixth Edition bada główne tematy logiki matematycznej. Obejmuje logikę zdań, logikę pierwszego rzędu, teorię liczb pierwszego rzędu, aksjomatyczną teorię zbiorów i teorię obliczalności.

Tekst omawia również główne wyniki Godela, Churcha, Kleene'a, Rossera i Turinga. Szóste wydanie zawiera najnowsze prace nad drugim twierdzeniem Godela o niekompletności, a także przywraca dodatek dotyczący dowodów spójności dla arytmetyki pierwszego rzędu. Dodatek ten pojawił się ostatnio w pierwszym wydaniu.

Jest on oferowany w nowym wydaniu ze względów historycznych. Tekst oferuje również perspektywy historyczne i wiele nowych ćwiczeń o różnym stopniu trudności, które motywują i prowadzą studentów do dogłębnego, praktycznego zrozumienia materiału.