Новости НОМЦ ПФО

В НОМЦ ПФО стартовал онлайн-курс по теории вычислимых алгебр

В среду 21 сентября в Казанском федеральном университете состоялась первая лекция онлайн-курса «Вычислимо отделимые алгебры» ведущего специалиста по теории вычислимых алгебр, профессора факультета математики и интеллектуальных технологий Национального университета Узбекистана (г. Ташкент, Узбекистан) Касымова Надимуллы Хабибуллаевича.

Презентация первой лекции доступна по ссылке.

Онлайн-лекции планируются проводить еженедельно по средам в 10:10—11:40 (мск). Курс рассчитан на студентов старших курсов, магистрантов, аспирантов и молодых ученых. Курс будет полезен всем интересующимся математической логикой, теорией вычислимости, теорией моделей, теорией вычислимых структур, алгеброй. Длительность курса — до конца семестра. Платформа для чтения онлайн-курса — Microsoft Teams.

Ссылка для подключения в Teams:
https://teams.microsoft.com/l/team/19%3a1VTOXOKd7PeCC4nhrIZ9F7slVcvKlB0bZ_KiFZbxTEI1%40thread.tacv2/conversations?groupId=46f63925−7476−402a-a93f-535f2a85c4b4&tenantId=48b841f1-ebe6−4e30-b712−949 430 708 487

Для добавления в команду просьба связаться со старшим научным сотрудником НОМЦ ПФО, к.ф.-м.н. Ямалеевым М. М. по электронной почте marsiam2@yandex.ru.

Лектор: Касымов Надимулла Хабибуллаевич, профессор факультета математики и интеллектуальных технологий Национального университета Узбекистана (г. Ташкент, Узбекистан)

Название курса: Вычислимо отделимые алгебры

Аннотация курса: Теория нумерованных алгебр являясь наукой, образующей один из базисов фундаментальной математики и информатики, находит свое теоретическое и прикладное продолжение непосредственно в создании эффективных компьютерных программ, численных методах, объектно ориентированном программировании, робототехнике и т. д.

Отделимые алгебры — непосредственная и неотъемлемая часть теории нумерованных алгебр, имеющая собственную парадигму, специфику, проблематику и методы исследования, отличающую ее от других дисциплин. В рамках этой теории находят свое естественное решение как некоторые классические вопросы теории вычислимости, так и принципиальные вопросы теоретической информатики.

Целью данного курса является стимулирование развития культуры алгебро-алгоритмического мышления учащихся на основе изучения логически связанных элементов классической теории нумерованных алгебр и теории вычислимой отделимости нумераций универсальных алгебр.

Основной задачей курса является ознакомление учащихся с базовыми понятиями и методами теории отделимых алгебр, в частности, с понятиями негативных алгебр, позитивных алгебр со счетными решетками конгруэнций, конечно-порожденных финитно аппроксимируемых алгебр, эффективно отделимых алгебр, а также с алгоритмическими методами работы с этими объектами.

В круг основных задач предмета входит знакомство с важнейшими алгебраическими понятиями, образующими базу теории отделимых алгебр, классификация отделимых алгебр в естественных логико-математических терминах, а также применение результатов теории к классическим математическим объектам (группы, кольца, поля) и к вопросам адекватного описания структур данных в теоретической информатике.