Оноприенко А.А. | Семинар 6 по Введению в Математическую логику | МехМат МГУ

6 Аксиомы и правило вывода классической логики высказыванийПодробнее

Оноприенко А.А. | Семинар 5 по Введению в Математическую логику | МехМат МГУПодробнее

Кудинов А.В. Элементы математической логики, 25.11.2022Подробнее

Оноприенко А.А. | Семинар 4 по Введению в Математическую логику | МехМат МГУПодробнее

Оноприенко А.А. | Семинар 3 по Введению в Математическую логику | МехМат МГУПодробнее

Семинар по квантовым группам. Встреча 6. Пятов П. Н. Сапонов П. А.Подробнее

Проективная алгебраическая геометрия 2. Семинар 6. Артамкин И. В. Тихомиров А. С.Подробнее

Старостин М.В. - Теория дискретных функций. Семинары - 7. Функции К-значной логики. Часть 1Подробнее

Кудинов А.В. Элементы математической логики, 30.09.2022Подробнее

Саватеев Ю.В. Секвенциальные исчисления с нефундированными выводами для логик Гжегорчика 21.11.2018Подробнее