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

LOGIC & LANG MODEL COMP (3RD ED)

By: RICHARDS DANA

Paperback | 11 September 2017

At a Glance

Paperback


RRP $104.99

$94.75

10%OFF

or 4 interest-free payments of $23.69 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

Hardcover

Published: 11th September 2017

More in Natural Language & Machine Translation

ChatGPT For Dummies : For Dummies (Computer/Tech) - Pam Baker

RRP $41.95

$33.75

20%
OFF
Scaling Responsible AI : From Enthusiasm to Execution - Noelle Russell
The Scaling Era : An Oral History of AI, 2019-2025 - Dwarkesh Patel
Think Python : How To Think Like a Computer Scientist - Allen B. Downey
Federated Learning for Healthcare : Applications with Case Studies - D. Balaganesh
Acting : Keywords and Concepts - John  Matthews
Acting : Keywords and Concepts - John  Matthews

RRP $130.00

$118.75