Машины Тьюринга и рекурсивные функции / Эббинхауз Г.-Д., Якобс Конрад, Ман Ф.-К., Хермес Г.; перевод с немецкого Э. Г. Белаги. - Москва: Мир, 1972. - 264 с. - (Популярная серия "Современная математика"). - Лит. - Имен. указ.: с. 249-250. - Предм. указ.: с.2 51-262.Отраслевые рубрики: математика, теория алгоритмов Ключевые слова: алгоритмы, вычислимые функции, декодирующая машина, Клини теорема, кодирующая машина, Колмогорова теорема, леммы, машина Тьюринга, перечислимость, разрешимость, рекурсивные функции, случайные последовательности, теория машин Тьюринга, Шмульмана системы Персоналии: Тьюринг Алан
Сигла хранения | Всего экз. | В наличии | Заказано | абонемент | 1 | 1 | 0 |
|