Logika matematyczna: A First Course

Opinie czytelników

Książka Joela Williama Robbina jest tekstem z zakresu logiki matematycznej, który stara się zaoferować jasne wprowadzenie do teorii modeli i logiki pierwszego rzędu. Recenzje podkreślają zarówno pozytywne, jak i negatywne aspekty książki, przy czym niektórzy chwalą jej zwięzłą i przejrzystą prezentację, podczas gdy inni krytykują jej notację i wyjaśnienia.

⬤ Przejrzyste i zwięzłe wprowadzenie do teorii modeli i logiki pierwszego rzędu.
⬤ Podane są pełne reguły formacji i aksjomatyka, dzięki czemu nadaje się do samodzielnego nauczania.
⬤ Dobrze skonstruowana, z pomocnymi spostrzeżeniami i dobrym wyborem ćwiczeń.
⬤ Metateoria jest przedstawiona jasno, bez nadmiernego dowodzenia twierdzeń.
⬤ Przystępna cena i dobra jakość.

⬤ Niestandardowa notacja, która może być myląca dla niektórych czytelników.
⬤ Brak szczegółowych wyjaśnień pojęć, co prowadzi do stromej krzywej uczenia się dla niektórych.
⬤ Notacja uznawana przez niektórych recenzentów za staromodną.

(na podstawie 7 opinii czytelników)

Oryginalny tytuł:

Mathematical Logic: A First Course

Zawartość książki:

Ten samodzielny tekst, odpowiedni dla zaawansowanych studentów i absolwentów, spodoba się czytelnikom z różnych dziedzin i różnych środowisk - w tym matematyki, filozofii, lingwistyki, informatyki i inżynierii.

Zawiera liczne ćwiczenia o różnym poziomie trudności, wiele z nich z rozwiązaniami. Po przeglądzie rachunku zdań następują rozdziały poświęcone logice pierwszego rzędu i arytmetyce rekurencyjnej pierwszego rzędu.

Następuje analiza arytmetyzacji składni, wraz z przeglądem twierdzeń o niekompletności i innymi zastosowaniami paradoksu kłamcy. Tekst kończy się studium logiki drugiego rzędu i dodatkiem dotyczącym teorii zbiorów, który okaże się cenny dla studentów z niewielkim lub żadnym wykształceniem matematycznym.