• Voor 15:00 besteld, dezelfde werkdag verzonden
  • Gratis verzending vanaf €40,- of 4 boeken
  • Alle boeken met zorg gecontroleerd
Naar de startpagina
Naar de startpagina
Bestellen
Categorieën

Logic for Computer Science

Auteur Steve Reeves
Maak tweedehands je eerste keus
  • Alle boeken zijn met de hand gecontroleerd
  • 30 dagen retourgarantie 
  • Gratis verzending vanaf 4 boeken of 40 euro
  • Op werkdagen voor 15:00 besteld, dezelfde dag verzonden
nog 1 op voorraad

12,20

Hoe tweedehands wil je het hebben?
Logic for Computer Science
Beetje gebruikt
12,20
ISBN
9780201416435
Bindwijze
Paperback
Taal
Engels
Auteur
Steve Reeves
Uitgeverij
Pearson College Div
Aantal pagina’s
368

Waar gaat het over?

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.
Lees verder

Recensies

0 recensies