Symbolic Logic and Mechanical Theorem Proving (Computer Science and Applied Mathematics)
by Chin-Liang Chang, Richard Char-Tung Lee
Symbolic Logic and Mechanical Theorem Proving examines formal logic in relation to automated theorem proving. Written for readers interested in computer science and applied mathematics, it explores how symbolic methods support computational approaches to reasoning and provides a focused foundation for understanding mechanical proof systems.
About This Book
Symbolic Logic and Mechanical Theorem Proving presents a focused study of formal logic and automated reasoning.
The book connects symbolic methods with computer science and applied mathematics, making it relevant to readers exploring the foundations of computational proof.
Its subject matter centers on the representation and manipulation of logical statements for theorem-proving purposes.
With its emphasis on formal methods, the work serves as a reference for studying the relationship between mathematical logic and computation.
Reviews
No reviews yet. Be the first to review this book!