Кафедра математической логики и теории алгоритмов
Кафедра математической логики и теории алгоритмов
Мехмат МГУ
Toggle navigation
О кафедре
Состав кафедры
История кафедры
Контакты
Презентации Prezi
Учеба
Лекции и семинары
Спецкурсы
Аспирантам
Литература
Наука
Научные семинары
Публикации (истина)
Дипломные работы
Диссертации
Конференции
Видео
Youtube-канал
Видео лекций и докладов
Выбор кафедры
Деятельность кафедры
Направления исследований
Задачи и открытые проблемы (призы!)
Сотрудникам кафедры
Темпоральная логика
Темпоральная логика — это круто!
Согласен! (админ)
Хорошо! (ЕЗ)
Состав кафедры