Introduction to Languages, Machines and Logic
Introduction to Languages, Machines and Logic

Author: Alan P. Parkes

Publisher: Springer Science & Business Media

Published: 2012-12-06

Total Pages: 352

ISBN-13: 144710143X

DOWNLOAD EBOOK

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.

The Logic of Machines and Structures
The Logic of Machines and Structures

Author: Paul Sandori

Publisher: Courier Dover Publications

Published: 2016-09-21

Total Pages: 193

ISBN-13: 0486807002

DOWNLOAD EBOOK

This study focuses on statics' original simplicity as an exercise in logic, without resort to extensive mathematical detail. Discussions of significant historical discoveries offer an enjoyable, useful view of the field. 1982 edition.

A Profile of Mathematical Logic
A Profile of Mathematical Logic

Author: Howard DeLong

Publisher: Courier Corporation

Published: 2012-09-26

Total Pages: 322

ISBN-13: 0486139158

DOWNLOAD EBOOK

This introduction to mathematical logic explores philosophical issues and Gödel's Theorem. Its widespread influence extends to the author of Gödel, Escher, Bach, whose Pulitzer Prize–winning book was inspired by this work.