Подробное описание документа

Марченков С. С., Савицкий И. В.
   Машины в теории вычислимых функций : учебное пособие / Марченков С. С., Савицкий И. В. - М. ; Вологда : Инфра-Инженерия, 2024. - 102 с. - Библиогр.: с. 101-102. - ISBN 978-5-9729-2057-0.

Аннотация

Приводятся определения как хорошо известных вычислительных устройств (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга), так и некоторых машин, появившихся сравнительно недавно (стековые регистровые машины, регистровые машины со счётчиками, счётчиковые машины с сумматором). Для каждого типа машин излагаются результаты по вычислимым функциям, достаточно полно характеризующие вычислительные возможности рассматриваемого типа машин и связывающие соответствующие классы вычислимых функций с известными классами рекурсивных функций.
Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики и кибернетики.

УДК

510.57 Вычислимые (рекурсивные) функции

Предметные рубрики

• Рекурсивные функции - Вычисление на вычислительных машинах
• Вычислительные машины - Применение для инженерных расчетов

Общее кол-во в фондах

1 экз.

1. Преподавательский абонемент ауд.305л, УЛК, ауд. 305л
2. Читальный зал ауд.305л, УЛК, ауд. 305л