TY  - BOOK
AU  - Петцольд,Чарльз
TI  - Читаем Тьюринга. Путешествие по исторической статье Тьюринга о вычислимости и машинах Тьюринга
T2  - Классика программирования
SN  - 9785970602317
PY  - 2016///
CY  - Москва
PB  - ДМК Пресс
KW  - Тьюринга машины
KW  - разрешимость (теория алгоритмов)
KW  - числа иррациональные
KW  - числа трансцендентные
KW  - числа вычислимые
KW  - вычислительные машины, теория
KW  - вычислимость
KW  - вычислимые функции
KW  - лямбда-исчисление
KW  - Тьюринга машины, разновидности
KW  - Тьюринга машины, моделирование
KW  - теория программирования
N1  - Библиогр.: с. 406-410; Предм. указ.: с. 428-439
ER  -