Details for: Reeves S., Clarke M. Logic for Computer Science 2003

reeves s clarke m logic computer science 2003

Type:: E-books
Files:: 1
Size:: 3.2 MB
Uploaded On:: March 5, 2021, 8:28 a.m.
Added By:: andryold1
Seeders:: 0
Leechers:: 1
Info Hash:: 50C022279614E08B5DA877E5A43E7FFAEB91B1F3

Textbook in PDF format 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

Get This Torrent

Reeves S., Clarke M. Logic for Computer Science 2003.pdf 3.2 MB

Details for: Reeves S., Clarke M. Logic for Computer Science 2003

reeves s clarke m logic computer science 2003

Similar Posts: