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

$73.75

30%OFF

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

Claude For Dummies - Stephanie Diamond

RRP $44.95

$35.75

20%
OFF
Think Python 3e : How To Think Like a Computer Scientist - Allen B. Downey
Vector Databases : A Practical Introduction - Nitin Borwankar

RRP $133.00

$64.75

51%
OFF
AI for Seniors in easy steps : In Easy Steps - Nick Vandome

RRP $33.99

$29.75

12%
OFF
The AI Engineering Bootcamp : Build, Ship, Share - Greg Loughnane

RRP $107.95

$75.75

30%
OFF
AI Engineering : Building Applications with Foundation Models - Chip Huyen
AI ChatBots For Dummies : For Dummies (Computer/Tech) - Eric Butow
Acting : Keywords and Concepts - John  Matthews

RRP $39.99

$38.75

Acting : Keywords and Concepts - John  Matthews

RRP $130.00

$118.75

ChatGPT For Dummies, 2nd Edition : For Dummies (Computer/Tech) - Pam Baker