Курс «Гомотопическая теория типов»
МФТИ — Московский физико-технический институт ·
Гомотопическая теория типов (ГТТ) в большой степени создана и разработана В.А. Воеводским в связи с компьютеризацией proof-assistance и proof-checking. В дальнейших работах Воеводского с соавтором развивались другие идеи Гротендика, и обзор этих работ также будет представлен; в частности, будет рассказано о доказательстве Воеводским гипотезы Милнора, удостоенной Филдсовской премии. О курсе Курс будет посвящён изложению одного из современных подходов к основаниям математики, ориентированного на компьютеризованные создание и верификацию определений, формулировок теорем и доказательств. Курс дает практические навыки и теоретические основы для внедрения систем Искусственного Интеллекта в деятельность математика. Для кого Для студентов начиная с 3-го курса. Преподаватель Георгий Борисович Шабат, д.ф.-м.н, профессор РГГУ и Независимого Московского Университета. Расписание Курс начинается 15 сентября. Занятия будут проходить очно в аудитории 412ГК с 18:40. Дополнительная информация Шабат Георгий Борисович, george.shabat@gmail.com
Гомотопическая теория типов (ГТТ) в большой степени создана и разработана В.А. Воеводским в связи с компьютеризацией proof-assistance и proof-checking. В дальнейших работах Воеводского с соавтором развивались другие идеи Гротендика, и обзор этих работ также будет представлен; в частности, будет рассказано о доказательстве Воеводским гипотезы Милнора, удостоенной Филдсовской премии. О курсе Курс будет посвящён изложению одного из современных подходов к основаниям математики, ориентированного на компьютеризованные создание и верификацию определений, формулировок теорем и доказательств. Курс дает практические навыки и теоретические основы для внедрения систем Искусственного Интеллекта в деятельность математика. Для кого Для студентов начиная с 3-го курса. Преподаватель Георгий Борисович Шабат, д.ф.-м.н, профессор РГГУ и Независимого Московского Университета. Расписание Курс начинается 15 сентября. Занятия будут проходить очно в аудитории 412ГК с 18:40. Дополнительная информация Шабат Георгий Борисович, george.shabat@gmail.com