В матцентре КФУ состоялся доклад
Корнева Руслана Александровича

19 апреля в рамках семинара Регионального научно-образовательного математического центра КФУ с докладом на тему "Сводимость вычислимых метрик на вещественной прямой" выступил Корнев Руслан Александрович (Новосибирский государственный университет, г. Новосибирск).

Аннотация: Изучаются две сводимости метрик на вещественной прямой: вычислимая сводимость, индуцированная сводимостью представлений Коши, и её ослабленная версия. Доказывается, что существуют вычислимые метрики как ниже, так и выше стандартной метрики на R относительно слабой сводимости. Обсуждаются вопросы вложимости функционального дерева в упорядочение степеней метрик.
1
2
3
4
5
6
7
«Краеведческие математические задачи».
23 марта 2019 года в Институте математики и механики им. Н.И. Лобачевского состоялась III Всероссийская молодежная школа-конференция на тему «Краеведческие математические задачи».

На конференции приняли участие школьники, прошедшие во второй тур III Конкурса краеведческих математических задач, объявленного в ноябре 2018 года. В конкурсе приняли участие около 70 школьников с 5 по 11 класс из городских и сельских школ 10 районов Республики Татарстан, а также из города Пензы и Тверской области Российской Федерации.

Работы участников были систематизированы по семи номинациям:

  • «Архитектура родного края»;
  • «Культурная жизнь моего города (района, села)»;
  • «Спортивные успехи моего города (района, села)»;
  • «История моего края»;
  • «Подвиг моего народа в годы Великой Отечественной войны»;
  • «География моего края»;
  • «Замечательные люди моей малой родины».
Решением конкурсной комиссии 40 работ прошли во второй очный тур. В ходе конференции участники и гости (учителя и родители учеников) «встретились» с историей Родного края выступающего школьника необычным образом. Были представлены исторические справки о памятных местах разных городов и сел, их интересных архитектурных, спортивных, географических особенностях, героях Великой Отечественной войны, знаменитых людях и математические задачи, составленные на основе этих материалов.

Результаты историко-математической деятельности школьников были опубликованы в сборнике материалов конференции. В него вошли работы победителей и призеров финального тура III Конкурса краеведческих математических задач. Приведенная в нем подборка тематических задач по математике для учащихся 5-11 классов общеобразовательных школ, гимназий, лицеев может представлять интерес для учителей и учащихся, студентов, обучающихся по направлению «Педагогическое образование», а также всех интересующихся математикой, преподаванием математики, историей и культурой Родного края.

Особо хочется отметить огромную роль учителей-наставников в подготовке своих учеников для участия в данном конкурсе. Благодаря их энтузиазму, творческому подходу и бесценному опыту в подготовке учеников к конкурсу задачи получились оригинальными, содержательными и полезными, а выступления учащихся интересными, яркими и увлекательными. Все участники конференции получили сертификаты, самые активные и достойные награждены дипломами I, II, III степеней.

Учителя, в свою очередь, отметили ценность проведенного конкурса, способствующего развитию творческих умений учащихся, воспитанию патриотических чувств, осознанию значимости математики в жизни. Использование элементов краеведения и истории родного края в курсе математики способствует формированию мотивации учения и личностных ценностей обучающихся, воспитанию в них чувства патриотизма, пониманию межпредметных связей, значимости математики в жизни. Благодаря знакомым с детства окружающим объектам-достопримечательностям, абстрактная математика становится более привлекательной, реальной и «земной». Познавательный интерес учащихся вызывается и поддерживается путем создания на занятиях проблемных ситуаций, самостоятельного поиска ими важных фактов окружающей жизни. Осуществить это можно благодаря формированию умения составлять сюжетные задачи, которое, в свою очередь, играет огромную роль в развитии математических способностей, творческого мышления и речи учащихся.
Учитель математики лицея № 116 г. Казани Васильева Е.А. отметила: «Уже третий раз мои ученики и я принимали участие в конкурсе краеведческих математических задач. Каждый раз удивляюсь творческому потенциалу учителей и таланту учеников. На мой взгляд, такие конкурсы являются мощным стимулом к проявлению этого.

