Logic for Computer Science
foundations of automatic theorem proving, second edition
$76.29
- Paperback
544 pages
- Release Date
26 June 2015
Summary
Unlock the Power of Proof: Logic for Computer Science
This advanced text introduces mathematical logic, perfect for undergraduate and graduate students. It emphasizes proof theory and algorithmic construction of formal proofs. Computer scientists and mathematically inclined readers will find it invaluable for formalizing proofs and understanding the basics of automatic theorem proving.
Topics covered include:
- Propositional logic and its resolution
- Firs…
Book Details
| ISBN-13: | 9780486780825 |
|---|---|
| ISBN-10: | 0486780821 |
| Series: | Dover Books on Computer Science |
| Author: | Jean Gallier |
| Publisher: | Dover Publications Inc. |
| Imprint: | Dover Publications Inc. |
| Format: | Paperback |
| Number of Pages: | 544 |
| Edition: | 2nd |
| Release Date: | 26 June 2015 |
| Weight: | 748g |
| Dimensions: | 235mm x 21mm x 158mm |
You Can Find This Book In
About The Author
Jean Gallier
Jean H. Gallier is a Professor in the Department of Computer and Information Science at the University of Pennsylvania. His other books include A Guide to the Classification Theorem for Compact Surfaces, Geometric Methods and Applications for Computer Science and Engineering, and Discrete Mathematics.
Returns
This item is eligible for free returns within 30 days of delivery. See our returns policy for further details.