SOLDES

Jusqu'à -70% sur une sélection d'articles*

Mathematical logic for computer science.. 2nd edition

Par : Mordechai Ben-Ari
Formats :
33,00 €
Nous vous prions de nous excuser mais rencontrons momentanément des soucis d'approvisionnement. C’est le moment de vous laisser tenter par nos livres numériques et notre offre occasion.
  • Paiement en ligne :
    • Livraison à domicile ou en point Mondial Relay estimée à partir du 4 novembre
      Cet article sera commandé chez un fournisseur et vous sera envoyé 127 jours après la date de votre commande.
    • Retrait Click and Collect en magasin gratuit
  • Réservation en ligne avec paiement en magasin :
    • Indisponible pour réserver et payer en magasin
  • Nombre de pages304
  • PrésentationBroché
  • Poids0.49 kg
  • Dimensions15,3 cm × 23,3 cm × 2,0 cm
  • ISBN1-85233-319-7
  • EAN9781852333195
  • Date de parution05/04/2001
  • ÉditeurSpringer

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.