Logic for Computer Science 9780201416435 Steve Reeves

Korting: nu van 12.2 euro, voor 6.10 euro.

BoekenBalie maakt van tweedehands jouw eerste keuze. Met een Trustscore van 4,8 (excellent) en 30 dagen retour garantie maken we dat iedere dag waar.

Titel: Logic for Computer Science
Auteur: Steve Reeves
ISBN: 9780201416435
Conditie: Beetje gebruikt

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.

Waarom je bij BoekenBalie moet zijn voor al je tweedehands boeken:

• Bestel je voor 15:00 uur? Dan vliegt het dezelfde dag nog jouw kant op!
• Meer dan 400.000 tweedehands boeken om uit te kiezen
• We checken alle boeken eigenhandig
• Vanaf 40 euro of bij 4 boeken is de verzending op onze rekening
• 30 dagen retourgarantie