Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Hoci mnohé technologické aplikácie v poslednom čase vyžadujú klasické deduktívne výpočty s neklasickou logikou, mnohé kľúčové technológie si stále dobre alebo výlučne vystačia s klasickou logikou. V tejto prvej časti dvojzväzkovej práce sa venujeme klasickým deduktívnym výpočtom s klasickou logikou.
Cieľom hlavného textu je poskytnúť čitateľovi dôkladné rozpracovanie tak klasických výpočtov - k. a. formálnych jazykov a teórie automatov -, ako aj klasickej dedukcie s klasickým predikátovým kalkulom prvého rádu so zreteľom na počítačové implementácie, a to v automatizovanom dokazovaní tvrdení a logickom programovaní.
Ako doplnok k matematicky podloženému výkladu tém ponúkame čitateľovi veľmi rozsiahly výber cvičení. Tento výber je zameraný nielen na precvičovanie preberanej látky, ale aj na tvorivé prístupy k problémom, a to tak pri preberanom, ako aj novom obsahu, a tiež na výskum ďalších relevantných tém.
Predkladané tretie vydanie vylepšuje predchádzajúce vydania tým, že poskytuje celkovo algoritmickejší prístup: Teraz je tu úplne nová časť o algoritmoch a celkovo je tu štrnásť jasne izolovaných algoritmov navrhnutých v pseudokóde. Ďalšími vylepšeniami sú napríklad dôraz na funkcie v kapitole 1 a viac cvičení s Turingovými strojmi.
