Items related to Introduction to Languages, Machines, and Logic
Synopsis
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).
"synopsis" may belong to another edition of this title.
Review
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)
"About this title" may belong to another edition of this title.
Search results for Introduction to Languages, Machines, and Logic
Stock Image
Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic
Published by
Springer London, Limited, 2002
ISBN 10: 1852334649
ISBN 13: 9781852334642
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Seller Inventory # GRP77020447
Quantity: 1 available
Stock Image
Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic
Published by
Springer London, Limited, 2002
ISBN 10: 1852334649
ISBN 13: 9781852334642
Used
Softcover
Seller: Better World Books, Mishawaka, IN, U.S.A.
Seller rating 5 out of 5 stars
Condition: Very Good. Former library book; may include library markings. Used book that is in excellent condition. May show signs of wear or have minor defects. Seller Inventory # GRP77169901
Quantity: 1 available
Stock Image
Introduction to Languages, Machines, and Logic
Seller: HPB-Red, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
paperback. Condition: Good. Connecting readers with great books since 1972! Used textbooks may not include companion materials such as access codes, etc. May have some wear or writing/highlighting. We ship orders daily and Customer Service is our top priority! Seller Inventory # S_422495908
Quantity: 1 available
Seller Image
Introduction to Languages, Machines, and Logic
Seller: ebooks Keystone, Reading, PA, U.S.A.
Seller rating 4 out of 5 stars
Condition: good. This book is in good condition, with minimal signs of wear and tear. Seller Inventory # GWKV.1852334649.G
Quantity: 1 available
Stock Image
Introduction to Languages, Machines, and Logic
Seller: Ammareal, Morangis, France
Seller rating 5 out of 5 stars
Softcover. Condition: Très bon. Ancien livre de bibliothèque avec équipements. Edition 2002. Ammareal reverse jusqu'à 15% du prix net de cet article à des organisations caritatives. ENGLISH DESCRIPTION Book Condition: Used, Very good. Former library book. Edition 2002. Ammareal gives back up to 15% of this item's net price to charity organizations. Seller Inventory # G-454-719
Quantity: 1 available
Stock Image
Introduction to Languages, Machines, and Logic
Seller: MostlyAcademic, Berrima, NSW, Australia
Seller rating 4 out of 5 stars
Soft cover. Condition: As New. Shelf wear only. Seller Inventory # ABE-1737942183511
Quantity: 1 available
Stock Image
Introduction to Languages, Machines, and Logic
Seller: MostlyAcademic, Berrima, NSW, Australia
Seller rating 4 out of 5 stars
Soft cover. Condition: Near Fine. Seller Inventory # ABE-1741129739471
Quantity: 1 available
Stock Image
Introduction to Languages, Machines, and Logic
Seller: Toscana Books, AUSTIN, TX, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Seller Inventory # Scanned1852334649
Quantity: 1 available
Stock Image
Introduction to Languages, Machines, and Logic
Seller: Lucky's Textbooks, Dallas, TX, U.S.A.
Seller rating 5 out of 5 stars
Condition: New. Seller Inventory # ABLIING23Mar2912160256646
Quantity: Over 20 available
Stock Image
Introduction to Languages, Machines, and Logic
Seller: BennettBooksLtd, North Las Vegas, NV, U.S.A.
Seller rating 5 out of 5 stars
Paperback. Condition: New. In shrink wrap. Looks like an interesting title! Seller Inventory # Q-1852334649
Quantity: 1 available