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

Parkes, Alan P.

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

Sinopsis

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Springer
Año de publicación
2013
Idioma
Inglés
ISBN 10 
1852334649
ISBN 13 
9781852334642
Encuadernación
Tapa blanda
Número de páginas
364
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania

Otras ediciones populares con el mismo título

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

Edición Destacada

ISBN 10:  1447101448 ISBN 13:  9781447101444
Editorial: Springer, 2011
Tapa blanda