Ocena:
Książka jest chwalona za kompleksowe i angażujące podejście do nauczania logiki matematycznej, z mieszanką łamigłówek i treści edukacyjnych. Niektórzy czytelnicy uważają jednak, że stanowi ona wyzwanie, szczególnie dla początkujących, i zwracają uwagę na problemy z formatowaniem edycji Kindle i niektóre literówki.
Zalety:⬤ Wszechstronny i dobrze skonstruowany przewodnik po logice matematycznej.
⬤ Angażujący styl nauczania, który łączy rozrywkę z edukacją.
⬤ Zawiera unikalne tematy i ćwiczenia dowodowe zwiększające zrozumienie.
⬤ Odpowiedni zarówno dla początkujących, jak i zaawansowanych czytelników.
⬤ Wysokiej jakości rozwiązania problemów z rozdziałów.
⬤ Niektórzy uważają ją za trudną dla początkujących lub osób bez wcześniejszej wiedzy z zakresu logiki.
⬤ Wersja na Kindle ma dziwactwa formatowania, które utrudniają czytanie.
⬤ Niektóre ćwiczenia wymagają pojęć, które są wprowadzane dopiero w dalszej części tekstu.
⬤ Obecność różnych literówek w całej książce.
(na podstawie 32 opinii czytelników)
A Beginner's Guide to Mathematical Logic
Napisany przez kreatywnego mistrza logiki matematycznej, ten wprowadzający tekst łączy historie wielkich filozofów, cytaty i zagadki z podstawami logiki matematycznej. Autor Raymond Smullyan oferuje jasne, stopniowe prezentacje trudnych pojęć logicznych.
Każdy temat podkreśla pomysłowymi wyjaśnieniami i unikalnymi problemami. Przystępna narracja Smullyana dostarcza zapadających w pamięć przykładów pojęć związanych z dowodami, logiką zdań i logiką pierwszego rzędu, twierdzeniami o niekompletności i dowodami niekompletności. Dodatkowe tematy obejmują nierozstrzygalność, logikę kombinatoryczną i teorię rekurencji.
Nadaje się do kursów licencjackich i magisterskich, ta książka będzie również bawić i oświecać matematycznie nastawionych czytelników. Wydanie 2014.
