779-е заседание

Доклады:

    Голованов Михаил Иванович — Группы Бернсайда простого периода.
    Дата: 08.02.24.

778-е заседание

Доклады:

    Самсонов Алексей Сергеевич (г. Москва) — Арифметические свойства элементов прямых произведений полей с неархимедовыми нормированиями (кандидатская диссертация).
    Юденкова Екатерина Юрьевна (г. Москва) — Арифметические свойства значений обобщенных гипергеометрических рядов в полиадических лиувиллевых точках (кандидатская диссертация).
    Дата: 25.01.24.

777-е заседание

Доклад:

    Дураков Борис Евгеньевич, Созутов Анатолий Ильич — Группы, насыщенные конечными группами Фробениуса.
    Дата: 18.01.2024.

Annual 6th Krasnoyarsk Logical Workshop (14.Jan.24): Dedicated to the 6th World Logic Day

Время: 
16:30
Место: 
пр. Свободный, 79, ауд. 34-17 + Online

The 6th annual (International) Krasnoyarsk Logical Workshop, dedicated to the World Logic Day, took place on January 14th.

What is special about January 14th?

  • January 14 - New Year according to the Julian calendar;
  • January 14, 1901 - the birthday of Alfred Tarski;
  • January 14, 1978 - the day of the death of Kurt Gödel.

Like last year, this year we again hold it in a mixed format.

  • everyone could take part in full-time participation in the seminar without prior registration in room 34-17 of the Institute of Mathematics and Computer Science of the Siberian Federal University (Krasnoyarsk, Svobodny ave., 79).
  • online participation is possible with pre-registration. The link to the event will be available only to registered participants.

Participation was available to everyone (including junior students).

Recall that the first workshop in support of Jean-Yves Béziau's initiative to recognize January 14 as World Logic Day took place in 2019. In 2020-22 it has been held as an official even of the World Logic Day project of UNESCO through CIPSH (Conseil International de Philosophie et des Sciences Humaines):
2nd Krasnoyarsk Logical Workshop
3rd Krasnoyarsk Logical Workshop
4th Krasnoyarsk Logical Workshop
Last year, our workshop became international.

The event was supported by Department of Algebra and Mathematical Logic and Krasnoyarsk Mathematical Center. Information and technical support for the event is traditionally provided by IM&CS Youth Center.

Applications for participation with a report were accepted until January 13, 18:00 local time (CET+6).

Поздравление директора Ольги Николаевны Черепановой с Новым 2024-м годом

Дорогие друзья! Впереди нас ждут новые свершения и новые испытания.

Желаю вам стойкости и желания двигаться вперед.

С праздником, с Новым 2024 годом!

Не стало Георгия Петровича Егорычева

Георгий Петрович родился в Свердловске (ныне Екатеринбург), в 1938 году. Там же в 1960 году он окончил специалитет механико-математического факультета Уральского госуниверситета, в 1965 — аспирантуру, а в 1967 году стал кандидатом наук.

С 1962 года он прошёл путь от ассистента до профессора ВАК и ведущего научного сотрудника. В 1983 году он защитил докторскую диссертацию по специальности «Математическая кибернетика», был организатором и первым заведующим кафедры прикладной математики КГУ, создателем Высшей математической школы для инженеров Красноярска.

Благодаря Георгию Петровичу на базе КГТУ была открыта кафедра МОДУС, профессором которой он и оставался до конца своих дней.

Научные результаты Георгия Петровича в различных областях математики получили широкое признание в России и за рубежом, в ранге классических входя в ряд учебников и монографий по всему миру. В 1982 году, совместно с Д.И. Фаликманом, Георгий Петрович был удостоен самой престижной международной награды в области дискретной математики — премии им. Фулкерсона. За свою долгую и продуктивную жизнь, он был организатором многих престижных научных конференций и членом нескольких диссертационных советов, почётным членом Американского математического общества. Вклад профессора Егорычева в развитие математики и математических школ Красноярска невозможно переоценить.

Прощание состоится 29 декабря (пятница) с 13.30 до 14.00 в Зале прощания. Адрес: Ремесленная 45/20 (Бадалык).

Не стало Бориса Константиновича Дуракова

Дураков Борис Константинович после окончания в 1971 году Красноярского государственного университета по специальности «Математика» учился в аспирантуре, по завершении учебы в 1974 году был принят на работу на кафедру высшей математики Красноярского государственного политехнического института. Этой кафедрой высшей математики КПИ, позднее Красноярского государственного технического университета, позднее кафедрой высшей математики №2 Сибирского федерального университета он заведовал с 1985 года и до последних дней.

