- 21.09.2022 г. Лекция №1
Презентация доступна по ссылке.
- 28.09.2022 г. Лекция №2
Презентация доступна по ссылке.
- 05.10.2022 г. Лекция №3
Презентация доступна по ссылке.
- 12.10.2022 г. Лекция №4
Презентация доступна по ссылке.
- 19.10.2022 г. Лекция №5
Презентация доступна по ссылке.
- 26.10.2022 г. Лекция №6
Презентация доступна по ссылке.
- 02.11.2022 г. Лекция №7
Презентация доступна по ссылке.
- 09.11.2022 г. Лекция №8
Презентация доступна по ссылке.
- 16.11.2022 г. Лекция №9
Презентация доступна по ссылке.
- 23.11.2022 г. Лекция №10
Презентация доступна по ссылке.
- 07.12.2022 г. Лекция №11
Презентация доступна по ссылке.
- 14.12.2022 г. Лекция №12
Презентация доступна по ссылке.
Онлайн-лекции планируются проводить еженедельно по средам в 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.
Лектор: Касымов Надимулла Хабибуллаевич, профессор факультета математики и интеллектуальных технологий Национального университета Узбекистана (г. Ташкент, Узбекистан)
Название курса: Вычислимо отделимые алгебры
Аннотация курса: Теория нумерованных алгебр являясь наукой, образующей один из базисов фундаментальной математики и информатики, находит свое теоретическое и прикладное продолжение непосредственно в создании эффективных компьютерных программ, численных методах, объектно ориентированном программировании, робототехнике и т. д.
Отделимые алгебры — непосредственная и неотъемлемая часть теории нумерованных алгебр, имеющая собственную парадигму, специфику, проблематику и методы исследования, отличающую ее от других дисциплин. В рамках этой теории находят свое естественное решение как некоторые классические вопросы теории вычислимости, так и принципиальные вопросы теоретической информатики.
Целью данного курса является стимулирование развития культуры алгебро-алгоритмического мышления учащихся на основе изучения логически связанных элементов классической теории нумерованных алгебр и теории вычислимой отделимости нумераций универсальных алгебр.
Основной задачей курса является ознакомление учащихся с базовыми понятиями и методами теории отделимых алгебр, в частности, с понятиями негативных алгебр, позитивных алгебр со счетными решетками конгруэнций, конечно-порожденных финитно аппроксимируемых алгебр, эффективно отделимых алгебр, а также с алгоритмическими методами работы с этими объектами.
В круг основных задач предмета входит знакомство с важнейшими алгебраическими понятиями, образующими базу теории отделимых алгебр, классификация отделимых алгебр в естественных логико-математических терминах, а также применение результатов теории к классическим математическим объектам (группы, кольца, поля) и к вопросам адекватного описания структур данных в теоретической информатике.