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

Доклад:

Смелых К.А. - Разрешимость логик.

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

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• Зверева Т.Ю.
• Донец Е.А.

Доклад:

Смелых К.А. - Разрешимость для логики деревьев вычислений с агентами.
Брылякова Е.В. - К вопросу об определении эквивалентности унификаторов.

В рамках семинара оглашены дипломанты семинара 2022-2023 гг. за самое активное участие в его проведении:

• Брылякова Елизавета Валерьевна
• Мукосий Александр Алексеевич
• Поляков Александр Алексеевич
• Смелых Кирилл Александрович

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

• Башмаков С.И.
• Мукосий А.А.
• Поляков А.А.

Доклад:

Поляков А.А. - Примеры сравнимых унификаторов нетранзитивных логик.
Смелых К.А. - Свойство конечной модели логики CTLK.
Брылякова Е.В. - Диаграммы унификаторов.

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

• Башмаков С.И.
• Мукосий А.А.
• Донец Е.А.

Доклад:

Поляков А.А. - Примеры унификаторов в некоторых нетранзитивных логиках.

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

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• Смелых К.А.
• Донец Е.А.

Доклад:

Поляков А.А. - Унификационные вопросы нетранзитивных логик.

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

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• Смелых К.А.
• Донец Е.А.

Доклад:

Поляков А.А. - Кортежная семантика модальных логик. Часть 2.
Смелых К.А. - Машины Минского.

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

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• Донец Е.А.

Доклад:

Брылякова Е.В. - Предупорядоченные множества унификаторов в интуиционистской логике.
Поляков А.А. - Кортежная семантика модальных логик. Часть 1.

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

• Башмаков С.И.
• Мукосий А.А.
• смелых К.А.
• Зверева Т.Ю.
• Донец Е.А.

Доклад:

Поляков А.А. - Решётка псевдобулевых алгебр.

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

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• смелых К.А.
• Зверева Т.Ю.
• Донец Е.А.

Доклад:

Поляков А.А. - Псевдобулевы алгебры.

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

• Башмаков С.И.
• Мукосий А.А.
• Брылякова Е.В.
• смелых К.А.
• Зверева Т.Ю.

Доклад:

Созутов Анатолий Ильич — Об одном классе простых алгебр Ли.

Дата: 16.11.2023.