Шангин Василий Олегович
Доцент · Кафедра логики
Учёная степень: канд. филос. наук Окончил философский факультет МГУ (2000), аспирантуру каф. логики (2003). Стажировался в университете им. А. Мицкевича (Познань, Польша) у А.Вишневского. Работает на кафедре с 2010 г. Кандидатская диссертация - "Автоматический поиск натурального вывода в классической логике предикатов " (2004); научный руководитель – проф. Бочаров В.А. Область научных интересов: автоматический вывод в классической и неклассической логиках, эротетическая логика, теория сложности. Основные научные результаты: совместно с А. Вишневским построил первопорядковую формализацию для доказательственной логики вопросов. в коллективе авторов построил системы натурального вывода для классической и неклассических (интуиционистской, временной, паранепротиворечивой и т.д.) логик, алгоритмы поиска вывода в них и предложил метод доказательства теоремы корректности для данных алгоритмов.
Информация о преподавателе взята из открытого источника — официального сайта вуза. Это общедоступные данные.
Материалы
Конспекты, билеты и заметки от студентов — что помогает подготовиться к этому преподу
Отзывы студентов
На этого преподавателя пока нет отзывов.
Коллеги по кафедре: Кафедра логики
Другие преподаватели МГУ
Читаешь про преподов МГУ, а сам ещё не поступил?
Проходные баллы по направлениям, сколько стоит контракт, дают ли общагу и сколько бюджетных мест — собрали на одной странице. Без пафоса дня открытых дверей: цифры и то, что про них говорят студенты.
Как поступить в МГУ