2.
| 519.7/8 М38
Машины Тьюринга и рекурсивные функции [Текст] : пер. с нем. / Г.-Д. Эббинхауз, К. Якобс, Ф.-К. Ман. - М. : Мир, 1972. - 264 с. : ил. - (Современная математика). - Имен. указ.: с.249-250. -Предм. указ.: с.251-262 . -Библиогр. в конце глав. - 0.89 р. Кл.слова (ненормированные): АЛГОРИТМ -- ВЫЧИСЛИМЫЕ -- ПЕРЕЧИСЛИМОСТЬ -- Шмульян -- выполнимость выражений -- проблема разрешимости -- игра домино -- логика предикатов -- префиксы
Держатели документа: ОАО НПО Сатурн : 152093, г. Рыбинск, Ярославской обл., пр. Ленина, 163 Доп.точки доступа: Эббинхауз, Г.-Д.; Якобс, К.; Ман, Ф.-К.
Свободных экз. нет Найти похожие
|