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

Тема: "Об алгоритмах экономичного перемножения матриц".
Докладчик: Шайдуров В.В.

Тема: "Многошаговые линейные методы. Тесты для задачи о круговом движении.".
Докладчик: Адаев И.Р. / Карепова Е.Д.

Тема: "Об алгоритмах экономичного перемножения матриц".
Докладчик: Шайдуров В.В.
Тема: "Многошаговые линейные методы. Тесты для задачи о круговом движении".
Докладчик: Карепова Е.Д.

9 декабря начинается очередной заезд в санаторий-профилакторий СФУ, расположенный по адресу ул. Киренского, 11Б.

Для получения путевки студентам, обучающимся очно на бюджетной и внебюджетной основе (бесплатно один раз в календарный год), необходимо получить справку ф. № 070/у и санаторно-курортную карту ф № 072/у в Медицинском центре СФУ-ФМБА России (пр. Свободный, 82, стр. 13) или в поликлинике по месту прикрепления.

Перечисленные документы принимают в кабинете профкома СФУ по адресу:
пр. Свободный, 79, ауд. 14-06.

Подробнее о Студенческом санатории-профилактории

30 ноября 2019 года в СФУ пройдет лекция-тренинг «5G – современные стандарты связи» в рамках лекционной программы IX Всероссийского фестиваля науки NAUKA 0+. Организатор встречи компания «Huawei Россия». К участию приглашаются студенты 3-4 курсов бакалавриата и студенты всех курсов магистратуры. Специальности и направления обучения: IT, радиотехника и электроника, электроника, телекоммуникации, системы связи и др.

Леонтьев Владимир Маркович (кафедра алгебры и математической логики ИМиФИ СФУ) докладывает новые результаты исследований:
Леонтьев В.М. - «L-условия»

Аннотация доклада:
На семинаре докладчиком будут представлены новые результаты разработки собственного комбинаторного аппарата, связанного с функцией бинарного веса целого неотрицательного числа, который позволяет эффективно вычислять показатели степеней коммутаторов в собирательной формуле Холла. Разрабатывается подход к преобразованию существующих выражений к холловскому типу. Планируется применить методы семантики логических систем, аппарат теории групп и универсальной алгебры.

Основные понятия: показатели степеней коммутаторов, холловский тип, собирательная формула

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

• Башмаков С.И. (АиМЛ ИМиФИ СФУ),
• Колесников С.Г. (СибГУ),
• Бабенышев С.В. (Академия МЧС),
• Римацкий В.В. (ВиПМ ИМиФИ СФУ),
• Голованов М.И. (ВиИТ ИМиФИ СФУ).

Тема:
Зверева Т.Ю. - "Синтаксис классического пропозиционального исчисления".
Родюшкин А.И. - "Позитивная классическая логика".

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

• Башмаков С.И.
• Зверева Т.Ю.
• Родюшкин А.И.

Тема:
Башмаков С.И. - "Полнота классической логики".

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

• Животова Е.П.
• Данилов Д.В.
• Зверева Т.Ю.

Объявлен прием заявок на получение повышенной государственной академической стипендии ПГАС) в весеннем семестре учебного года.

Номинации в которых подаются достижения:

• учебная
• научно-исследовательская
• общественная
• культурно-творческая
• спортивная

Все достижения и заявка оформляются в личном кабинете студента на портале "Мой СФУ".

Сроки:

• до 20 ноября принимаются на верификацию достижения, полученные в период с 01.11.2018 по 31.10.2019;
• до 30 ноября оформляются заявки в любых номинациях.

Тема: Подготовка заявки в Комплексную научно-техническую программу «Глобальные информационные спутниковые системы».
Проект: Разработка базового программного обеспечения для формирования высокоточной эфемеридно-временной информации
Докладчик: Карепова Е.Д.

Тема: "Определение координат перегрева на плате".
Докладчики: Чжан Е.А., Корнеева А.А., Шайдуров В.В.