Издательство Birkhäuser, 2008, -171 pp.By the development of new fields and applications, such as Automated Theorem Proving and Logic Programming, Logic has obtained a new and important role in Computer Science. The traditional mathematical way of dealing with Logic is in some respect not tailored for Computer Science applications. This book emphasizes such Computer Science aspects in Logic. It arose from a series of lectures in 1986 and 1987 on Computer Science Logic at the EWH University in Koblenz, Germany. The goal of this lecture series was to give the undergraduate student an early and theoretically well-founded access to modern applications of Logic in Computer Science.
A minimal mathematical basis is required, such as an understanding of the set theoretic notation and knowledge about the basic mathematical proof techniques (like induction). More sophisticated mathematical knowledge is not a precondition to read this book. Acquaintance with some conventional programming language, like PASCAL, is assumed.Propositional Logic
Predicate Logic
Logic Programming
