|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Машины в теории вычислимых функцийкнига
- Авторы: Марченков С.С., Савицкий И.В.
- Год издания: 2018
- Место издания: МАКС Пресс Москва
- Объём: 88 страниц (7,15 печатных листов)
- ISBN: 978-5-317-05814-2
- Тираж: 80 экз.
- Учебное пособие без грифа
- По постановлению РИСО
- Аннотация: Пособие содержит часть материала курсов «Основы теории алгоритмов», «Элементарные рекурсивные функции» и «Вычисления на машинах Минского», которые первый из авторов на протяжении ряда лет читал на факультете вычислительной математики и кибернетики МГУ. В пособие включены также наиболее значимые результаты по абстрактным вычислительным устройствам, полученные различными авторами (в том числе авторами пособия) в последние годы. Пособие состоит из семи глав. В них даются определения как хорошо известных вычислительных устройств (машины Тьюринга, машины с произвольным доступом к памяти, машины Минского, двуленточные нестирающие машины Тьюринга с несколькими головками на входной ленте), так и некоторых машин, появившихся сравнительно недавно (стековые регистровые машины, регистровые машины со счётчиками, счётчиковые машины с сумматором). Для каждого типа машин излагаются результаты по вычислимым функциям, достаточно полно характеризующие вычислительные возможности рассматриваемого типа машин и связывающие соответствующие классы вычислимых функций с известными классами рекурсивных функций. Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики и кибернетики.
- Добавил в систему: Савицкий Игорь Владимирович