Verwandte Artikel zu "Introduction to Languages, Machines and Logic":...
"Introduction to Languages, Machines and Logic": "Computable Languages, Abstract Machines And Formal Logic" - Softcover
Inhaltsangabe
A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition includes new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Críticas
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)
Reseña del editor
A well-written and accessible introduction to the most important features of formal languages and automata theory. It focuses on the key concepts, illustrating potentially intimidating material through diagrams and pictorial representations, and this edition includes new and expanded coverage of topics such as: reduction and simplification of material on Turing machines; complexity and O notation; propositional logic and first order predicate logic. Aimed primarily at computer scientists rather than mathematicians, algorithms and proofs are presented informally through examples, and there are numerous exercises (many with solutions) and an extensive glossary.
„Über diesen Titel“ kann sich auf eine andere Ausgabe dieses Titels beziehen.
Neu kaufen
Diesen Artikel anzeigen
EUR 64,31
Gratis für den Versand innerhalb von/der Deutschland
Versandziele, Kosten & DauerSuchergebnisse für "Introduction to Languages, Machines and Logic":...
Beispielbild für diese ISBN
Introduction to Languages, Machines, and Logic
Anbieter: Ammareal, Morangis, Frankreich
Verkäuferbewertung 5 von 5 Sternen
Softcover. Zustand: 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. Bestandsnummer des Verkäufers G-454-719
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic
Verlag:
Springer London, Limited, 2002
ISBN 10: 1852334649
ISBN 13: 9781852334642
Gebraucht
Softcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: Good. Former library book; may include library markings. Used book that is in clean, average condition without any missing pages. Bestandsnummer des Verkäufers GRP77020447
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic
Verlag:
Springer London, Limited, 2002
ISBN 10: 1852334649
ISBN 13: 9781852334642
Gebraucht
Softcover
Anbieter: Better World Books, Mishawaka, IN, USA
Verkäuferbewertung 5 von 5 Sternen
Zustand: 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. Bestandsnummer des Verkäufers GRP77169901
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Introduction to Languages, Machines, and Logic
Anbieter: MostlyAcademic, Berrima, NSW, Australien
Verkäuferbewertung 4 von 5 Sternen
Soft cover. Zustand: As New. Shelf wear only. Bestandsnummer des Verkäufers ABE-1737942183511
Anzahl: 1 verfügbar
Beispielbild für diese ISBN
Introduction to Languages, Machines, and Logic
Anbieter: MostlyAcademic, Berrima, NSW, Australien
Verkäuferbewertung 4 von 5 Sternen
Soft cover. Zustand: Near Fine. Bestandsnummer des Verkäufers ABE-1741129739471
Anzahl: 1 verfügbar
Foto des Verkäufers
Introduction to Languages, Machines and Logic
Print-on-DemandAnbieter: moluna, Greven, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. AN INFORMAL AND ACCESSIBLE INTRODUCTION TO POTENTIALLY INTIMIDATING CONCEPTS READER-FRIENDLY, NON-MATHEMATICAL PRESENTATION INCLUDES NUMEROUS EXERCISES (MANY WITH SOLUTIONS) AND AN EXTENSIVE GLOSSARYAN INFORMAL AND ACCESSIBLE INTRODUCTION TO POTENTIA. Bestandsnummer des Verkäufers 4289575
Anzahl: Mehr als 20 verfügbar
Beispielbild für diese ISBN
Introduction to Languages, Machines, and Logic
Anbieter: Toscana Books, AUSTIN, TX, USA
Verkäuferbewertung 5 von 5 Sternen
Paperback. Zustand: new. Excellent Condition.Excels in customer satisfaction, prompt replies, and quality checks. Bestandsnummer des Verkäufers Scanned1852334649
Anzahl: 1 verfügbar
Foto des Verkäufers
Introduction to Languages, Machines and Logic
Print-on-DemandAnbieter: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -This book provides an accessible introduction to three key topics within computer science: formal languages, abstract machines and formal logic. It is written in an easy-to-read, informal style and assumes only a basic knowledge of programming on the part of the reader. The approach is deliberately non-mathematical and features: - Clear explanations of formal notation and jargon - Extensive use of examples to illustrate algorithms and proofs - Pictorial representations of key concepts - Lots of end-of-chapter exercises Introduction to Languages, Machines and Logic is suitable for use on courses covering formal languages, formal logic, computability and automata theory. It will also make an excellent supplementary text for courses on algorithm complexity and compilers. 364 pp. Englisch. Bestandsnummer des Verkäufers 9781852334642
Anzahl: 2 verfügbar
Foto des Verkäufers
Introduction to Languages, Machines and Logic
Verlag:
Springer London, Springer London Apr 2002, 2002
ISBN 10: 1852334649
ISBN 13: 9781852334642
Neu
Taschenbuch
Anbieter: buchversandmimpf2000, Emtmannsberg, BAYE, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. This item is printed on demand - Print on Demand Titel. Neuware -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).Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg 364 pp. Englisch. Bestandsnummer des Verkäufers 9781852334642
Anzahl: 1 verfügbar
Foto des Verkäufers
Introduction to Languages, Machines and Logic : Computable Languages, Abstract Machines and Formal Logic
Verlag:
Springer London, Springer London, 2002
ISBN 10: 1852334649
ISBN 13: 9781852334642
Neu
Taschenbuch
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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). Bestandsnummer des Verkäufers 9781852334642
Anzahl: 1 verfügbar