|
ИСТИНА |
Войти в систему Регистрация |
Интеллектуальная Система Тематического Исследования НАукометрических данных |
||
Базисы рекурсивных функцийкурсовая работа (Специалист)
- Научный руководитель: Волков Николай Юрьевич
- Автор: Хайруллин Артур Миннахматович
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Кафедра: Механико-математический факультет
- Год защиты: 2020
- Курс: 3
- Аннотация: В работе исследуются рекурсивные функции и базовые операции над ними: суперпозиция, примитивная рекурсия и минимизация. Рассматривается как оператор замыкания, порождённый всеми этими тремя операциями, так и ряд операторов замыкания, порождённых одной или двумя из этих операций. Для этих операторов найдены множества, в которые они переводят множество элементарных базисных функций: константу 0, функцию следования S(x)=x+1 и селекторные функции I_m^n(x_1,...x_n)=x_j . Также рассмотрена операция "слабой минимизации", связанная с нахождением минимального корня y уравнения f(x_1,...,x_(n-1),y)=0 и изучена её связь с классической операцией минимизации, для определения которой находится минимальный корень уравнения f(x_1,...,x_(n-1),y)=x_n.
- Добавил в систему: Волков Николай Юрьевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | 311_gruppa-Hajrullin_Artur-kursovaya.pdf | 311_gruppa-Hajrullin_Artur-kursovaya.pdf | 594,9 КБ | 23 декабря 2020 [Volkov_N_Y] |