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

Доклад:

• А.А. Мукосий - Расширения логик. Виды трансляций. Допустимые правила.
• М.И. Корнилова - Логика POS. Теорема дедукции.

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

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.
• Брылякова Е.В.
• Богданович М.С.

.

Доклад:

• А.А. Мукосий - Расширения логик. Трансляции CL+/CL.

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

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Анай-оол О.М.

.

Доклад:

• С.И. Башмаков - Исчисление CLuN. Связь понятия дедуктивной системы и логики.

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

• Смелых К.А.
• Зверева Т.Ю.
• Мукосий А.А.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Проценко Н.А.

.

Доклад:

• С.И. Башмаков - Позитивный фрагмент классического исчисления CL+.

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

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Проценко Н.А.

.

Доклад:

• С.И. Мукосий А.А. - Дедуктивные системы CL+, CLuN.

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

• Смелых К.А.
• Зверева Т.Ю.
• Башмаков С.И.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Проценко Н.А.

Доклад:

• С.И. Башмаков - Дедуктивные системы: выводимость, замкнутость.

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

• Смелых К.А.
• Зверева Т.Ю.
• Мукосий А.А.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.
• Проценко Н.А.

Доклад:

• С.И. Башмаков - Введение в неклассические логики.

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

• Смелых К.А.
• Зверева Т.Ю.
• Мукосий А.А.
• Брылякова Е.В.
• Корнилова М.И.
• Богданович М.С.
• Камышев Н.Л.

Доклад:

• А.А. Мукосий - Слабая и сильная полнота CL.

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

• Башмаков С.И.
• Зверева Т.Ю.
• Смелых К.А.

Дорогие абитуриенты! В 2022 году Институт математики и фундаментальной информатики объявляет набор на очную форму обучения по программам бакалавриата и магистратуры.

БАКАЛАВРИАТ:
130 бюджетный мест на три направления:

• «Математика» - 20;
• «Прикладная математика и информатика» - 50;
• «Математика и компьютерные науки» - 60.

Вступительные испытания:

1. математика;
2. информатика и ИКТ/физика;
3. русский язык.

МАГИСТРАТУРА:
94 бюджетных места по направлениям:

• «Комплексный анализ» - 13;
• «Алгебра, логика и дискретная математика» - 13;
• «Математическое моделирование» - 15;
• «Прикладная математика и информатика в гуманитарных и социально-экономических науках» - 13;
• «Математическое и компьютерное моделирование» - 20;
• «Вычислительная математика» - 20.

Вступительный экзамен - математика (письменно) - пройдёт 3 августа на выбор: в очной или дистанционной форме.

Подать документы в этом году можно четырьмя разными способами:

1. лично в Библиотеке СФУ;
2. дистанционно в личном кабинете поступающего АИС «Абитуриент»;
3. через портал Госуслуг;
4. через операторов почтовой связи.

Актуально о ходе приёмной кампании и жизнь нашего института в telegram-канале.

Сибирское математическое общество и Математический центр в Академгородке объявляют очередной ежегодный Лаврентьевский конкурс 2022 года студенческих и аспирантских научных работ по математике и механике.

К участию в конкурсе приглашаются студенты и магистранты вузов Сибири и Дальнего Востока, аспиранты, специализирующиеся в области математики и механики.

На конкурс принимаются опубликованные в 2021/2022 учебном году статьи, доклады на конференциях, дипломные работы и диссертации, представляемые к защите в 2022 году, а также рукописи неопубликованных работ. Авторы лучших работ будут поощрены премиями и/или приглашены к участию в работе воркшопа Математического центра в Академгородке летом 2022 года.

Для участия в конкурсе необходимо предоставить следующее:

• Электронная версия работы в формате pdf.
• Аннотация работы в формате pdf.
• Представление кафедры или научного руководителя с указанием кафедры, курса или года обучения в аспирантуре в формате pdf или jpeg.

Работы на конкурс следует подавать в электронном виде (в теме сообщения следует написать «На конкурс Лаврентьева») Швидефски Марине Владимировне m.schwidefsky@g.nsu.ru

Срок подачи работ на конкурс – до 30 июня 2022 года (включительно). Результаты конкурса будут подведены летом 2022 года. Уточняющие вопросы можно задать С.И. Башмакову.

Памятка соискателя.