16
Календарь конференций
  • 15 – 17 марта

    VII Международная научная конференция «Текстология и историко-литературный процесс»

  • 20 – 23 марта

    VI Международный конгресс исследователей русского языка «Русский язык: исторические судьбы и современность»

  • 28 – 31 марта

    Выездная психологическая школа факультета психологии МГУ для старшеклассников

  • 27 – 31 мая

    Международная конференция «Фундаментальные концепции физики почв: развитие, современные приложения и перспективы», посвященная 90-летию со дня рождения профессора МГУ А.Д.Воронина

  • 28 – 31 мая

    Международная конференция, посвящённая 90-летию кафедры высшей алгебры механико-математического факультета МГУ

Все конференции
Конкурсы на замещение должностей научных и педагогических работников
Гранты Президента РФ
«Университет без границ»
Программы дополни-
тельного образования
Мероприятия для школьников и учителей
Олимпиады школьников и универсиады в МГУ
Единая поисковая система по зарубежным базам данных
21/02/2014

«Конструктивная теория доказательств»

20 февраля кафедра логики философского факультета МГУ провела Международную конференцию «Конструктивная теория доказательств», посвященную памяти А.Г. Драгалина.
Альберт Григорьевич Драгалин (1942-1998) — выдающийся отечественный математик и логик, один из ярчайших представителей конструктивного направления в математике и математического интуиционизма. Долгое время преподавал на механико-математическом факультете МГУ. Внес значительный вклад в налаживание контактов между логиками-математиками и логиками-философами в нашей стране. Неоднократно читал лекционные курсы для студентов, аспирантов и преподавателей кафедры логики, выступал с докладами как на конференциях по философской логике, так и на теоретическом семинаре кафедры логики.