Лично мне нравятся сюжетные линии в задачах, объединенные одной тематикой. И в этом году я увидела несколько таких выступлений.

В силу того, что данный конкурс стал всероссийским, то можно расширить круг тем, входящих в список предлагаемых.

Конкурс краеведческих математических задач полезен не только для расширения знаний по математике, но еще учащиеся кропотливо изучают исторический материал, выбирают из него интересные факты, раскрывая их через условие задач, да и мы – взрослые – узнаем много нового».
Учитель математики Осиновской гимназии Зеленодольского района Дудьянова Н.В.: «Интересный конкурс для ребят! Спасибо организаторам!».

Ценным для организаторов являются яркие впечатления, положительные эмоции, искренние отзывы и слова благодарности школьников.

Шарифуллина Азиля, 6 класс: «Мне очень понравилась конференция, доброжелательность, с которой встретили нас. Я узнала много нового и интересного. Хочу выразить благодарность организаторам. Надеюсь принять участие в следующем году».

Замалеева Амира, 5 класс: «Мне очень понравился этот конкурс тем, что он помог мне вызвать еще большую тягу к знаниям. Я узнала много нового. Спасибо большое!»

Горбачев Илья, 6 класс: «Мне очень понравился этот конкурс, так как это возможность не только показать себя, но и узнать других людей и услышать их мнения. Надеюсь принять участие в следующем году».

Нагимова Карина, Утаганова Амира: «Конкурс нам очень понравился тем, что мы узнали много нового о своей Родине, о других городах».

Кукин Владимир, 6 класс: «Мне понравился этот конкурс. Было очень интересно послушать других детей. Также понравилось жюри – очень доброе и компетентное».

Фардиева Илина, 5 класс: «Мне очень понравился конкурс, потому что я узнала много нового о своей деревне и научилась составлять интересные задачи».

Мухаметдинова Лиана, 8 класс: «Первый раз участвую в этом конкурсе. Мне он очень понравился, так как здесь проверяются не только математические знания, но и творческие способности. А также можно получить навыки ораторского искусства».

Калентьев Леонид, 8 класс: «Во второй раз участвую в конкурсе. Очень хорошие впечатления; это одна из самых лучших конференций, в которых я принимал участие. Тщательно готовился, так как это конференция проводилась в КФУ. В дальнейшем хочу поступить именно в этот вуз. Очень понравилось жюри, оно задает правильные вопросы и дает хорошие пожелания».
Также было интересным для нас услышать мнение волонтеров, которые оказали большую помощь в проведении конференции и оценивании работ участников. Так, студентка группы 05-604 3 курса Цыганова Дарья отметила: «Участие в организации и оценке работ участников подобных конференций дает шанс познакомиться с невероятным воображением детей, с творчеством и семейной, личной историей учеников. Все участники имели разный подход к своим задачам, тем не менее каждый смог объединить краеведческие сведения с математикой в своеобразной, интересной форме. Было приятно находиться в компании преподавателей кафедры, слышать их мнение относительно той или иной работы учащихся. Такие мероприятия определенно нужны и важны не только для школьников, но и студентов – будущих учителей».

Студентка той же 05-604 группы Кочнева Диана свои впечатления выразила в следующих словах: «В школе мне довелось быть участником очного тура конференции лишь единожды, и поэтому, когда я узнала о том, что есть возможность принять участие в Конкурсе краеведческих математических задач в качестве волонтера и эксперта жюри, незамедлительно согласилась и, что самое главное, ни разу об этом не пожалела. Это был незабываемый опыт: мне удалось взглянуть на данное мероприятие изнутри, узнать многие тонкости проведения. Все выступления были оригинальные и интересные, школьники очень ответственно подошли к выполнению работ, вложили в них свою душу. Видно, что ребятам нравится заниматься исследовательской деятельностью, и безумно приятно, что в этом начинании их поддерживают родители, учителя и наш университет. Отдельного внимания заслуживает высокий уровень организации конкурса, который обеспечила слаженная работа кафедры теории и технологий преподавания математики и информатики».
После завершения конференции школьникам представилась возможность посетить экспозицию Музея Н.И. Лобачевского в КФУ. Завершилось мероприятие приветственным словом директора Института математики и механики им. Н.И. Лобачевского Е.А. Туриловой и вручением дипломов победителям конкурса.

