Reeves - Logic for Computer Science
| Schrijver: | Reeves |
|---|---|
| Titel: | Logic for Computer Science |
| ISBN: | 9780201416435 |
| Taal: | Engels |
| Uitgever: | Addison Wesley Publishing Company |
| Bijzonderheden: | Conditie: Beetje gebruikt, Bindwijze: Paperback |
| Prijs: | € 12,00 |
| Verzendkosten: | € 3,15 (binnen Nederland) |
| Meer info: |
An understanding of logic is essential to computer science. This book provides a highly accessible account of the logical basis required for reasoning about computer programs and applying logic in fields like artificial intelligence. The text contains extended examples, algorithms, and programs written in Standard ML and Prolog. No prior knowledge of either language is required. The book contains a clear account of classical first-order logic, one of the basic tools for program verification, as well as an introductory survey of modal and temporal logics and possible world semantics. An introduction to intuitionistic logic as a basis for an important style of program specification is also featured in the book.
|
Als u op één van onze aanbiedingen klikt dan opent de aanbieding in onze webshop waar u het boek kan bestellen en afrekenen. Het is niet mogelijk boeken af te halen.
- Meer dan 500.000 boeken op voorraad in ons magazijn in Rotterdam.
- Op werkdagen voor 15:00 besteld, dezelfde dag verzonden.
- Stevig verpakt
- Verzendkosten vanaf €3,35. Gratis verzenden vanaf 40 euro of 4 boeken
- We verzenden ook naar België. Zendingen naar België kunnen er enkele dagen over doen.
- Alle boeken zijn met zorg gecontroleerd
- Meer dan 500.000 boeken op voorraad in ons magazijn in Rotterdam.
- Op werkdagen voor 15:00 besteld, dezelfde dag verzonden.
- Stevig verpakt
- Verzendkosten vanaf €3,35. Gratis verzenden vanaf 40 euro of 4 boeken
- We verzenden ook naar België. Zendingen naar België kunnen er enkele dagen over doen.
- Alle boeken zijn met zorg gecontroleerd
De verkoper zal binnen 1 werkdag contact met u opnemen om de koop verder af te handelen.
Afbeeldingen (Klik om te vergroten)
