Лекция Шеня Александра Ханиевича
6 декабря в Институте математики и механики им. Н.И. Лобачевского состоялась вторая лекция ведущего научного сотрудника лаборатории информатики, робототехники и микроэлектроники Университета Монпелье и Национального центра научных исследований (Франция) Александра Шеня на тему "Алгоритмическая случайность и сложность".
Визит ученого состоялся по приглашению Регионального научно-образовательного математического центра КФУ и Computer Science Club. В рамках своего недельного визита Александр Ханиевич, помимо двух прочитанных лекций, пообщался со студентами института, побывал в Иннополисе, а также провел встречу с руководством математического центра, на которой обсудили перспективы дальнейшего сотрудничества.

С презентацией лекции можно ознакомиться пройдя по ссылке.
Лекция члена-корреспондента РАН
Миронова Андрея Евгеньевича
5 декабря в Институте математики и механики им. Н.И. Лобачевского состоялась открытая лекция члена-корр. РАН, доктора физико-математических наук, главного научного сотрудника лаборатории динамических систем Института математики им. С.Л. Соболева СО РАН (г. Новосибирск), специалиста в области геометрии, интегрируемых систем и математической физики Миронова Андрея Евгеньевича.
Визит ученого состоялся в рамках реализации программы Регионального научно-образовательного математического центра.
Андреем Евгеньевичем была прочитана лекция на тему "Коммутирующие дифференциальные операторы с полиномиальными коэффициентами и автоморфизмы первой алгебры Вейля". В докладе было рассказано о коммутирующих дифференциальных операторах и о задаче описания множества орбит действия автоморфизмов первой алгебры Вейля на множестве коммутирующих операторов с полиномиальными коэффициентами.
Лекция Шеня Александра Ханиевича
4 декабря в Институте математики и механики им. Н.И. Лобачевского с лекцией на тему "Колмогоровская сложность и априорная вероятность" выступил ведущий научный сотрудник лаборатории информатики, робототехники и микроэлектроники Университета Монпелье и Национального центра научных исследований (Франция) Александр Шень.
Визит ученого состоялся по приглашению Регионального научно-образовательного математического центра КФУ и Computer Science Club. В рамках визита в Казанский университет Александром Ханиевичем будет прочитана серия лекция для студентов, магистрантов, аспирантов и сотрудников математических институтов КФУ.
Следующая лекция А. Шеня "Алгоритмическая случайность и сложность" состоится 6 декабря в 16:00 в 610 ауд. 2-го высотного здания КФУ.
Приглашаем всех желающих принять участие!
Семинар с участием коллег из Болгарии, Новой Зеландии и Новосибирска
27 ноября в рамках совместной работы матцентра и кафедры алгебры и математической логики состоялся семинар с участием Болгарских (Соскова А., Ватев С.), Новозеландских (Мельников А.Г.) и Новосибирских (Баженова Н.А., Пузаренко В.Г.) коллег. Обсуждались результаты полученные в ходе совместной работы, которые были намечены на круглом столе, прошедшем 8 ноября в стенах матцентра. Также намечены новые актуальные направления дальнейшего исследования.
Математический центр посетил Роландо Хименес Бенитес
С научным визитом Региональный научно-образовательный математический центр КФУ посетил мексиканский математик, ведущий научный сотрудник Института математики Национального автономного университета Мексики Роландо Хименес. Визит зарубежного ученого состоялся в рамках реализации программы математического центра.
Р. Хименес выступил с пленарным докладом на тему «Теория гомологий инвариантов» на всероссийской научной конференции "Лобачевские чтения 2018", проходящей в эти дни в стенах Казанского университета. Во время своего визита ученый также выступил на научном семинаре кафедры алгебры и математической логики с докладом "Цилиндрические гомотопические алгебры". В докладе ученый рассказал как решается проблема поднятия гомоморфизмов групп в накрывающее пространство с помощью цилиндрических гомотопических алгебр.
Визит профессора Кейта Йокояма
С 19 по 23 ноября Региональный научно-образовательный математический центр КФУ посетил профессор Японского института передовых наук и технологий JAIST Кейта Йокояма. В рамках реализации Программы Математического центра Кейта Йокояма ознакомился с деятельностью Матцентра, совершил ряд встреч с представителями научного сообщества КФУ, а также прочитал лекцию на тему Ekeland's variational principle in reverse mathematics (Вариационный принцип Экланда в обратной математике).
Заседание семинара лаборатории
«Математические методы и информационные технологии в биологии и медицине»
В субботу 17 ноября в восточном крыле главного здания КФУ, ауд. 207В (ул. Кремлевская, д. 18) состоялось заседание семинара лаборатории «Математические методы и информационные технологии в биологии и медицине». С докладом на тему "Универсальные статистические характеристики генома" выступили к.т.н., главный научный сотрудник НОЦ "Биомедицинская инженерия" ФГАОУ ВО «Санкт-Петербургский государственный электротехнический университет «ЛЭТИ» им. В.И. Ульянова (Ленина) Богачев Михаил Игоревич и к.б.н., доцент кафедры генетики Института фундаментальной медицины и биологии КФУ Каюмов Айрат Рашитович.
Доклад профессора В.Г. Пузаренко
В пятницу 16 ноября в 16:00 во втором учебном корпусе КФУ, ауд. 610 (ул. Кремлевская, д. 35) состоялся доклад профессора Пузаренко Вадима Григорьевича.

