Image #1
Image #1

Introduction to Languages, Machines, and Logic

Item Description: 1.1 Overview This chapter briefly describes: • what this book is about • what this book tries to... Read More
Regular price
$29.00
Sale price
$29.00
Regular price
1 In Stock. Ready to be shipped!

Change of Mind Returns accepted within 7 days of delivery. Customer provides return shipping.

Items must be returned in their original packaging and in the same condition as received. If the item does not meet our return condition policy, a full refund may not be issued.


Expect prompt delivery and easy tracking — every order comes with updates along the way.

About the Product

Item Description:

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).

Type: Study Guide

Format: Paperback

Language: English

Publication Name: Introduction to Languages, Machines, and Logic

Author: Alan P. Parkes

Returns & Exchanges

Not happy? Return or exchange your items quickly and hassle-free.

Check Your Order Status

Stay updated every step of the way — from purchase to delivery.

Visit Our Support Center

Need assistance? Find answers and support anytime, anywhere.

Price-Match Guarantee

Found a better price? We’ll match it so you get the best deal.

Shipping

Order processing typically takes 1–2 business days before shipping. Once your order has been processed, you’ll receive a confirmation and tracking information.

Yes, changes can be made if the order hasn’t entered processing. Make sure to update your order details promptly after purchase.

Yes, international shipping is available. Delivery times and costs vary based on your location and selected shipping method.

Yes, all data is encrypted and processed securely to protect your privacy.

returns & refund

You can return most items within 30 days of delivery for a full refund or exchange.

Refunds are usually processed within 5-7 business days after we receive your returned item.