<p>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, a
Introduction to Languages, Machines, and Logic
β Scribed by Alan P. Parkes
- Publisher
- Springer
- Year
- 2002
- Tongue
- English
- Leaves
- 352
- Edition
- 2002
- Category
- Library
No coin nor oath required. For personal study only.
β¦ Synopsis
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.
π SIMILAR VOLUMES
<h4>A comprehensive introduction to non-classical logics and their use in linguistics</h4> <script type='text/javascript"' src="//books.google.com/books/previewlib.js"></script> <script type="text/javascript">GBS_insertPreviewButtonPopup(['ISBN:9780748691623','ISBN:9780748691630','ISBN:9780748691647
<DIV>Although the two volumes of <i>Logic, Language, and Meaning</i> can be used independently of one another, together they provide a comprehensive overview of modern logic as it is used as a tool in the analysis of natural language. Both volumes provide exercises and their solutions.<br><BR>Volume