Eredeti címe:
Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Könyv tartalma:
Bár számos új technológiai alkalmazás megköveteli a klasszikus deduktív számítást nem klasszikus logikával, számos kulcsfontosságú technológia még mindig jól - vagy akár kizárólagosan - a klasszikus logikával működik.
A kétkötetes munka első részében a klasszikus deduktív számítást klasszikus logikával dolgozzuk fel. A főszöveg célja, hogy az olvasó számára mind a klasszikus számítást - más néven a formális nyelveket és az automaták elméletét -, mind a klasszikus dedukciót a klasszikus elsőrendű predikátumkalkulussal alaposan kidolgozza, tekintettel a számítógépes megvalósításokra, nevezetesen az automatizált tételbizonyításra és a logikai programozásra.
A témák matematikai alapú kifejtésének kiegészítéseként igen nagyszámú feladatot kínálunk az olvasónak. Ez a válogatás nemcsak a tárgyalt anyag gyakorlását, hanem a problémák kreatív megközelítését is célozza, mind a tárgyalt, mind az új tartalmak esetében, valamint a további releváns témák kutatását. A jelen harmadik kiadás a korábbiakhoz képest egy összességében algoritmikusabb megközelítéssel javít: Immár egy teljesen új fejezet foglalkozik az algoritmusokkal, és összesen tizennégy jól elkülöníthető, pszeudokódban megtervezett algoritmust tartalmaz.
További előrelépés például a függvények hangsúlyosabbá tétele az 1. fejezetben és több Turing-gépekkel kapcsolatos gyakorlat.
