![](https://image.librarything.com/pics/fugue21/magnifier-left.png)
![](https://pics.cdn.librarything.com/picsizes/c9/0f/c90f5f418e542f8593548305251433041414141_v5.jpg)
Cliquer sur une vignette pour aller sur Google Books.
Chargement... Logic for Computer Science (International Computer Science Series)par Steve Reeves
Aucun Actuellement, il n'y a pas de discussions au sujet de ce livre. Aucune critique aucune critique | ajouter une critique
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. Aucune description trouvée dans une bibliothèque |
Discussion en coursAucun
![]() GenresClassification décimale de Melvil (CDD)004.015113Information Computer Science; Knowledge and Systems Computer science Computer science -- subdivisions Theory And Instruction Computer MathematicsClassification de la Bibliothèque du CongrèsÉvaluationMoyenne: Pas d'évaluation.Est-ce vous ?Devenez un(e) auteur LibraryThing. |