Главные новости НОМЦ ПФО

В КФУ стартовала конференция «Алгебра и математическая логика: теория и приложения»

^{В Казанском федеральном университете открылась международная конференция «Алгебра и математическая логика: теория и приложения».}

^{В ней принимают участие математики из России и ряда зарубежных стран, среди которых специалисты по алгебрам Ли, теории групп, теории колец, алгебраической геометрии, универсальной алгебре, теории моделей, математической логике, теории вычислимости, алгебраическим и логическим методам в программировании, а также другим разделам математики.}

^{Крупное научное мероприятие, организаторами которого наряду с КФУ являются Научно-образовательный математический центр Приволжского федерального округа и Академия наук Республики Татарстан, посвящено 130-летию со дня рождения основателя кафедры алгебры Казанского университета, члена-корреспондента АН СССР}^{Николая Чеботарева}^{и 80-летию со дня рождения академика АН РТ}^{Марата Арсланова}^{, заведующего кафедрой алгебры и математической логики Института математики и механики КФУ.}

^{Приветствуя участников конференции, первый проректор – проректор по научной деятельности КФУ}^{Дмитрий Таюрский}^{отметил, что 2024 год является юбилейным не только для математиков, но и для всего Казанского университета – в ноябре будет отмечаться 220-летие со дня рождения вуза.}

^{«Несмотря на все сложности, которые сейчас существуют в мире, мы заинтересованы в том, чтобы у нас не останавливалось развитие наук, и математики прежде всего», — сказал Д. Таюрский.}

^{Он подчеркнул, что от фундаментальной науки зависит технологическое развитие нашей страны и пожелал математикам продуктивной работы на конференции.}

^{Исполняющий обязанности директора ИМиМ КФУ}^{Марат Насрутдинов}^{в своем выступлении выразил надежду на то, что общение участников конференции будет способствовать рождению новых идей, направленных на развитие алгебры, математической логики и математики в целом.}

^{С приветствием к собравшимся также обратились председатель программного комитета конференции, академик РАН, главный научный сотрудник Института математики им. С.Л. Соболева Сибирского отделения РАН}^{Юрий Ершов}^{, которому в КФУ в 2023 году были вручены}^медаль^{и премия имени Н.И. Лобачевского, и ректор Казанского государственного архитектурно-строительного университета}^{Рашит Низамов.}

^{Завершилась церемония открытия вручением юбилейной медали «300 лет Российской академии наук» сопредседателю программного комитета конференции, профессору кафедры алгебры и математической логики ИМиМ КФУ, главному научному сотруднику НОМЦ ПФО, профессору РАН}^{Искандеру Калимуллину}^{. Ее торжественно передал ученому главный научный сотрудник Математического института им. В.А. Стеклова РАН, академик РАН}^{Лев Беклемишев}^.

^{«Завтра я выступлю с пленарным докладом о связи между теорией доказательств и топологией "Топологическая семантика логики доказуемости", – сообщил в перерыве Л. Беклемишев, который участвовал в конференции пять лет назад. – Это второй мой приезд в Казань, чему я очень рад. Я тесно взаимодействую с коллегами из Казанского университета и считаю своим долгом быть здесь».}

^{В интервью Центру медиакоммуникаций КФУ}^{Марат Арсланов}^{рассказал, что особенностью нынешней конференции является то, что большое внимание здесь будет уделено прикладным исследованиям.}

^{«Сейчас большое значение имеют приложения современной математики. Они играют важную роль в решении проблем, связанных с развитием искусственного интеллекта, а также используются для решения производственных задач», – сообщил М. Арсланов.}

^{Академик РАН}^{Сергей Гончаров}^{сказал, что впервые выступил с докладом в Казанском университете, когда был еще студентом. С тех пор он активно взаимодействует с М. Арслановым и его учениками.}

^{«Общение между математиками позволяет увидеть ключевые задачи, которые необходимо решать. Сейчас, например, это проблемы, связанные с искусственным интеллектом, обработкой больших данных. Алгебра и математическая логика являются основными инструментами, позволяющими решать эти задачи», – поделился С. Гончаров.}

^{В конференции, которая завершится 1 июля, принимают участие как известные ученые, среди которых более 40 докторов наук, так и молодые математики.}

^Автор:^{Лариса Бусиль, Департамент по информационной политике КФУ, фото: Инна Басырова}
^{Источник информации:}^{https://media.kpfu.ru/news/matematiki-0}

2024-06-27 12:00 Новости