Logic and Language Models for Computer Science
| By: | Dana Richards; Henry Hamburger |
| Publisher: | World Scientific Publishing |
| Print ISBN: | 9789813229204 |
| eText ISBN: | 9789813229228 |
| Edition: | 3 |
| Copyright: | 2018 |
| Format: | Reflowable |
Lifetime - $55.20
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
This text presents the formal concepts underlying Computer Science.It starts with a wide introduction to Logic with an emphasis on reasoning and proof, with chapters on Program Verification and Prolog.The treatment of computability with Automata and Formal Languages stands out in several ways:The style is appropriate for both undergraduate and graduate classes.