|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
Вычислимые множества функций и вычислимые операциикурсовая работа (Специалист)
- Научный руководитель: Волков Н.Ю.
- Автор: Хайруллин Артур Миннахматович
- Тип: Специалист
- Организация, в которой проходила защита: МГУ имени М.В. Ломоносова
- Кафедра: Механико-математический факультет
- Год защиты: 2022
- Курс: 5
- Аннотация: Работа нацелена на описание таких множеств вычислимых функций или операций над ними которые можно получить в результате работы некоторого алгоритма,а впоследствии выявления каких-то их свойств и особенностей их структуры. Были даны два эквивалентных определения вычислимости множества функций на языке нумераций, дано определение вычислимой операции и операций сохраняющих множество вычислимых функций. Показано вложение множества вычислимых операций в множество операций сохраняющих вычислимость. Также была доказана теорема о том, что любое замыкание вычислимого всюдуопределенного множества при помощи конечного множества операций сохраняющих вычислимость и замкнутых во множестве всюдуопределенных вычислимых функций не полно во множестве всюдуопределенных вычислимых функций.
- Добавил в систему: Волков Николай Юрьевич
Прикрепленные файлы
| № | Имя | Описание | Имя файла | Размер | Добавлен |
|---|---|---|---|---|---|
| 1. | Course_work__Khairullin_Artur_511_new.pdf | Course_work__Khairullin_Artur_511_new.pdf | 314,8 КБ | 14 декабря 2022 [Volkov_N_Y] |