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

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

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

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

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

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

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

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

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

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

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

Сроки:

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

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

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

Тема: "Новые подходы к поиску общих подпоследовательностей в символьных последовательностях".
Докладчики: Садовский М.Г., Шайдуров В.В.

Тема: "Термоэлектрические измерительные сети".
Докладчики: Шайдуров В.В., Корнеева А.А., Макуха А.В.

Тема: "Класс тестов для высокоточных численных методов интегрирования дифференциальных уравнений движения по эллиптической орбите НКА".
Докладчик: Киреев И.В.

Тема: "Применение симметричных многошаговых методов для расчета задач движения НКА".
Докладчик: Новиков А.Е.

Тема: "Численная аппроксимация модели американского опциона с использованием полулагранжева подхода".
Докладчик: Ефремов А.А.