Free shipping on all orders over $79* Limited Time Only
Track My Order
Help Centre
Likes
My Wish ListsLogin / Join
Booktopia
Australia's local bookstore
Get Free Shipping on orders over $79
Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic - Alan P. Parkes

Introduction to Languages, Machines and Logic

Computable Languages, Abstract Machines and Formal Logic

By: Alan P. Parkes

Paperback | 26 April 2002 | Edition Number 2

At a Glance

Paperback

$119.00

or 4 interest-free payments of $29.75 with

 or 

Ships in 5 to 7 business days

1.1 Overview This chapter briefly describes: - what this book is about - what this book tries to do - what this book tries not to do - a useful feature of the book: the exercises. 1.2 What This Book Is About This book is about three key topics of computer science, namely computable lan- guages, abstract machines, and logic. Computable languages are related to what are usually known as "formal lan- guages". I avoid using the latter phrase here because later on in the book I distin- guish between formal languages and computable languages. In fact, computable languages are a special type of formal languages that can be processed, in ways considered in this book, by computers, or rather abstract machines that represent computers. Abstract machines are formal computing devices that we use to investigate prop- erties of real computing devices. The term that is sometimes used to describe abstract machines is automata, but that sounds too much like real machines, in particular the type of machines we call robots. The logic part of the book considers using different types of formal logic to represent things and reason about them. The logics we consider all play a very important role in computing. They are Boolean logic, propositional logic, and first order predicate logic (FOPL).
Industry Reviews
From the reviews: "The book is accessible to students with limited mathematical training ! . The text is illustrated with nice pictures; there are many exercises and some of them have sketchy solutions grouped in a special section. The book also includes comments on further readings and a good index." (Cristian S. Calude, Zentralblatt MATH, Vol. 1041 (16), 2004)

You Can Find This Book In

Non-FictionLanguage & LinguisticsReference, Dictionaries & GuidesComputing & I.T.Computer ScienceMathematical Theory of ComputationArtificial IntelligenceMathematicsMathematical FoundationMathematical Logic

More in Computer Science

Microsoft 365 Excel For Dummies : For Dummies (Computer/Tech) - David H. Ringstrom

Microsoft 365 Excel For Dummies

For Dummies (Computer/Tech)

Paperback

RRP $49.95

$38.75

22%
OFF
Python All-in-One For Dummies : 3rd Edition - John C. Shovic

Python All-in-One For Dummies

3rd Edition

Paperback

RRP $74.95

$55.75

26%
OFF
Creative Machines : AI, Art & Us - Maya Ackerman

Creative Machines

AI, Art & Us

Hardcover

RRP $57.95

$44.75

23%
OFF
Empire of AI : Inside the reckless race for total domination - Karen Hao

Empire of AI

Inside the reckless race for total domination

Hardcover

RRP $55.00

$42.75

22%
OFF
Genesis : Artificial Intelligence, Hope, and the Human Spirit - Eric Schmidt

Genesis

Artificial Intelligence, Hope, and the Human Spirit

Paperback

RRP $24.99

$21.75

13%
OFF
Microsoft 365 Excel All-in-One For Dummies : Excel for Dummies - David H. Ringstrom

Microsoft 365 Excel All-in-One For Dummies

Excel for Dummies

Paperback

RRP $74.95

$55.75

26%
OFF
Co-Intelligence : Living and Working with AI - Ethan Mollick

Co-Intelligence

Living and Working with AI

Paperback

RRP $36.99

$29.75

20%
OFF
The Definitive Guide to Responsible AI - John J. Trinckes, Jr.

The Definitive Guide to Responsible AI

Paperback

$100.75

The Definitive Guide to Responsible AI - Jr., John J. Trinckes

The Definitive Guide to Responsible AI

Hardcover

$359.75

This product is categorised by