Elements of the theory of computation /
| Основен автор: | Lewis, Harry R. |
|---|---|
| Други автори: | Papadimitriou, Christos H., (joint author.) |
| Формат: | Книга |
| Език: | English |
| Публикувано: |
Englewood Cliffs, N.J. :
Prentice-Hall,
c1981.
|
| Серия: |
Prentice-Hall software series.
|
| Предмети: | |
| Онлайн достъп: |
Inhaltsverzeichnis |
| Подобни документи: |
Online version::
Elements of the theory of computation. |
Съдържание:
- Sets, relations, and languages
- Finite automata
- Context-free languages
- Turing machines
- Church's thesis
- Uncomputability
- Computational complexity
- The propositional calculus
- The predicate calculus.