Ocena:
Recenzenci chwalą książkę za kompleksowe omówienie logiki zdań i logiki pierwszego rzędu, a także za jej czytelność i stosunek jakości do ceny. W szczególności zwraca się uwagę na to, że jest to solidny tekst podstawowy i dobry podręcznik, z wieloma przykładami i ćwiczeniami. Wskazuje się jednak, że książce brakuje głębi w omawianiu rzeczywistych algorytmów i może nie obejmować bardziej zaawansowanych tematów w złożoności obliczeniowej, co czyni ją mniej odpowiednią dla czytelników poszukujących praktycznego projektowania algorytmów.
Zalety:Wyczerpujące omówienie logiki zdaniowej i logiki pierwszego rzędu, bardzo czytelny, doskonały przepływ i organizacja, świetny stosunek jakości do ceny, zawiera przydatne przykłady i ćwiczenia, służy jako solidny tekst podstawowy.
Wady:Brak dogłębnego omówienia rzeczywistych algorytmów, może nie być odpowiedni dla czytelników zainteresowanych praktycznym projektowaniem algorytmów, nie obejmuje zaawansowanych tematów złożoności obliczeniowej.
(na podstawie 4 opinii czytelników)
Logic for Computer Science: Foundations of Automatic Theorem Proving, Second Edition
Ten zaawansowany tekst dla studentów studiów licencjackich i magisterskich wprowadza logikę matematyczną z naciskiem na teorię dowodu i procedury algorytmicznego konstruowania dowodów formalnych.
Jest on również przydatny dla informatyków i matematyków zainteresowanych formalizacją dowodów i podstawami automatycznego dowodzenia twierdzeń. Tematy obejmują logikę zdań i jej rozwiązywanie, logikę pierwszego rzędu, twierdzenie Gentzena o eliminacji cięć i jego zastosowania, a także zaostrzony Hauptsatz Gentzena i twierdzenie Herbranda.
Dodatkowe tematy obejmują rozwiązywanie w logice pierwszego rzędu; rozwiązywanie SLD, programowanie logiczne i podstawy PROLOG; oraz logikę pierwszego rzędu z wieloma sortowaniami. W książce pojawiają się liczne problemy, a dwa dodatki dostarczają praktycznych informacji.
