Ebook: Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science
Author: Davis Martin, Sigal Ron, Weyuker Elaine J
- Tags: MATHEMATICS--Infinity, MATHEMATICS--Logic, Machine theory, Computational complexity, Formal languages, Electronic books, MATHEMATICS -- Infinity, MATHEMATICS -- Logic
- Series: Computer science and scientific computing
- Year: 1994
- Publisher: Elsevier Science
- City: Boston
- Edition: 2nd ed
- Language: English
- azw3
This introductory text covers the key areas of computer science, including recursive function theory, formal languages, and automata. It assumes a minimal background in formal mathematics. The book is divided into five parts: Computability, Grammars and Automata, Logic, Complexity, and Unsolvability. * Computability theory is introduced in a manner that makes maximum use of previous programming experience, including a "universal" program that takes up less than a page. * The number of exercises included has more than tripled. * Automata theory, computational logic, and complexity theory are presented in a flexible manner, and can be covered in a variety of different arrangements.;Front Cover; Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science; Copyright Page; Dedication; Table of Contents; Preface; Acknowledgments; Dependency Graph; Chapter 1. Preliminaries; 1. Sets and n-tuples; 2. Functions; 3. Alphabets and Strings; 4. Predicates; 5. Quantifiers; 6. Proof by Contradiction; 7. Mathematical Induction; Part 1: Computability; Chapter 2. Programs and Computable Functions; 1. A Programming Language; 2. Some Examples of Programs; 3. Syntax; 4. Computable Functions; 5. More about Macros; Chapter 3. Primitive Recursive Functions.
Download the book Computability, Complexity, and Languages: Fundamentals of Theoretical Computer Science for free or read online
Continue reading on any device:
Last viewed books
Related books
{related-news}
Comments (0)