Titlul original:
Computational Logic: Volume 1: Classical Deductive Computing with Classical Logic. Second Edition
Conținutul cărții:
Deși o serie de aplicații tehnologice recente necesită un calcul deductiv clasic cu logici neclasice, multe tehnologii cheie încă se descurcă bine - sau exclusiv, de altfel - cu logica clasică. În acest prim volum dintr-o lucrare în două volume, dezvoltăm calculul deductiv clasic cu logică clasică.
Obiectivul textului principal este acela de a oferi cititorului o detaliere amănunțită atât a calculului clasic - adică a limbajelor formale și a teoriei automatelor -, cât și a deducției clasice cu calculul clasic al predicatelor de ordinul întâi, în vederea implementării computaționale, în special în demonstrarea automată a teoremelor și în programarea logică. Ca o completare a expunerii bazate pe matematică a subiectelor, oferim cititorului o selecție foarte largă de exerciții. Această selecție vizează nu numai exersarea materialului discutat, ci și abordări creative ale problemelor, atât pentru conținuturile discutate, cât și pentru cele noi, precum și pentru cercetarea altor subiecte relevante.
Actuala ediție a treia o îmbunătățește pe cea precedentă prin oferirea unei abordări cu totul mai algoritmice: Există acum o secțiune complet nouă despre algoritmi și există în total paisprezece algoritmi clar izolați, concepuți în pseudocod. Alte îmbunătățiri sunt, de exemplu, un accent pe funcții în capitolul 1 și mai multe exerciții cu mașini Turing.
