"Introduction to Languages, Machines and Logic": "Computable Languages, Abstract Machines And Formal Logic" - Softcover

Parkes, Alan P.

 
9781852334642: "Introduction to Languages, Machines and Logic": "Computable Languages, Abstract Machines And Formal Logic"
Softcover
ISBN 10: 1852334649 ISBN 13: 9781852334642
Verlag: Springer, 2013

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.

Verlag
Springer
Erscheinungsdatum
2013
Sprache
Englisch
ISBN 10 
1852334649
ISBN 13 
9781852334642
Einband
Tapa blanda
Anzahl der Seiten
364
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9781447101444: Introduction to Languages, Machines and Logic: Computable Languages, Abstract Machines and Formal Logic

Vorgestellte Ausgabe

ISBN 10:  1447101448 ISBN 13:  9781447101444
Verlag: Springer, 2011
Softcover