Logic And Language Models For Computer Science (Third Edition)
Dana Richards (George Mason Univ, Usa),Henry Hamburger (George Mason Univ, Usa)
Logic And Language Models For Computer Science (Third Edition)
Dana Richards (George Mason Univ, Usa),Henry Hamburger (George Mason Univ, Usa)
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.
This item is not currently in-stock. It can be ordered online and is expected to ship in 7-14 days
Our stock data is updated periodically, and availability may change throughout the day for in-demand items. Please call the relevant shop for the most current stock information. Prices are subject to change without notice.
Sign in or become a Readings Member to add this title to a wishlist.