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

Доклад:

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

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

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

Доклад:

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

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

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

Доклад:

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

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

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

Доклад:

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

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

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

Доклад:

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

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

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

Доклад:

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

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

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

Доклад:

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

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

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

Доклад:

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

Дата: 16.11.2023.

Доклады:

Литаврин Андрей Викторович — О биполярной классификации эндоморфизмов группоидов.

Нужин Яков Нифантьевич — О замкнутости ковров аддитивных подгрупп над коммутативными кольцами.

Дата: 21.09.2023.

Доклад:

Гончаров Сергей Савостьянович (ИМ СО РАН, г. Новосибирск) — Название доклада TBA.

Дата и время: 30.06.23, 13:00.