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
-
Logic and Structure
Dalen, Dirk van
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Further Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
Basic Linear Algebra
Blyth, T. S.; Robertson, E. F.
-
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
-
Dynamics and Control of Mechanical S...
He, Wei; Ge, Shuzhi Sam; How, Bernard Voon Ee; Choo, Yoo Sang
-
Principles of Digital Image Processing
Burger, Wilhelm
-
Forensic Computing
Sammes, Anthony J.; Jenkinson, Brian
-
An Introduction to Statistical Modeli...
Coles, Stuart