Беклемишев Лев Дмитриевич
- Начал работать в НИУ ВШЭ в 2011 году.
- Научно-педагогический стаж: 32 года.
Oбразование, учёные степени и учёные звания
Научные интересы
Математическая логика, теория доказательств, формальная арифметика, логика доказуемости, модальная логика
Достижения и поощрения
Надбавка за публикацию в международном рецензируемом научном издании (2021–2022, 2019–2020, 2018–2019)
Надбавка за статью в зарубежном рецензируемом журнале (2014–2016, 2012–2014)
Надбавка за статью в зарубежном рецензируемом научном издании (2016–2017)
Лучший преподаватель — 2023
Лауреат премии "Золотая Вышка" 2019 в номинации Достижения в науке
Учебные курсы (2024/2025 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
Учебные курсы (2021/2022 уч. год)
- Научно - исследовательский семинар (Аспирантура; 3-й курс, 2 семестр)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 3-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Логика и алгоритмы" (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
Учебные курсы (2020/2021 уч. год)
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)рус
Участие в редколлегиях научных журналов
Член исполнительного комитета Ассоциации символической логики (ASL)
Член экспертного совета ВАК
Конференции
- 2017
Journées sur les Arithmétiques Faibles 36 (Санкт-Петербург). Доклад: Reflection calculus and conservativity spectra
Workshop on Logic, Language, Information and Computation (Лондон). Доклад: On the Reflection Calculus with Partial Conservativity Operators
Mathematical Logic: Proof Theory and Constructive Mathematics. Oberwolfach workshop (Oberwolfach). Доклад: "On provable 1-provability" (joint work with E. Kolmakov)
Информация*
- Общий стаж: 32 года
- Научно-педагогический стаж: 32 года
- Преподавательский стаж: 12 лет
Текущие научно-исследовательские гранты
1) Новые виды формальных доказательств и их представления, РНФ-FWF 20-41-05002, 2020-2022;
2) Проблемы вычислимости, доказуемости и полноты в логике и алгебре, РНФ 21-11-00318, 2021-2023;
3) Доказательства и модели, 21-04-027, по конкурсу исследовательских проектов научно-учебных групп программы «Научный фонд НИУ ВШЭ» (НУГ), 2021-22.
Формальная философия 2022
31 октября — 3 ноября состоялась Международная конференция “Формальная философия – 2022”, организованная Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ. В конференции приняло участие более 30 докладчиков из НИУ ВШЭ, МИАН, МГУ, Оксфордского университета, Университета Париж X—Нантер, Университета Кампинаса и других исследовательских центров.
‘A Good Thing about Mathematical Thinking Is That It Knocks Some Sense into Your Brain’
HSE University maintains active cooperation with the Academy of Science institutes, which open joint departments at the university and provide their best experts for teaching and research. HSE News Service talked to Deputy Directors of the RAS Steklov Mathematical Institute (MIRAS) — RAS member Lev Beklemishev andSergey Gorchinskiy — about the development of mathematics in the modern world, career opportunities for graduates in mathematics, and the specifics of researchers’ work with students.
«Математическая культура мышления хороша тем, что, образно говоря, вправляет мозги»
НИУ ВШЭ активно сотрудничает с академическими институтами, которые открывают в университете базовые кафедры и направляют лучших специалистов для преподавания и научной работы. Новостная служба портала расспросила заместителей директора Математического института имени В.А. Стеклова РАН — академика РАН Льва Беклемишева и Сергея Горчинского о развитии математики в современном мире, о возможностях карьеры для выпускников математических факультетов и об особенностях работы ученых со студентами.
«Российские ученые вносят огромный вклад в математическую науку и образование»
Эдмонд Ли, профессор Департамента математики в Юго-Восточном Университете Нова (США), недавно защитил диссертацию на соискание ученой степени доктора наук в московском кампусе ВШЭ. Защита состоялась с использованием платформы Zoom, а участники подключались из пяти городов в Бразилии, Израиле, России и США. Профессор Ли стал первым иностранным соискателем докторской степени НИУ ВШЭ. Как это случилось, он поделился с порталом НИУ ВШЭ.
First International Recipient of DSc Degree in Mathematics From HSE University
Edmond W.H. Lee, a full professor at the Department of Mathematics, Nova Southeastern University, USA, has recently defended his Doctor of Sciences (DSc) thesis at the Dissertation Council in Mathematics, HSE University. The DSc in Russia is a higher doctoral degree that can be earned after the PhD. Professor Lee’s defence was held over Zoom, with the candidate and his dissertation committee members participating remotely from 5 cities in Brazil, Israel, Russia, and the USA. Lee became the first international recipient of a DSc degree in Mathematics from HSE University.
Сотрудники ВШЭ избраны академиками и членами-корреспондентами РАН
Объявлены результаты выборов в Российскую академию наук, состоявшихся на общем собрании 14-15 ноября. Среди новых академиков и членов-корреспондентов РАН — восемь сотрудников Вышки.
Trends in Logic19
2-4 октября 2019 года в Национальном исследовательском университете Высшая школа экономики прошла международная конференция Trends in Logic 19. Current Issues in Philosophical Logic , организованная журналом Studia Logica и Международной лабораторией логики, лингвистики и формальной философии НИУ ВШЭ.
HSE University Brings Major Conference in Philosophical Logic to Russia for the First Time
On October 2-4, HSE University hosted the international conference Trends in Logic 19. Current Issues in Philosophical Logic for the first time in Russia. The conference, which attracted a number of prominent Russian and international scholars, was organized jointly by the journal Studia Logica and the HSE International Laboratory for Logic, Linguistics and Formal Philosophy.
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 марта впервые в России пройдет Всероссийская математическая контрольная, которую организует компания Яндекс при поддержке Высшей школы экономики. Решить набор несложных задач по математике все желающие смогут на сайте.