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
-
Bridging the Gap to University Mathe...
Hurst, Edward; Gould, Martin
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
A Modern Introduction to Probability ...
Dekking, F. M; Kraaikamp, C; Lopuhaa, H P; Meester, L E
-
Logic and Structure
Dalen, Dirk van
-
Mathematical Writing
Vivaldi, Franco
-
Guide to Software Development
Langer, Arthur M.
-
Writing for Computer Science
Zobel, Justin
-
Clinical Research Informatics
-
Ontological Engineering
Fernández López, Sonsoles
-
Mathematical and Computer Programmin...
Comninos, Peter
-
An Introduction to Statistical Modeli...
Coles, Stuart
-
Introduction to Scientific Visualiza...
Wright, Helen S. (Author)
-
Belief Revision in Non-Classical Logics
Ribeiro, Marcio Moretto
-
Social Learning Systems and Communit...