#матлог #учёба #просеминар

💥В четверг 15 мая на просеминаре по математической логике и информатике будет тема "Логика финитных задач (логика Медведева)" (Яна Захарова, студентка кафедры).

💯Аннотация. Доклад будет посвящен обзору логики финитных задач. Логика задач была предложена А.Н. Колмогоровым как попытка дать истолкование интуиционистской логики в рамках стандартных математических понятий. Ученик Колмогорова Ю.Т.Медведев описал формализацию логики задач, в которой задача мыслится как пара конечных множеств (все решения, правильные решения). При этом истинные логические формулы отождествляются с "всегда разрешимыми задачами".

✅Просеминар проходит по четвергам в 16:45-18:20 в аудитории 436 (2 гуманитарный корпус).
✅По просьбам участников создан чат просеминара в телеграме: https://t.me/+8lzSUf8ghLAzMjRi.
✅Информацию о просеминаре можно найти на странице logic.math.msu.ru/proseminar/.

➰ ВК