Оргкомитет конкурса выражает благодарность всем участникам конкурса, конференции и приглашает к дальнейшему сотрудничеству!
Состоялось совещание сотрудников Математического центра КФУ
В связи с возобновлением работы центра с 1 марта 2019 года, 28 февраля состоялось первое в 2019 году совещание сотрудников Математического центра.
Встречей руководил соруководитель Центра, профессор Марат Мирзаевич Арсланов. В начале совещания были обсуждены технические моменты возобновления работы: продления трудовых договоров, а также возможный найм новых сотрудников, после чего произошло обсуждение ближайших целей и задач, которые должен реализовать матцентр.

Ключевыми вопросами в рамках обсужедния оказались расширение образовательной составляющей математического центра и развитие новой лаборатории анализа данных в 2019 году. Руководителям профильных Лабораторий до 11 марта поручено оформить концепции развития направлений, подготовить смету, план работы и подать информацию о запланированных мероприятиях.

Лилиана Рафиковна Шакирова отметила, что, в целом, концепция уже разработана: помимо мероприятий, проводимых в прошлом году, планируется расширить работу с одаренными школьниками, со школьными
учителями специализированных школ и классов, а также открыть курсы олимпиадной подготовки при матцентре. Кроме того, планируется начать разработку массовых образовательных онлайн-курсов.

Руководителя Лаборатории математического образования
Что касается Лаборатории анализа данных, ее руководителю Мукадасу Дмухтасибовичу Миссарову поручено подготовить информацию по уже реализуемым и планируемым проектам, выполняемых лабораторией, а также подготовить пакет предложений для взаимодействия с Институтом фундаментальной медицины и биологии КФУ.

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

Также, в ходе совещания были рассмотрены вопросы о создании общегородского математического семинара.

Источник информации: Ильмир Валеев
1
Поздравление с юбилеем
Арсланова Марата Мирзаевича
Региональный научно-образовательный математический центр поздравляет с 75-летним юбилеем заведующего кафедрой алгебры и математической логики, доктора физико-математических наук, профессора, действительного члена Академии наук Республики Татарстан Арсланова Марата Мирзаевича. Желаем доброго здоровья, счастья и новых научных достижений Вам и Вашей научной школе!
В матцентре КФУ состоялся доклад
Шилова Николая Вячеславовича

13 февраля в рамках семинара Регионального научно-образовательного математического центра КФУ с докладом на тему "Платформенно-независимая спецификация и верификация стандартных математических функций" выступил к.ф.-м.н., доцент Университета Иннополис
(г. Иннополис) Шилов Николай Вячеславович.

В докладе было рассказано об основных шагах и результатах платформенно-независимой инкрементальной комбинированной спецификации и верификации стандартных математических функции квадратного корня и синуса. В настоящий момент автоматизированная верификация разработанных алгоритмов выполнена только частично: с использованием системы ACL2 доказано реализуемость (существование) чисел с фиксированной запятой и таблицы начальных приближений квадратного корня.
Поздравление с юбилеем Арсланова Марата Мирзаевича
Региональный научно-образовательный математический центр поздравляет с 75-летним юбилеем заведующего кафедрой алгебры и математической логики, доктора физико-математических наук, профессора, действительного члена Академии наук Республики Татарстан Арсланова Марата Мирзаевича. Желаем доброго здоровья, счастья и новых научных достижений Вам и Вашей научной школе!
Лекция Шеня Александра Ханиевича
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). Проведено интересное обсуждение (на уровне ректората и институтов, связанных с информатикой) возможных направлений сотрудничества университета Шеньженя с институтами Новосибирска (НГУ, Институт математики и Институт систем информатики СО РАН) и КФУ (Региональный математический центр, Институт математики и механики, Институт вычислительной математики и информационных технологий).