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

Parkes, Alan P.

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.

Über diesen Titel

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)

Details zur Ausgabe

• 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