Get Free Shipping on orders over $79
LOGIC & LANG MODEL COMP (3RD ED) - RICHARDS DANA

LOGIC & LANG MODEL COMP (3RD ED)

By: RICHARDS DANA

Hardcover | 11 September 2017

At a Glance

Hardcover


RRP $176.99

$159.75

10%OFF

or 4 interest-free payments of $39.94 with

 or 

Ships in 15 to 25 business days

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.

Other Editions and Formats

Paperback

Published: 11th September 2017

More in Natural Language & Machine Translation

AI Engineering : Building Applications with Foundation Models - Chip Huyen
ChatGPT For Dummies : For Dummies (Computer/Tech) - Pam Baker

RRP $41.95

$29.37

30%
OFF
Scaling Responsible AI : From Enthusiasm to Execution - Noelle Russell
The Governance of Artificial Intelligence - Tshilidzi, Ph.D.  Marwala

RRP $327.95

$291.75

11%
OFF
Acting : Keywords and Concepts - John Matthews
Acting : Keywords and Concepts - John  Matthews

RRP $130.00

$118.75

AI ChatBots For Dummies : For Dummies (Computer/Tech) - Kelly Noble Mirabella
Federated Learning for Healthcare : Applications with Case Studies - R. Anandan
AI for Seniors in easy steps : In Easy Steps - Nick Vandome