Mathematical logic for computer science.. 2nd edition

Par : Mordechai Ben-Ari

Formats :

  • 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.
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.