Mathematical Logic for Computer Science
Language: English
Published by Springer, 2012
- Softcover
- Used
Seller: Emerald Green Media, Simi Valley, CA, U.S.A.Emerald Green Media
AbeBooks seller since June 12, 2020
Condition: Used - Very good
US$ 20.00
Quantity: 6 available
Add to basketItem description from seller
Clean Copy, May have light wear on cover/edges, otherwise very good! Established Seller, We Ship Daily.
Seller Inventory # mon0000059751
- Title
- Mathematical Logic for Computer Science
- Author
- Ben-Ari, Mordechai
- Publisher
- Springer
- Publication year
- 2012
- Condition
- Very Good
- Binding
- paperback
- Language
- English
- ISBN 10
- 1447141288
- ISBN 13
- 9781447141280
- Edition
- 3rd Edition
Mathematical Logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of students of computer science. The method of semantic tableaux provides an elegant way to teach logic that is both theoretically sound and easy to understand. The uniform use of tableaux-based techniques facilitates learning advanced logical systems based on what the student has learned from elementary systems.
The logical systems presented are: propositional logic, first-order logic, resolution and its application to logic programming, Hoare logic for the verification of sequential programs, and linear temporal logic
for the verification of concurrent programs.
The third edition has been entirely rewritten and includes new chapters on central topics of modern computer science: SAT solvers and model checking.
"Synopsis" may belong to another edition of this title.
About the Author
Mordechai (Moti) Ben-Ari is with the Department of Science Teaching at the Weizmann Institute of Science. He is a Distinguished Educator of the ACM and has received the ACM/SIGCSE Award for Outstanding Contributions to Computer Science Education.
"About the title" may belong to another edition of this title.
Emerald Green Media
Simi Valley, CA, U.S.A.
AbeBooks seller since June 12, 2020
Shipping rates within U.S.A.
| Item | 5 to 28 business days | 2 to 7 business days |
|---|---|---|
| First item | US$ 4.49 | US$ 8.50 |
Payment methods
Store description
All books are professionally packed, and shipped daily. Thank You for your patronage.
Specialty
Children's, self help, Autism, ADHD, Dementia, cooking, automotive, Military, collectibles, comics etc.Seller's business information
Emerald Green Media
1375 Rio Vista Ct.
Simi Valley, CA U.S.A. 93065
Terms of sale
We guarantee the condition of every book as it's described on the Abebooks web sites. If you're dissatisfied with your purchase (Incorrect Book/Not as Described/Damaged) or if the order hasn't arrived, you're eligible for a refund within 30 days of the estimated delivery date. If you've changed your mind about a book that you've ordered, please use the Ask bookseller a question link to contact us and we'll respond within 2 business days.
Shipping terms
Shipping costs are based on books weighing 2.2 LB, or 1 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required.