Logical Foundations of Computer Science (in 2 Volumes)

Logical Foundations of Computer Science (in 2 Volumes)

Versandkostenfrei!
Versandfertig in über 4 Wochen
412,99 €
inkl. MwSt.
PAYBACK Punkte
206 °P sammeln!
Logic is a foundational mathematical discipline for Computer Science. This unique compendium provides the main ideas and techniques originating from logic. It is divided into two volumes -- propositional logic and predicate logic. The volume presents some of the most important concepts starting with a variety of logic formalisms -- Hilbert/Frege systems, tableaux, sequents, and natural deduction in both propositional and first-order logic, as well as transformations between these formalisms. Topics like circuit design, resolution, cutting planes, Hintikka sets, paramodulation, and program veri...