Mathematical logic for computer science.. 2nd edition
Par :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.