Заседание №84 (20 октября 2022 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-10

Доклад:

    Е.В. Брылякова - Табличное исчисление для классической логики.

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

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

Заседание №83 (13 октября 2022 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    А.А. Мукосий - Метод фильтрации для логики Иогансона. Часть 2.

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

  • Смелых К.А.
  • Зверева Т.Ю.
  • Башмаков С.И.

Заседание №82 (29 сентября 2022 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    А.А. Мукосий - Метод фильтрации для логики Иогансона.

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

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

Заседание №81 (22 сентября 2022 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    С.И. Башмаков - Свойства отношений на множествах унификаторов.

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

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

Заседание №80 (9 сентября 2022 г.)

Время: 
12:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    С.И. Башмаков - К задачам текущего года. Реляционная семантика, теория унификации, разрешимость.

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

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

Заседание №79 (20 июля 2022 г.)

Время: 
17:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    К.А. Смелых - Семантика бесконечных автоматов для временных логик.

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

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

Заседание №78 (30 июня 2022 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    Е.В. Брылякова - Семантические свойства логики Int.

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

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

Заседание №77 (25 июня 2022 г.)

Время: 
10:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    Т.Ю. Зверева - Семантика ступенчатой временной многоагентной логики.

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

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

Заседание №76 (11 июня 2022 г.)

Время: 
12:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    М.И. Корнилова - Интуиционистская логика.

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

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

Заседание №75 (4 июня 2022 г.)

Время: 
16:00
Место: 
пр. Свободный, 79, ауд. 34-17

Доклад:

    М.И. Корнилова - Семантика и свойства логики POS.

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

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

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

+7 (391) 206-21-48    math@sfu-kras.ru    VK   Telegram