|
ИСТИНА |
Войти в систему Регистрация |
ИПМех РАН |
||
Вычисления на машинах Минскогоучебный курс
- Автор: Марченков Сергей Серафимович
- Год создания: 2013
- Организация: МГУ имени М.В. Ломоносова
- Описание: Вводятся понятия машины Минского и функции, вычислимой на машине Минского. Доказывается замкнутость класса функций, вычислимых на машинах Минского, относительно некоторых эффективных операций. Определяются операторные алгоритмы и устанавливается их связь с функциями, вычислимыми на машинах Минского. Рассматривается вычисление функций из класса E^2 иерархии Гжегорчика на машинах Минского. Вводится кодирование машин Минского и доказывается существование в классе E^2 квазиуниверсальной функции для множества одноместных функций из E^2. Устанавливается существование в классе E^2 конечного базиса по суперпозиции. Строится функция, универсальная для класса одноместных функций из E^2.
- Добавил в систему: Марченков Сергей Серафимович
Преподавание курса
- 1 сентября 2013 - 30 июня 2015 Марченков Сергей Серафимович
- МГУ имени М.В. Ломоносова, Факультет вычислительной математики и кибернетики
- обязательная, по выбору (спецкурс), лекции, 36 часов
- Автор: Марченков Сергей Серафимович