En cours de chargement...
Mathematical logic for computer science. - 2nd edition
33,00 €
Neuf
Expédié sous 2 à 4 semaines
Livré chez vous entre le 7 juin et le 21 juin
En magasin
Résumé
Mathematical logic for Computer Science is a mathematics textbook with theorems and proofs, but the choice of topics has been guided by the needs of computer science students. The method of semantic tableaux provides à elegant way to teach logic that is both theoretically sound and yet sufficiently elementary for undergraduates. To provide a balanced treatment of logic, tableaux are related to deductive proof systems.
Sommaire
- Propositional Calculus : Formulas, Models, Tableaux
- Propositional Calculus : Deductive Systems
- Propositional Calculus : Resolution and BDDs
- Predicate Calculus : Formulas, Models, Tableaux
- Predicate Calculus : Deductive Systems
- Predicate Calculus : Resolution
- Logic Programming
- Programs : Semantics and Verification
- Programs : Formal Specification with Z
- Temporal Logic : Formulas, Models, Tableaux
- Temporal Logic : Deduction and Applications
Caractéristiques
-
Date de parution05/04/2001
-
Editeur
-
ISBN1-85233-319-7
-
EAN9781852333195
-
PrésentationBroché
-
Nb. de pages304 pages
-
Poids0.49 Kg
-
Dimensions15,3 cm × 23,3 cm × 2,0 cm
Avis libraires et clients
Avis audio
Écoutez ce qu'en disent nos libraires !