Тема доклада:
" Вычислимая структура с нестандартной вычислимостью"

Аннотация: Одним из обобщений теории конструктивных моделей является, с одной стороны, нахождение сравнительных характеристик пар структур относительно друг друга (к примеру, структура A сложнее структуры B, если структура A позволяет найти эффективные представления всех структур, имеющих эффективные задания структуры относительно B); а с другой стороны, для фиксированной структуры B нахождение класса структур, имеющих эффективное представление относительно структуры B. Академик Ю.Л. Ершов предложил рассматривать в качестве структур, на которых заданы эффективные представления, допустимые множества. Этот класс структур является достаточно богатым и, к тому же, содержит структуру N, близкую к натуральным числам. Структура N является самой бедной в рассматриваемой иерархии с точки зрения класса эффективно представленных в ней структур и содержит в точности все вычислимые структуры. В последнее время не только в России, но и за рубежом проводятся активные исследования производной структуры, в которой проводится сравнительный анализ допустимых структур с точки зрения объемности эффективных представлений. Основным результатом предложенной работы является наличие допустимой структуры H, имеющей эффективное задание в N (а именно, вычислимой как структуры), но имеющей более высокую сложность вычислимости, нежели N (что равносильно тому, что имеется невычислимая алгебра, имеющая эффективное представление в H). Для доказательства развивается теория представлений гипердопустимых множеств, в которых алгебра, над которой она строится, является элементом. Кроме того, для построения подходящей допустимой структуры понадобились неразрешимые структуры теории графов.
В математическом центре состоялся круглый стол, посвященный актуальным вопросам математической логики
8 ноября в Региональном научно-образовательном математическом центре состоялся круглый стол, посвященный актуальным вопросам теории вычислимости и теории моделей. В круглом столе приняли участие приглашенные гости Мельников Александр Геннадьевич и Пузаренко Вадим Григорьевич, которые в эти дни находятся с визитом в матцентре. В ходе круглого стола участниками был обозначен круг вопросов, на решении которых предстоит сосредоточиться в ходе совместных научных исследований.
17 октября 2018 года
Вызовы в подготовке учителя
XXI века
Беседа профессора Техасского университета, США, Мурата Чошанова со студентами Института математики и механики им. Н.И. Лобачевского и участниками конференции «Вызовы в подготовке учителя XXI века». Участники встречи узнали о новых программах, реализуемых в США, о компетенциях современного учителя, обсудили общемировые проблемы подготовки учителя.

Встреча состоялась в шоу-руме Высшей школы журналистики и медиакоммуникаций

