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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Сроки:

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

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

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

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

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

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

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