En cours de chargement...
Le nouveau livre en format poche de Virginie Grimaldi
8,90€
Mathematical logic for computer science. - 2nd edition (Broché)
33,00 €
Expédié sous 2 à 4 semaines
-
ouÀ retirer gratuitement en magasin U
entre le 18 septembre et le 2 octobre
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
Fiche technique
- Date de parution : 05/04/2001
- Editeur : Springer
- ISBN : 1-85233-319-7
- EAN : 9781852333195
- Présentation : Broché
- Nb. de pages : 304 pages
- Poids : 0.49 Kg
- Dimensions : 15,3 cm × 23,3 cm × 2,0 cm
À propos de l'auteur
Biographie de Mordechai Ben-Ari
Mordechai Ben-Ari is Associate Professor at the Department of Science Teaching of the Weizmann Institute of Science. He has published textbooks on concurrent programming and programming languages.Du même auteur
Mathematical logic for computer science. - 2nd edition est également présent dans les rayons
Mathematical logic for computer science.. 2nd edition
33,00 €