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

Доклад:

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

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

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

Студенты выпускных курсов! Группе компаний РУСАЛ требуются специалисты для внедрения диспетчерской системы производства.

Уважаемые студенты, обратите внимание на изменение ссылки для заказа справок об обучении!

Для заказа справок об обучении Вам необходимо перейти по ссылке и заполнить данные в гугл-таблицу, запись осуществляется до 17:00 с пн-пт. Для получения готовой справки дожидаемся отметки в колонке «отметка о готовности справки». Далее готовую справку можно будет забрать лично под подпись в будние дни с 09:30 до 10:30, с 13:30 до 14:30, либо с 15:30 до 16:30 рядом с кабинетом дирекции 34-03.

Доклад:

• Т.Ю. Зверева - Аксиоматизация одной временной полимодальной логики индуктивных фреймов (обзор статьи В.Ф. Юн). Часть 2

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

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

Доклад:

• Т.Ю. Зверева - Аксиоматизация одной временной полимодальной логики индуктивных фреймов (обзор статьи В.Ф. Юн).
• Е.А. Донец - Алгебры Гейтинга: табличные и предтабличные SIL.

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

• Башмаков С.И.
• Зверева Т.Ю.
• Донец Е.А.
• Ташкен А.О.
• Чубукова Г.В.
• Костенко Я.Ю.

Доклад:

• Е.А. Донец - Алгебры Гейтинга.
• А.И. Половинкина - Алгебры Ли типа F_4.

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

• Башмаков С.И.
• Зверева Т.Ю.
• Донец Е.А.
• Ташкен А.О.
• Чубукова Г.В.
• Костенко Я.Ю.

Всем мужчинам, поступившим на 1 курс бакалавриата и магистратуры ИМиФИ не позднее 21 сентября необходимо зарегистрироваться лично в военно-учётном отделе (второй отдел) СФУ.

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

Куда: пр. Свободный, 79, корпус 4, ауд. 42-19, тел.: 244-19-53, 246-98-51

Доклад:

• С.И. Башмаков - Алгебраическая семантика для суперинтуиционистских и модальных логик.

Семинар начинает работу в новом семестре в очной форме.
Днем проведения станет четверг.

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

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

Прикрепляем инструкцию по технике безопасности для ознакомления обучающихся.

Инструкция устанавливает требования по обеспечению безопасных условий перемещения и пребывания обучающихся на территории университета.

Заселение первокурсников, поступивших по программам бакалавриата (платно) ИМиФИ возможно с 31 августа согласно приложенным спискам.

Общежитие №3:- пр. Свободный, 83
Общежитие №26:- пр. Свободный, 76и

График работы сотрудников в общежитии на период заселения:

• понедельник - суббота с 08:30 до 17:00

...