Computational Logic
Luis M Augusto
Broschiertes Buch

Computational Logic

Volume 1: Classical Deductive Computing with Classical Logic. Second Edition

Versandkostenfrei!
Versandfertig in 1-2 Wochen
33,99 €
inkl. MwSt.
PAYBACK Punkte
17 °P sammeln!
Although a number of recent technological applications require classical deductive computation with non-classical logics, many key technologies still do well-or exclusively, for that matter-with classical logic. In this first of a two-volume work, we elaborate on classical deductive computing with classical logic. The objective of the main text is to provide the reader with a thorough elaboration on both classical computing-a.k.a. formal languages and automata theory-and classical deduction with the classical first-order predicate calculus with a view to computational implementations, namely i...