Mathematical Logic for Computer Science
1712 Kč
Sleva až 70% u třetiny knih
This book approaches mathematics based on the needs of computer science students, teaching logic by means of the method of semantic tableaux. The third edition is entirely rewritten, and includes new chapters on SAT solvers and model checking.
| Autor: | Faridi, Ben |
| Nakladatel: | Springer London Ltd |
| ISBN: | 9781447141280 |
| Rok vydání: | 2012 |
| Jazyk : | Angličtina |
| Vazba: | Paperback |
| Počet stran: | 346 |
Mohlo by se vám také líbit..
-
Principles of Concurrent and Distrib...
Faridi, Ben
-
Propositional and Predicate Calculus...
Goldrei, Derek
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Bridging the Gap to University Mathe...
Hurst, Edward; Gould, Martin
-
Mathematical Writing
Vivaldi, Franco
-
Writing for Computer Science
Zobel, Justin
-
Ontological Engineering
Fernández López, Sonsoles
-
Model Predictive Control
Camacho, Eduardo F.; Bordons Alba, Carlos
-
Basic Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
Further Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Principles of Digital Image Processing
Burger, Wilhelm
-
Dynamics and Control of Mechanical S...
He, Wei; Ge, Shuzhi Sam; How, Bernard Voon Ee; Choo, Yoo Sang
-
Social Learning Systems and Communit...
-
Forensic Computing
Sammes, Anthony J.; Jenkinson, Brian
-
An Introduction to Statistical Modeli...
Coles, Stuart