Проекты кафедры
Список проектов, которыми руководят сотрудники кафедры алгебры и математической логики
| Название | Руководитель | Сроки выполнения | Финансирование |
|
Научно-образовательный математический центр Приволжского федерального округа |
М.М. Арсланов | 2021-2024 | Министерство науки и высшего образования Российской Федерации (Соглашение № 075-02-2022-882 от 02.02.2022 г.) |
|
Научно-образовательный математический центр Приволжского федерального округа |
М.М. Арсланов | 2025-2027 | Министерство науки и высшего образования Российской Федерации (Дополнительное соглашение от 06.03.2025 № 075-02-2025-1725/1 к соглашению о предоставлении из федерального бюджета субсидии в соответствии с абзацем вторым пункта 1 статьи 78.1 Бюджетного кодекса Российской Федерации от 28.02.2025 № 075-02-2025-1725) |
| Информационная выразительность степеней неразрешимости | М.М. Арсланов | 2022-2023 |
РНФ (№22-21-20024) |
| Алгебраические структуры и вычислимость | И.Ш. Калимуллин | 2018-2022 | РНФ (№18-11-00028) |
|
Вычислимые структуры и степени |
И.Ш. Калимуллин | 2022-2023 | Фонд Базис («Молодой ведущий ученый») |
| Нумерации, алгебраические структуры и алгоритмические сводимости | М.Х. Файзрахманов | 2023-2024 |
РНФ (№23-21-00181) |
| Теория колец и модулей и ее приложения | А.Н. Абызов | 2023-2024 | РНФ (№23-21-10086) |
| Эффективно непрерывные отображения в математической логике и теории алгоритмов | И.Ш. Калимуллин | 2024-2026 | РНФ (№24-11-00227) |
| Линейно упорядоченные структуры реализуемые позитивными отношениями эквивалентности | М.В. Зубков | 2024-2025 |
Грант АН РТ (Постдок-16/24) |
| Вычислимость на линейных порядках | М.В. Зубков | 2024-2026 | РНФ (№25-21-00228) |