В 1976 г. защитил кандидатскую диссертацию в Институте математики СО АН СССР на тему «Конечные группы с заданными централизаторами элементов порядка 3» под руководством Виктора Михайловича Бусаркина. В 1980 г. присвоено ученое звание доцент. В 1998 г. – присвоено ученое звание профессор Красноярского технического университета, в 2006 - профессор ВАК. Под руководством Б.К. Дуракова защищены две кандидатские диссертации, опубликованы учебные пособия. Подготовленный Борисом Константиновичем учебник «Краткий курс высшей алгебры» с грифом Министерства образования и науки напечатан издательством Физматлит (Москва: Наука) в 2006 году. Дополненный учебник «Краткий курс высшей алгебры и аналитической геометрии» объемом 422 стр. издан в Сибирском федеральном университете в 2017 году. Всего им опубликовано более 85 научных и учебно-методических работ.

Восемь лет Б. К. Дураков работал заместителем декана теплоэнергетического факультета КПИ (КГТУ). С 1997 года возглавлял Управление по довузовской подготовке и набору и Центр тестирования КГТУ. Для организации проведения централизованного тестирования и региональной олимпиады для абитуриентов под руководством Б.К. Дуракова на территории Красноярского края было создано около 120 опорных пунктов тестирования, в которых было проведено более 250000 тестирований выпускников общеобразовательных учреждений края. По количеству тестирований, качеству обработки и доставки информации Центр тестирования КГТУ занимал лидирующее положение в России. Затем, на базе Центра тестирования, последовало создание в КГТУ Регионального Центра обработки информации Единого государственного экзамена, которым также руководил Б.К. Дураков. Проведен масштабный четырехлетний цикл эксперимента по введению ЕГЭ.

В 2000 году Б. К. Дураков награжден почетной грамотой Министерства образования Российской Федерации, а в 2002 году второй грамотой Минобразования России. В 2004 году группа специалистов из Управления по довузовской подготовке и набору под руководством Б. К. Дуракова разработала и внедрила Краевую информационную автоматизированную систему управления образованием (КИАСУО). Эта система была запущена в эксплуатацию во все общеобразовательные учреждения Красноярского края. КИСУО демонстрировалась на Федеральных конференциях по информатизации образования, получила высокую оценку со стороны специалистов Министерства образования и науки РФ.

Под руководством Бориса Константиновича и при его непосредственном участии подготовлен ряд учебных изданий, в том числе электронных, создана и успешно функционирует система тестирования с автоматической обработкой получаемой информации.

Борис Константинович был не только выдающимся руководителем и организатором. В своей семье он воспитал два поколения математиков – детей и внуков, грамотных преподавателей и исследователей. Среди его учеников и студентов – кандидаты и доктора наук, директора институтов Сибирского федерального университета. Талант учителя и руководителя, активная жизненная позиция, принципиальность и человеческая теплота обеспечили Борису Константиновичу любовь и уважение коллег и многочисленных друзей. Его любили и уважали, ему доверяли, им гордились.

Светлая память другу и учителю.

Информация о дате и месте прощания будет добавлена чуть позже.

Заседание №104 (16 декабря 2023 г.)

Время: 
17:00
Место: 
пр. Свободный, 79, ауд. 34-10

Доклад:

    Смелых К.А. - Разрешимость логик.

Участники семинара:

  • Башмаков С.И.
  • Мукосий А.А.
  • Брылякова Е.В.
  • Зверева Т.Ю.
  • Донец Е.А.

Заседание №103 (23 ноября 2023 г.)

Время: 
17:00
Место: 
пр. Свободный, 79, ауд. 34-10

Доклад:

    Смелых К.А. - Разрешимость для логики деревьев вычислений с агентами.
    Брылякова Е.В. - К вопросу об определении эквивалентности унификаторов.

В рамках семинара оглашены дипломанты семинара 2022-2023 гг. за самое активное участие в его проведении:

  • Брылякова Елизавета Валерьевна
  • Мукосий Александр Алексеевич
  • Поляков Александр Алексеевич
  • Смелых Кирилл Александрович

Участники семинара:

  • Башмаков С.И.
  • Мукосий А.А.
  • Поляков А.А.

Заседание №102 (16 ноября 2023 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-10

Доклад:

    Поляков А.А. - Примеры сравнимых унификаторов нетранзитивных логик.
    Смелых К.А. - Свойство конечной модели логики CTLK.
    Брылякова Е.В. - Диаграммы унификаторов.

Участники семинара:

  • Башмаков С.И.
  • Мукосий А.А.
  • Донец Е.А.

© 2023 Институт математики
и фундаментальной информатики СФУ

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram