Oryginalny tytuł:
Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Zawartość książki:
Chociaż wiele najnowszych zastosowań technologicznych wymaga klasycznych obliczeń dedukcyjnych z nieklasycznymi logikami, wiele kluczowych technologii nadal dobrze lub wyłącznie radzi sobie z logiką klasyczną. W tym pierwszym z dwóch tomów pracy omawiamy klasyczne obliczenia dedukcyjne z wykorzystaniem logiki klasycznej.
Celem głównego tekstu jest dostarczenie czytelnikowi dogłębnego opracowania zarówno klasycznych obliczeń - k. k. języków formalnych i teorii automatów - jak i klasycznej dedukcji z klasycznym rachunkiem predykatów pierwszego rzędu, z myślą o implementacjach obliczeniowych, a mianowicie w automatycznym dowodzeniu twierdzeń i programowaniu logicznym.
Jako uzupełnienie matematycznej ekspozycji tematów oferujemy czytelnikowi bardzo duży wybór ćwiczeń. Wybór ten ma na celu nie tylko przećwiczenie omawianego materiału, ale także twórcze podejście do problemów, zarówno w odniesieniu do omawianych, jak i nowych treści, a także do badań nad dalszymi istotnymi tematami.
Obecne, trzecie wydanie jest ulepszone w stosunku do poprzednich, ponieważ zapewnia bardziej algorytmiczne podejście: Istnieje teraz całkowicie nowa sekcja poświęcona algorytmom i w sumie czternaście wyraźnie wyodrębnionych algorytmów zaprojektowanych w pseudokodzie. Inne ulepszenia to na przykład nacisk na funkcje w rozdziale 1 i więcej ćwiczeń z maszynami Turinga.
