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
-
Elements of Robotics
Faridi, Ben
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Propositional and Predicate Calculus...
Goldrei, Derek
-
Bridging the Gap to University Mathe...
Hurst, Edward; Gould, Martin
-
Logic and Structure
Dalen, Dirk van
-
Essential Topology
Crossley, Phil; Burgess, Martin; Fensom, Jim
-
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.
-
Linear Functional Analysis
Rynne, Bryan P. (Department of Mathematics, Heriot-Watt University, Edinburgh); Youngson, Martin A.
-
Cooperative Work and Coordinative Pr...
Schmidt, Kjeld
-
Introduction to Scientific Visualiza...
Wright, Helen S. (Author)
-
Designing Reliable Distributed Systems
Olveczky, Peter Csaba
-
Guide to Software Development
Langer, Arthur M.
-
A Practical Introduction to Computer ...
Page, Daniel