• A
  • A
  • A
  • АБВ
  • АБВ
  • АБВ
  • А
  • А
  • А
  • А
  • А
Обычная версия сайта
Владение языками
английский
Контакты
Телефон:
+7(495) 772-9590 *15304
Электронная почта:
Адрес: Усачева ул., д. 6, каб. 417
Время присутствия: по договоренности в пятницу с 18:30 до 20:00
Расписание
Резюме (PDF, 75 Кб)
SPIN РИНЦ: 5794-2502
ORCID: 0000-0002-2949-0600
ResearcherID: F-7814-2013
Scopus AuthorID: 6602096489
Google Scholar
Руководитель
Тиморин В. А.
Версия для печати

 

Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!

Беклемишев Лев Дмитриевич

  • Начал работать в НИУ ВШЭ в 2011 году.

Образование, учёные степени и учёные звания

  • 2006
    Член-корреспондент РАН
  • 1998
    Доктор физико-математических наук
  • 1992
    Кандидат физико-математических наук
  • 1989

    Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика»

Яндекс-профессор

Научные интересы

Математическая логика, теория доказательств, формальная арифметика, логика доказуемости, модальная логика

Достижения и поощрения

Выпускные квалификационные работы студентов

Полный список ВКР

Учебные курсы (2017/2018 уч. год)

Учебные курсы (2016/2017 уч. год)

Учебные курсы (2015/2016 уч. год)

Учебные курсы (2014/2015 уч. год)

Учебные курсы (2013/2014 уч. год)

Учебные курсы (2012/2013 уч. год)

Учебные курсы (2011/2012 уч. год)

Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 1-й курс, 1, 2 модуль)Рус

Участие в редколлегиях научных журналов

  • Член исполнительного комитета Ассоциации символической логики (ASL)

    Член экспертного совета ВАК

  • С 2008г.: член редколлегии журнала «Archive for Mathematical Logic».

  • С 2008г.: член редколлегии журнала «Известия Российской академии наук. Серия математическая».

Публикации29

Персональная страница


Текущие научно-исследовательские гранты

1) Разработка новых методов изучения интегрируемых систем и пространств модулей в геометрии, топологии и математической физике, 2011г. ТЗ- 78-0, Правительство России, исполнитель
 2) Логико-математические исследования и алгоритмы (РФФИ 08-01-00963_a,
 11-01-00947_а), 2008-2010 и с 2011 по наст. вр.  (исполнитель)
 3) Исследования вопросов сложности вычислений и доказательств в  математической логике, алгебре и информатике. РФФИ 09-01-12163-офи_м,  исполнитель, 2009-10
 4) Применение методов математической логики к исследованию  фундаментальных проблем алгебры и информатики, РФФИ 11-01-12111-офи_м,  2011-12, исполнитель
 5) DKAL: Distributed knowledge authorization language, Microsoft  Research, 2010-12, руководитель
 6) STCP-CH-RU (российско-швейцарская программа сотрудничества)
 Computational Proof Theory, 2010-12, исполнитель

7) Исследования по теории доказательств и неклассическим логикам, РФФИ 12-01-00888_а, 2012-14, руководитель

Расписание занятий на сегодня

Полное расписание

13th International Conference on Concept Lattices and Their Applications 

On July 18-22 the 13th International Conference on Concept Lattices and Their Applications was held at HSE. The conference has been organized since 2002. This year it was held in Russia for the first time. The event was organized by the International Laboratory for Intelligent Systems and Structural Analysis and the  School of Data Analysis and Artificial Intelligence of HSE Faculty of Computer Science.

CSR 2015

13-17 июля прошла 10-я международная конференция CSR 2015 – Computer Science in Russia. Эта крупнейшая в России конференция по теоретической информатике была организована при поддержке Иркутского государственного университета, НИУ ВШЭ и компании «Яндекс». В качестве приглашенного докладчика в конференции принял участие доцент Владимир Подольский. Также с докладом выступил доцент Максим Бабенко.

Яндекс и Высшая школа экономики проведут Всероссийскую контрольную по математике

14 марта впервые в России пройдет Всероссийская математическая контрольная, которую организует компания Яндекс при поддержке Высшей школы экономики. Решить набор несложных задач по математике все желающие смогут на сайте.