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
-
Foundations for Designing User-Cente...
Ritter, Frank E.; Baxter, Gordon D.; Churchill, Elizabeth F.
-
Propositional and Predicate Calculus...
Goldrei, Derek
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Mathematical Writing
Vivaldi, Franco
-
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
-
Dynamics and Control of Mechanical S...
He, Wei; Ge, Shuzhi Sam; How, Bernard Voon Ee; Choo, Yoo Sang
-
Logic and Structure
Dalen, Dirk van
-
An Introduction to Statistical Modeli...
Coles, Stuart
-
Ontological Engineering
Fernández López, Sonsoles