14 и 15 января 2020 года в 510 аудитории 2-го учебного корпуса КФУ состоялась Итоговая научная конференция кафедры алгебры и математической логики КФУ. Сотрудники кафедры выступили с докладами, посвященными итогам научной работы за прошедший год.
Программа конференции была разбита на две секции и состояла из следующих докладов:
14 января. Секция: Математическая логика. Руководитель проф. Арсланов М.М.
- Файзрахманов М.Х. "Вычислимые нумерации классов функциональных семейств".
- Зубков М.В. "Ординалы, реализуемые вычислимо перечислимыми отношениями эквивалентности".
- Калимуллин И.Ш. "Пунктуальная категоричность конечно-порожденных полугрупп".
- Ямалеев М.М. "Определимость в степенных структурах и иерархия Ершова".
15 января. Секция: Алгебра. Руководитель проф. Арсланов М.М.
- Абызов А.Н., Тапкин Д.Т. "Кольца, близкие к чистым".
- Альпин Ю.А., Башкин И.В. "Неотрицательные цепные матрицы".
- Ильин С.Н. "О V- и V*-полукольцах эндоморфизмов полумодулей над булевыми алгебрами".
- Тапкин Д.Т. "Группы внешних автоморфизмов колец формальных матриц".