Ocena:
Książka jest chwalona za przejrzystą prezentację i przydatność do samodzielnej nauki, co czyni ją cennym wprowadzeniem do logiki matematycznej. Książka zawiera jednak znaczące błędy gramatyczne i literówki, które utrudniają czytanie.
Zalety:Doskonała prezentacja tematu, odpowiednia do samodzielnej nauki i cenne wprowadzenie do logiki matematycznej.
Wady:Wypełniona błędami gramatycznymi i literówkami, co utrudnia niektórym czytelnikom zaangażowanie się w treść.
(na podstawie 4 opinii czytelników)
Introduction to Mathematical Logic (Extended Edition)
Jest to systematyczne i dobrze poprowadzone wprowadzenie do logiki matematycznej. Doskonała jako tekst kursu, książka zakłada jedynie podstawowe przygotowanie i może być również używana do samodzielnej nauki przez bardziej ambitnych studentów.
Zaczynając od podstaw teorii zbiorów, indukcji i obliczalności, obejmuje logikę propozycjonalną i logikę pierwszego rzędu - ich składnię, systemy wnioskowania i semantykę. Przedstawiono wyniki dotyczące poprawności i kompletności systemów Hilberta i Gentzena, wraz z prostymi argumentami rozstrzygalności. Ogólna stosowalność różnych pojęć i technik jest zademonstrowana poprzez podkreślenie ich konsekwentnego ponownego użycia w różnych kontekstach.
Inaczej niż w większości porównywalnych tekstów, prezentacja systemów wnioskowania syntaktycznego poprzedza wyjaśnienia semantyczne. Prostota konstrukcji i reguł syntaktycznych - o wysokiej, choć często pomijanej wartości pedagogicznej - pomaga studentom w podejściu do bardziej złożonych zagadnień semantycznych. Taka kolejność prezentacji ukazuje również względną niezależność składni od semantyki, pomagając docenić znaczenie systemów czysto symbolicznych, takich jak te leżące u podstaw komputerów.
Przegląd historii logiki poprzedza główny tekst, podczas gdy nieformalne analogie poprzedzają wprowadzenie większości głównych pojęć. Te nieformalne aspekty są wyraźnie oddzielone od aspektów technicznych. Razem tworzą one unikalny tekst, który może być doceniony zarówno przez wykładowców i studentów zajmujących się matematyczną precyzją, jak i tych zainteresowanych relacjami formalizmów logicznych do problemów obliczalności i filozofii logiki.
To poprawione wydanie zawiera również, oprócz wielu nowych ćwiczeń, nowy rozdział poświęcony paradoksom semantycznym. Równoważność reprezentacji logicznych i graficznych pozwala nam dostrzec błędną kolistość jako nieparzyste cykle w reprezentacji graficznej i może być wykorzystana jako proste narzędzie do diagnozowania paradoksów w naturalnym dyskursie.
