Mathematical logic for computer science. - 2nd edition (Broché)

Mordechai Ben-Ari

Springer
Paru le : 05/04/2001

Note moyenne : | Donnez votre avis !

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... > Lire la suite

33,00 €

Neuf - Expédié sous 2 à 4 semaines

ou

Livré chez vous
entre le 11 octobre et le 25 octobre

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

Résumé
Sommaire
Vous aimerez aussi
Fiche technique
Auteur
Avis clients

- 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

Résumé
Sommaire
Vous aimerez aussi
Fiche technique
Auteur
Avis clients

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

Résumé
Sommaire
Vous aimerez aussi
Fiche technique
Auteur
Avis clients

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.