#матлог #наука #конференция

Ломоносовские чтения 2025, кафедра математической логики и теории алгоритмов

Научно-исследовательский семинар по математической логике
под руководством академика РАН Л. Д. Беклемишева и академика РАН А. Л. Семёнова

2 апреля 2025 г., среда, 18:30

Главное здание, сектор "А", ауд. 16-04

✅О теореме Гудман-Штрауса. Доклад профессора Верещагина Н. К.
✅О конструктивном исчислении предикатов. Доклад доцента Плиско В. Е.
✅Предикатные модальные логики ограниченной альтернативы. Доклад профессора Шехтмана В. Б.

➰ ВК