Алгоритмические сводимости программных систем и вычислимых моделей
| Название НИОКТР | Алгоритмические сводимости программных систем и вычислимых моделей |
|---|---|
| Аннотация | В теории нумераций и вычислимых моделей наиболее интенсивно исследуемыми алгоритмическими сводимостями являются стандартная или колмогоровская сводимость нумерованных множеств, а также обобщающие ее программная и проблемная сводимости нумераций (в частности, конструктивизаций) алгебраических систем. Решаемая в проекте проблема заключается в определении различия или совпадения программной и проблемной сводимостей и эквивалентностей нумераций алгебраических систем, в т.ч. систем функциональной сигнатуры. Цели и задачи исследования заключаются в построении унарной алгебры, для которой программная и проблемная эквивалентности ее нумераций различны, а также вычислимой модели, для которой различными являются программная и проблемная эквивалентности ее конструктивизаций. |
| Доступ к ОКОГУ исполнителя | False |
| Количество связанных РИД | 0 |
| Количество завершенных ИКРБС | 0 |
| Сумма бюджета | 1035.724 |
| Дата начала | 2025-12-01 |
| Дата окончания | 2026-07-01 |
| Номер контракта | №13 |
| Дата контракта | 2025-12-01 |
| Количество отчетов | 1 |
| УДК | 510 |
| Количество просмотров | 3 |
| Руководитель работы | Файзрахманов Марат Хайдарович |
| Руководитель организации | Таюрский Дмитрий Альбертович |
| Исполнитель | ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ "КАЗАНСКИЙ (ПРИВОЛЖСКИЙ) ФЕДЕРАЛЬНЫЙ УНИВЕРСИТЕТ" |
| Заказчик | ФОНД НАУКИ И ТЕХНОЛОГИЙ РЕСПУБЛИКИ ТАТАРСТАН |
| Федеральная программа | Отсутствует |
| Госпрограмма | — |
| Основание НИОКТР | Грант |
| Последний статус | 2026-01-27 09:19:38 UTC, 2026-01-27 09:19:38 UTC |
| ОКПД | Работы оригинальные научных исследований и экспериментальных разработок в области естественных и технических наук, кроме биотехнологии |
| Отраслевой сегмент | — |
| Минздрав | — |
| Межгосударственная целевая программа | — |
| Ключевые слова | нумерация; сводимость; вычислимая модель |
| Соисполнители | — |
| Типы НИОКТР | Фундаментальное исследование |
| Приоритетные направления | — |
| Критические технологии | — |
| Рубрикатор | 27.03.66 - Математические структуры. Теория моделей; 27.03.19 - Математическая логика; 27.03.45 - Теория вычислимости |
| OECD | — |
| OESR | Общая математика |
| Приоритеты научно-технического развития | а) переход к передовым технологиям проектирования и создания высокотехнологичной продукции, основанным на применении интеллектуальных производственных решений, роботизированных и высокопроизводительных вычислительных систем, новых материалов и химических соединений, результатов обработки больших объемов данных, технологий машинного обучения и искусственного интеллекта; |
| Регистрационные номера | — |