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

Доклад:

Брылякова Е.В. - "Паранепротиворечивые логики Нельсона"

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

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

Доклад:

Поляков А.А. - "n-матрицы как семантика нетранзитивных модальных логик с ветвлениями"

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

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

Доклад:

Широков П.А. - "Подходы к подсчёту числа монотонных булевых функций от n переменных"

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

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

Доклад:

Смелых К.А. - "Model Checking для логики вычислительных деревьев"
Брылякова Е.В. - "Унитарный тип унификации для L3: гипотеза"
Поляков А.А. - "Подходы к оценке двухмерного кортежа в LTL.sl"

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

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

Доклад:

Поляков А.А. - "Матричные кортежи для характеризации Alt_n. Часть 2"

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

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

Доклад:

Поляков А.А. - "Матричные кортежи для характеризации Alt_n"

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

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

Доклад:

Бушакова Ю.А. - "Полнота классического исчисления"
Брылякова Е.В. - "Унитарная унификация в линейных логиках"

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

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

Доклад:

Бушакова Ю.А. - "Алгебра термов"

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

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

Доклад:

Башмаков С.И. – Вводный доклад: задачи на семестр. Итоги секции V Конференции математических центров.
Брылякова Е.В. – Унификация в логике L3: перспективы улучшение типа унификации.
Поляков А.А. – Кортежная семантика для ветвящихся логик.

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

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

Доклад:

Зверева Т.Ю. - Унификация классе ступенчатых логик: проективность по Гиларди.
Смелых К.А. - Автоматная семантика для временных логик.

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

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