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

Доклады:

• Е.А. Донец - «Унификация в языке классической логики»

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

• Башмаков С.И.
• Зверева Т.Ю.
• Донец Е.А.
• Ташкен А.О.

С 02.11.2020 в институте возобновляется образовательный процесс в смешанном режиме:

• студенты 1 и 2 курсов бакалавриата - продолжают обучение в очном формате (за исключением дисциплин, полностью переведенных в дистанционный формат)
• студенты 3 курса – переходят на обучение в смешанном режиме (очно по верхней неделе, по нижней неделе - в дистанционном формате, неделя с 02.10.2020 - дистанционно);
• студенты 4 курса – переходят на обучение в смешанном режиме (в дистанционном формате по верхней неделе, по нижней неделе – очно, неделя с 02.10.2020 - очно);
• студенты магистратуры – переходят на обучение в очном режиме (за исключением дисциплин, полностью переведенных в дистанционный формат).

Региональный научно-образовательный математический центр «Красноярский математический центр» Сибирского федерального университета приглашает учителей Красноярского края, работающих в профильных классах общеобразовательных учреждений с углублённым изучением математики на бесплатные курсы повышения квалификации: "Избранные вопросы подготовки учащихся 10-11 классов к ЕГЭ по профильной математике".

Уважаемые студенты 2-4 курсов бакалавриата и 2 курса магистратуры!
Необходимо срочно сдать в деканат зачётные книжки для сверки и заполнения результатов промежуточных аттестаций и пересдач.

В ноябре на базе МГУ в дистанционном формате пройдет традиционная Международная научная конференция студентов, аспирантов и молодых ученых «Ломоносов»

Для участия в конференции приглашаются студенты, аспиранты, соискатели и молодые ученые любой страны мира в возрасте до 35 лет (включительно).

Приём тезисов через электронную регистрацию на сайте до 25 октября 2020 года (включительно).

В рамках конференции работают секции:

• Математика и механика
• Вычислительная математика и кибернетика

Напоминаем (см. новость на сайте от 03.07.2020), что начиная с этого учебного года, аттестация по летним практикам на 1, 2, 3 курсах бакалавриата и 1 курсе магистратуры будет проходить следующим образом

• до 31 октября - первая аттестация;
• до 30 ноября - вторая аттестация (первая пересдача);
• до 20 декабря - третья аттестация (пересдача с комиссией).

Студентам, не сдавшим зачет по практике на первой аттестации, будет отменена стипендия с 1 ноября.
Студенты, на сдавшие зачет с комиссией в декабре, будут отчислены. Данные сроки закреплены приказом и не будут меняться.

Ранее (в предыдущие учебные годы) аттестация по практике входила в зимнюю экзаменационную сессию. Пересдачи проходили в весеннем семестре.

Доклады:

• Т.Ю. Зверева - «Аксиоматизация многомодальной LTKr (обзор статьи А.Н. Лукьянчук)»

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

• Башмаков С.И.
• Зверева Т.Ю.
• Донец Е.А.
• Ташкен А.О.

В целях реализации приказа ректора от 26.08.2020 №871 «Об организации образовательного процесса с 01.09.2020» и в связи с угрозой распространения новой коронавирусной инфекции образовательный процесс полностью переносится в удаленный формат:
- для студентов 3 курса с 07.10.2020 по 25.10.2020;
- для студентов 4 курса, 1 и 2 курсов магистратуры с 07.10.2020 по 01.11.2020.

1 и 2 курс бакалавриата продолжают обучаться в прежнем режиме.

В связи с тем, что с 05.10.2020 дисциплины «Физическая культура и спорт» и «Прикладная ФКиС» будут проходить в дистанционном формате (подробности на сайте ИФКСиТ) внесены изменения в расписание занятий.

Семинар однократно перенесен на пятницу и пройдет в формате long-play-марафона

Доклады:

• Е.А. Донец - «Предтабличные расширения интуиционистской логики (обзор статьи Л.Л. Максимовой). Часть 2»
• Т.Ю. Зверева - «Аксиоматизация линейной логики знания с нетранзитивным временным отношением»

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

• Башмаков С.И.
• Зверева Т.Ю.
• Донец Е.А.
• Ташкен А.О.