Elements of the theory of computation /
Lewis, Harry R.
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. - New Jersey : Prentice-Hall, 1981. - xiv, 466 p.
Includes index.
References [bibliographical]: p. 457-458.
Chapter 1. Sets, relations, and languages; Chapter 2. Finite automata; Chapter 3. Context-free languages; Chapter 4. Turing machines; Chapter 5. Church's thesis; Chapter 6. Uncomputability; Chapter 7. Computational complexity; Chapter 8. The propositional calculus; Chapter 9. The predicate calculus.
0132734176
COMPUTADORES ELECTRONICOS
COMPUTACION
001.64 / L674
Elements of the theory of computation / Harry R. Lewis, Christos H. Papadimitriou. - New Jersey : Prentice-Hall, 1981. - xiv, 466 p.
Includes index.
References [bibliographical]: p. 457-458.
Chapter 1. Sets, relations, and languages; Chapter 2. Finite automata; Chapter 3. Context-free languages; Chapter 4. Turing machines; Chapter 5. Church's thesis; Chapter 6. Uncomputability; Chapter 7. Computational complexity; Chapter 8. The propositional calculus; Chapter 9. The predicate calculus.
0132734176
COMPUTADORES ELECTRONICOS
COMPUTACION
001.64 / L674