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

Mordechai Ben-Ari

Note moyenne : | 0 avis
Ce produit n'a pas encore été évalué. Soyez le premier !
  • Springer

  • Paru le : 05/04/2001
  • 1 million de livres à découvrir
  • Livraison à domicile à partir de 0,01 €
  • Paiement sécurisé, débit à l'expédition
42,50 €
Neuf - Expédié sous 2 à 4 semaines
Livré chez vous entre le 22 décembre et le 5 janvier
ou
Votre note
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.
    • 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
  • 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

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.

Nos avis clients sur decitre.fr


Avis Trustpilot
Mordechai Ben-Ari - Mathematical logic for computer science. - 2nd edition.
Mathematical logic for computer science.. 2nd edition
42,50 €
Haut de page
Decitre utilise des cookies pour vous offrir le meilleur service possible. En continuant votre navigation, vous en acceptez l'utilisation. En savoir plus OK

Ne partez pas tout de suite...

Inscription newsletter