Видеозапись встречи
17 по 21 октября 2018 года
2
3
4
5
VIII Международная научно-практическая конференция «Математическое образование в школе и вузе: инновации в информационном пространстве» (MATHEDU' 2018)
С 17 по 21 октября 2018 года в Институте математики и механики им. Н.И. Лобачевского Казанского федерального университета проходила VIII Международная научно-практическая конференция «Математическое образование в школе и вузе: инновации в информационном пространстве» (MATHEDU' 2018). Организаторами конференции выступили Региональный научно-образовательный математический центр КФУ, ИММ и кафедра теории и технологий преподавания математики и информатики.
Конференция, в работе которой приняло участие более 160 человек, стала ярким примером сотрудничества ученых из высших учебных заведений США, Словакии, Франции, Израиля, Белоруси, Азербайджана, Таджикистана, Украины, 50-ти городов России. На конференции обсуждались актуальные проблемы цифровизации образования, использования дистанционных технологий, разработки он-лайн курсов и других вопросов, касающихся образовательных инноваций в информационном пространстве.

Работа участников включала пленарный, секционные заседания, круглый стол, мастер-классы, неформальные встречи и дискуссии, а также семинар учителей школ.
В первый день конференции участникам представилась возможность посетить музей Н.И. Лобачевского в КФУ, совершить экскурсию в Казанский Кремль, которую на высоком уровне провел заместитель директора ИММ по социально-воспитательной работе доцент П.Г. Великанов.

В этот же день состоялась беседа профессора Техасского университета, США, Мурата Ашировича Чошанова со студентами ИММ и участниками конференции на тему «Вызовы в подготовке учителя XXI века». Участники встречи узнали о новых программах, реализуемых в США, о компетенциях современного учителя, обсудили общемировые проблемы подготовки учителя.

На открытии конференции с приветственным словом к участникам обратилась директор ИММ Екатерина Александровна Турилова. Она подчеркнула, что в быстро меняющемся мире проведение конференции поможет молодым ученым развиваться и совершенствоваться. Екатерина Александровна пожелала плодотворной работы всем участникам.

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

Замеcтитель директора по научной деятельности Института психологии и образования КФУ, Алишев Тимерхан Булатович, от имени руководства института поздравил участников с открытием конференции и отметил, что математика нужна не только в образовательной деятельности, но и в социальной, экономической и других сферах развития общества, а результаты работы конференции внесут вклад в это развитие.
Заведующая кафедрой теории и технологий преподавания математики и информатики, организатор конференции, Лилиана Рафиковна Шакирова, отметила важность и актуальность основной проблемы обсуждения – цифровизации образования; подчеркнула интерес широкого круга участников конференции к проблемам информатизации математического образования, использования дистанционных технологий и других инноваций в системе образования и важность подобных форумов для объединения ученых ведущих научно-образовательных центров для обмена опытом и организации совместных научных исследований.
Все дни работы конференции были насыщенными, результативными. Высокий уровень представленных докладов и дискуссий свидетельствовали о значимости, актуальности проведенной конференции.

Оргкомитет конференции выражают глубокую благодарность всем участникам, и приглашает к дальнейшему сотрудничеству!
15 октября 2018
2
Визит профессора Калифорнийского университета (г. Лос-Анджелес, США)
Самуэля Бернала
На снимке: руководители центра М.М. Арсланов и В.Л. Селиванов с профессором Самуэлем Берналом во время встречи.

Врач в области регенеративной медицины стволовых клеток, заслуженный доктор Калифорнийского университета (г. Лос-Анджелес), член Американской ассоциации клинических онкологов, Американской ассоциации исследователей рака и признанный исследователь медицины рака в Национальном институте здоровья США профессор Самуэль Бернал посетил Лабораторию применения математических методов в биологии и медицине Регионального математического центра.
На встрече с руководством центра обсуждались формы и перспективы сотрудничества коллектива лаборатории с руководимыми профессором Берналом коллективами Cedars-Sinai и медицинского центра Ronald Reigan UCLA.

Профессор Самуэль Бернал в 1969 году окончил Университет Иллинойса, получив диплом по химии, защитил свою кандидатскую диссертацию в Университете Чикаго в 1974 году и в 1997 году стал доктором юриспруденции в Юридической школе Лойолы Университета Лойола Мэримаунт.

Доктор Бернал является советником по внутренней медицине и членом Американского совета по внутренней медицине. Доктор Бернал также является советником по медицинской онкологии и членом Американского совета специалистов по раку.
14 октября 2018
2
Сотрудник центра Ямалеев Марс Мансурович стал призером республиканского конкурса «Пятьдесят лучших инновационных идей для Республики Татарстан»
Исследователь центра Ямалеев Марс Мансурович (совместно с профессорами КФУ Латыповым Рустамом Хафизовичем и Столовым Евгением Львовичем) стал призером республиканского конкурса «Пятьдесят лучших инновационных идей для Республики Татарстан» заняв третье место в номинации "Инновации в образовании".
Проект коллектива "Программный генератор задач по алгебре и геометрии с автоматической проверкой правильности решения" нацелен на повышение качества образовательного процесса. В проекте предполагается создание генератора задач, который в автоматическом режиме создает для каждого студента индивидуальное задание. Проверка правильности решения осуществляется автоматически.

На данный момент проект реализован в виде демо-версии. Система генерирует задания по ряду тем из алгебры и геометрии ВУЗовской программы. Этих задач достаточно для демонстрации правильности основной концепции. Система
позволяет частично проводить контроль самостоятельной работы студентов по соответствующим курсам. Предусмотрена возможность одновременного контроля нескольких групп. Студент, не согласный с оценкой, проанализировать свое решение вместе с преподавателем.
9 октября 2018
2
Лекция старшего научного сотрудника Института систем информатики
им. А.П. Ершова СО РАН (г. Новосибирск) Штокало Дмитрия Николаевича.
8 октября в Институте математики и механики
им. Н.И. Лобачевского КФУ состоялась первая открытая лекция старшего научного сотрудника Института систем информатики им. А.П. Ершова СО РАН (г. Новосибирск), Директора компании «Новых Программных Систем», кандидата физико-математических наук Штокало Дмитрия Николаевича «Биоинформатика – возможности и сложности».
В ходе доклада Д.Н. Штокало было отмечено, что современная исследовательская биотех-лаборатория располагает высокопроизводительными приборами (секвенаторами, масспектрометрами и т.д.), технологиями генной инженерии, имеет доступ к большому количеству данных и вычислительным ресурсам. Наличие такого арсенала вселяет надежду на прорывные научные открытия, скорую разработку эффективных методов диагностики и лечения. От качества обработки оцифрованных данных напрямую зависит скорость прогресса. По мнению Дмитрия Штокало, камнем преткновения зачастую является естественная сложность формулировки задачи в математических терминах. Задачи, решаемые биоинформатиками нуждаются в циклическом уточнении и доопределении с помощью знаний молекулярной биологии. Дмитрий Николаевич считает, что для ускорения прогресса необходимо преодолеть недостаток взаимопонимания между «математиками» и «биологами». В докладе также были приведены примеры из 15-ти летней практики коллектива биоинформатиков.

С презентацией лекции можно ознакомиться пройдя по ссылке.

Добавим, что вторая лекция Дмитрия Николаевича «Биоинформатика и машинное обучение для решения прикладных задач медицины» состоится 10 октября (среда) в 16:00 в 610 ауд. 2-го корпуса КФУ, по адресу ул. Кремлевская,
д. 35. Приглашаются все желающие!
3 октября 2018
Мохаммад Хади Акхбари
В эти дни в Казанском университете с научным визитом находится математик, специалист в области теории графов из Института математики Исламского университета Азад (Тегеран, Иран), профессор Мохаммад Хади Акхбари. Научный визит зарубежного ученого проходит в рамках реализации программы Регионального научно-образовательного математического центра. Данный проект предусматривает приглашение ведущих зарубежных специалистов для обмена опытом и совместных научно-образовательных проектов. В ходе визита профессором М.Х. Акхбари также будут прочитаны лекции по теории графов для студентов, магистров и аспирантов Института математики и механики им. Н.И. Лобачевского.
27 сентября 2018
Лекция члена-корреспондента РАН Миронова Андрея Евгеньевича
26 сентября в Институте математики и механики
им. Н.И. Лобачевского КФУ состоялась открытая лекция члена-корреспондента РАН, главного научного сотрудника Института математики им. С.Л. Соболева СО РАН (г. Новосибирск) специалиста в области геометрии, интегрируемых систем и математической физики Андрея Евгеньевича Миронова, посетившего институт с целью установления научного взаимодействия с кафедрой геометрии. В ходе доклада А.Е. Мироновым была рассмотрена динамическая система "угловой бильярд". Данная динамическая система в окрестности границы является двойственной к бильярду Биркгофа, в частности, в окрестности границы существует бесконечно много инвариантных кривых. С помощью этой динамической системы были получены новые результаты, относящиеся к гипотезе Биркгофа об интегрируемых бильярдах.
13, 20, 27 июня в 13.20 в 609 ауд., Кремлевская 35
29 июня (пятница) в 17:00 в 610 ауд., Кремлевская 35
Проф. Ч. К. Куинь (Данангский университет, г. Дананг, Вьетнам)
27 июня состоялась последняя лекция мини-курса "Теория колец и модулей" проф. Ч.К. Куинь. Мини-курс состоял из 3 лекций.

Теория колец и модулей - важный раздел современной алгебры, изучающий связи между свойствами кольца и категорий модулей над ним. Как абелевы группы, так и векторные пространства можно рассматривать как примеры модулей и многие важные теоремы из линейной алгебры и теории абелевых групп непосредственно следуют из общей теории. Теория колец и модулей является ключом ко многим более продвинутым курсам алгебры, например, алгебраическая теория чисел, теория представлений и алгебраическая геометрия. В этом курсе будет дано краткое введение в эту область. Для понимания курса достаточно знание основ линейной алгебры. В конце курса для желающих предусмотрен экзамен.
29 июня состоялся доклад проф. Ч.К. Куинь.

Название доклада: "On classes of modules invariant and coinvariant under some endomorphisms of envelopes and covers"
Аннотация: In this talk, we will discuss about on classes of modules that are invariant and coinvariant under some endomorphisms of envelopes and covers. In particular, the classes of automorphism-invariant modules, automorphism-coinvariant modules and their generalizations are considered, for example: essentially injective modules and small projective modules. On the other hand, automorphism-extendable modules and nilpotent-extendable modules are also considered.
8 мая 2018 года
Роландо Хименес Бенитес
На днях Казанский университет посетил мексиканский математик, ведущий научный сотрудник Института математики Национального автономного университета Мексики Хименес Бенитес Роландо. Дружеский визит зарубежного ученого состоялся в рамках реализации программы Регионального научно-образовательного математического центра, начинающего свою работу на базе КФУ в эти дни. Проект
предусматривает приглашение ведущих зарубежных специалистов для обмена опытом и совместных научно-образовательных проектов.
Вашему вниманию предлагается занимательное интервью нашего иностранного гостя.
24-26 апреля 2018 года
В.Л. Селиванов «Алгоритмические проблемы в математике: теория и приложения»
(миникурс из 3-х лекций в рамках Компьютерного Клуба)

Цель миникурса – познакомить слушателей с некоторыми понятиями, результатами, методами и приложениями теории вычислимости, теории сложности вычислений и теории автоматов. Теория вычислимости будет проиллюстрирована примерами разрешимых и неразрешимых проблем в математике (в частности, будут кратко обсуждены 10-я проблема Гильберта и арифметика Пеано). Сложность вычислений будет проиллюстрирована теорией NP-полноты и теоремами Тарского о разрешимости в теории полей. Теорию автоматов проиллюстрируем автоматами Бюхи и применениями к задаче верификации систем с конечным числом состояний.

Хотя обсуждаемый материал носит теоретический характер, он тесно связан с практическими вопросами информатики. Для иллюстрации этого рассмотрим связь этих результатов с системами автоматического доказательства теорем, системами компьютерной алгебры, SAT-решателями и верификаторами.

Темы лекций:

  1. Алгоритмические проблемы в математике: вычислимость и невычислимость (24 апреля).
  2. Практически вычислимые проблемы в математике (8 мая).
  3. Конечные автоматы в математике и информатике (15 мая).
Март 2018
Визит в Шеньженьский университет
В конце марта 2018 г. академик РАН С.С. Гончаров (Новосибирск) и профессора КФУ Ф.М. Аблаев и В.Л. Селиванов посетили Шеньженьский университет Китая по приглашению директора Института больших данных этого университета профессора Джошуа Хуанга. Весьма насыщенная программа визита включала, в частности, посещения компаний Хуавей и Тенсент, а также Суперкомпьютерного центра университета Гуаньчжоу (на фото — один из мощнейших в мире суперкомпьютеров Milky Way 2). Проведено интересное обсуждение (на уровне ректората и институтов, связанных с информатикой) возможных направлений сотрудничества университета Шеньженя с институтами Новосибирска (НГУ, Институт математики и Институт систем информатики СО РАН) и КФУ (Региональный математический центр, Институт математики и механики, Институт вычислительной математики и информационных технологий).