Выберите категорию обращения:
Общие вопросы
Отчеты
Рейтинги
Мониторинговый отчёт
Диссертационные советы
Конкурсы
Ввод данных
Структура организаций
Аспирантура
Научное оборудование
Импорт педагогической нагрузки
Журналы и импакт-факторы
Тема обращения:
Описание проблемы:
Введите почтовый адрес:
ИСТИНА
Войти в систему
Регистрация
Интеллектуальная Система Тематического Исследования НАукометрических данных
Главная
Поиск
Статистика
О проекте
Помощь
В связи с техническими работами в центре обработки данных, часть прикреплённых файлов в настоящее время недоступна.
скрыть
отправить сообщение
открыть новую версию профиля
Беклемишев Лев Дмитриевич
пользователь
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
, профессор, с 1 сентября 2006, по совместительству
доктор физико-математических наук с 1992 года
академик РАН с 15 ноября 2019 г.
Математический институт им. В.А. Стеклова РАН, чл.- корр. РАН
Соавторы:
Семенов А.Л.
,
Новиков С.П.
,
Бухштабер В.М.
,
Пентус М.Р.
,
Атабекян В.С.
,
Трещев Д.В.
,
Razborov A.A.
,
Гончаров С.С.
,
Колмаков Е.А.
,
Лысёнок И.Г.
,
Садовничий В.А.
,
Joosten J.J.
,
Lysënok I.G.
показать полностью...
,
Visser J.
,
Артемов С.Н.
,
Веснин А.Ю.
,
Гайфуллин А.А.
,
Долбилин Н.П.
,
Ероховец Н.Ю.
,
Ковалёв М.Д.
,
Макаров В.С.
,
Оноприенко А.А.
,
Орлов Д.О.
,
Осипов Ю.С.
,
Паршин А.Н.
,
Сабитов И.Х.
,
Таламбуца А.Л.
,
Успенский В.А.
,
Шейнман О.К.
,
Bezhanishvili G.
,
Fernández-Duque D.
,
Flaminio T.
,
Gabelaia D.
,
Gerald B.
,
Hans T.
,
Icard T.
,
Shchepin E.V.
,
Vervoort M.
,
Адян С.И.
,
Александров В.А.
,
Андреев Н.Н.
,
Гуревич Ю.Ш.
,
Козлов В.В.
,
Козлов Лысёнок В.В.
,
Матиясевич Ю.В.
,
Плунгян В.А.
,
Подольский В.В.
,
Расцветаев А.Л.
,
Рахилина Е.В.
,
Рубан В.
,
Татевосов С.Г.
,
Тихомиров В.М.
,
Шамканов Д.С.
,
Шень А.
,
Щепин Е.В.
59 статей
,
9 докладов на конференциях
,
4 тезисов докладов
,
4 НИР
,
1 членство в научном обществе
,
2 членства в редколлегиях журналов
,
3 членства в редколлегиях сборников
,
6 членств в программных комитетах
,
3 членства в диссертационных советах
,
7 диссертаций
,
10 дипломных работ
,
1 курсовая работа
,
11 учебных курсов
,
3 выступление в СМИ
Количество цитирований статей в журналах по данным Web of Science: 243, Scopus: 348
РИНЦ:
IstinaResearcherID (IRID): 2556926
ResearcherID:
F-7814-2013
Scopus Author ID:
6602096489
ORCID:
0000-0002-2949-0600
Деятельность
Статьи в журналах
2021
Questions in Algebra and Mathematical Logic. Scientific Heritage of S. I. Adian
Atanbekyan V.S.
,
Beklemishev L.D.
, Guba V.S.,
Lysenok I.G.
,
Razborov A.A.
,
Semenov A.L.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 76, № 1
DOI
2021
Sergei Ivanovich Adian
Atabekyan V.S.
,
Beklemishev L.D.
,
Buchstaber V.M.
,
Goncharov S.S.
,
Guba V.S.
, Ershov Yu L.,
Kozlov V.V.
, Lysenok I.G.,
Novikov S.P.
, Osipov Yu S.,
Pentus M.R.
, Podolskii V.V., Razborov A.A.,
Sadovnichii V.A.
,
Semenov A.L.
,
Talambutsa A.L.
,
Treschev D.V.
, Shevrin L.N.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 76, № 1, с. 177-181
DOI
2021
Вопросы алгебры и математической логики. Научное наследие С. И. Адяна
Атабекян В.С.
,
Беклемишев Л.Д.
, Губа В.С.,
Лысёнок И.Г.
,
Разборов А.А.
,
Семенов А.Л.
в журнале
Успехи математических наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 76, № 1(457), с. 3-30
DOI
2021
Сергей Иванович Адян (некролог)
Атабекян В.С.
,
Беклемишев Л.Д.
,
Бухштабер В.М.
,
Гончаров С.С.
, Губа В.С., Ершов Ю.Л.,
Козлов Лысёнок В.В.И.Г
,
Новиков С.П.
,
Осипов Ю.С.
,
Пентус М.Р.
,
Подольский В.В.
,
Разборов А.А.
,
Садовничий В.А.
,
Семенов А.Л.
,
Таламбуца А.Л.
,
Трещев Д.В.
, Шеврин Л.Н.
в журнале
Успехи математических наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 76, № 1(457), с. 191-194
DOI
2019
Axiomatization of provable n-provability
Kolmakov E.A.
,
Beklemishev L.D.
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 84, № 2, с. 849-869
DOI
2019
Mikhail Ivanovich Shtogrin (on his 80th birthday)
Александров В.А.
,
Беклемишев Л.Д.
,
Бухштабер В.М.
,
Веснин А.Ю.
,
Гайфуллин А.А.
,
Долбилин Н.П.
,
Ероховец Н.Ю.
,
Ковалев М.Д.
,
Макаров В.С.
,
Новиков С.П.
,
Орлов Д.О.
,
Паршин А.Н.
,
Сабитов И.Х.
,
Трещев Д.В.
,
Шейнман О.К.
,
Щепин Е.В.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 74, № 6, с. 1159-1162
DOI
2019
Владимир Андреевич Успенский (27.11.1930–27.06.2018)
Адян С.И.
,
Андреев Н.Н.
,
Беклемишев Л.Д.
,
Гончаров С.С.
, Ершов Ю.Л.,
Матиясевич Ю.В.
,
Осипов Ю.С.
,
Пентус М.Р.
,
Плунгян В.А.
,
Рахилина Е.В.
,
Садовничий В.А.
,
Семёнов А.Л.
,
Татевосов С.Г.
,
Тихомиров В.М.
,
Шень А.Х.
в журнале
Успехи математических наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 74, № 4(448), с. 165-180
2019
Михаил Иванович Штогрин (к восьмидесятилетию со дня рождения)
Александров В.А.,
Беклемишев Л.Д.
,
Бухштабер В.М.
,
Веснин А.Ю.
,
Гайфуллин А.А.
,
Долбилин Н.П.
,
Ероховец Н.Ю.
,
Ковалев М.Д.
,
Макаров В.С.
,
Новиков С.П.
,
Орлов Д.О.
,
Паршин А.Н.
,
Сабитов И.Х.
,
Трещев Д.В.
,
Шейнман О.К.
,
Щепин Е.В.
в журнале
Успехи математических наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 74, № 6, с. 194-197
2018
A many-sorted variant of Japaridze's polymodal provability logic
Gerald Berger
,
Beklemishev L.D.
,
Hans Tompits
в журнале
Logic Journal of the IGPL
, издательство
Oxford University Press
(United Kingdom)
, том 26, № 5, с. 505-538
DOI
2018
Axiomatizing provable n-provability
Kolmakov E.A.
,
Beklemishev L.D.
в журнале
Doklady Mathematics
, издательство
Maik Nauka/Interperiodica Publishing
(Russian Federation)
, том 98, № 3, с. 582-585
DOI
2018
Reflection calculus and conservativity spectra
Beklemishev L.D.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 73, № 4, с. 569-613
DOI
2018
Аксиоматизация доказуемой n-доказуемости
Колмаков Е.А.
,
Беклемишев Л.Д.
в журнале
Доклады Академии наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 483, № 3, с. 244-248
DOI
2018
Исчисление для схем рефлексии и спектры консервативности
Беклемишев Л.Д.
в журнале
Успехи математических наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 73, № 4, с. 3-52
DOI
2017
On the reduction property for GLP-algebras
Beklemishev L.D.
в журнале
Doklady Mathematics
, издательство
Maik Nauka/Interperiodica Publishing
(Russian Federation)
, том 95, № 1, с. 50-54
DOI
2017
О свойстве редукции для GLP-алгебр
Беклемишев Л.Д.
в журнале
Доклады Академии наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 472, № 4, с. 378-382
DOI
2016
Franco Montagna’s work on provability logic and many-valued logic
Beklemishev Lev
,
Flaminio Tommaso
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 104, № 1, с. 1-46
DOI
2015
On some slowly terminating term rewriting systems
Beklemishev L.D.
,
Onoprienko A.A.
в журнале
Sbornik Mathematics
, издательство
London Mathematical Society
(United Kingdom)
, том 206, № 9, с. 1173-1190
DOI
2015
О некоторых медленно сходящихся системах преобразований термов
Беклемишев Л.Д.
,
Оноприенко А.А.
в журнале
Математический сборник
, издательство
МИАН
(Москва)
, том 206, № 9, с. 3-20
DOI
2014
On provability logics with linearly ordered modalities
Beklemishev L.D.
,
Fernández-Duque D.
,
Joosten J.J.
в журнале
Studia Logica
, издательство
Springer Nature
(Switzerland)
, том 102, № 3, с. 541-566
DOI
2014
Positive provability logic for uniform reflection principles
Beklemishev L.
в журнале
Annals of Pure and Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 165, № 1, с. 82-105
DOI
2014
Propositional primal logic with disjunction
Beklemishev Lev
,
Gurevich Yuri
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 24, № 1, с. 257-282
DOI
2013
Topological completeness of the provability logic GLP
Beklemishev L.
, Gabelaia D.
в журнале
Annals of Pure and Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 164, № 12, с. 1201-1223
DOI
2011
A simplified proof of arithmetical completeness theorem for provability logic GLP
Beklemishev L.D.
в журнале
Proceedings of the Steklov Institute of Mathematics
, издательство
Springer Verlag
(Germany)
, том 274, № 1, с. 25-33
DOI
2011
Sergei Ivanovich Adian (on his eightieth birthday)
Beklemishev L.D.
,
Buchstaber V.M.
,
Lysenok I.G.
, Mal'tsev A.A.,
Novikov S.P.
, Razborov A.A.,
Semenov A.L.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 66, № 1, с. 197-198
2011
Сергей Иванович Адян (к восьмидесятилетию со дня рождения)
Беклемишев Л.Д.
,
Бухштабер В.М.
,
Лысенок И.Г.
, Мальцев А.А.,
Новиков С.П.
, Разборов А.А.,
Семенов А.Л.
в журнале
Успехи математических наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 66, № 1, с. 199-200
2011
Упрощëнное доказательство теоремы об арифметической полноте для логики доказуемости GLP
Беклемишев Л.Д.
в журнале
Труды Математического института им.В.А.Стеклова РАН
, издательство
МИАН
(Москва)
, том 274, с. 32-40
2010
Gödel incompleteness theorems and the limits of their applicability. I
Beklemishev L.D.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 65, № 5, с. 857-899
DOI
2010
Kripke semantics for provability logic GLP
Beklemishev L.D.
в журнале
Annals of Pure and Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 161, № 6, с. 756-774
DOI
2010
Теоремы Гëделя о неполноте и границы их применимости. I
Беклемишев Л.Д.
в журнале
Успехи математических наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 65, № 5(395), с. 61-106
DOI
2006
Sergei Ivanovich Adian (on his 75th birthday)
Beklemishev L.D.
, Lysenok I.G., Mal'tsev A.A.,
Novikov S.P.
,
Pentus M.R.
, Razborov A.A.,
Semenov A.L.
,
Uspenskii V.A.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 61, № 3, с. 575-588
2006
Сергей Иванович Адян (к 75-летию со дня рождения)
Беклемишев Л.Д.
,
Лысенок И.Г.
, Мальцев А.А.,
Новиков С.П.
,
Пентус М.Р.
, Разборов А.А.,
Семенов А.Л.
,
Успенский В.А.
в журнале
Успехи математических наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 61, № 3, с. 179-191
2005
A finitary treatment of the closed fragment of Japaridze’s provability logic
Beklemishev L.D.
,
Joosten J.J.
,
Vervoort M.
в журнале
Journal of Logic and Computation
, издательство
Oxford University Press
(United Kingdom)
, том 15, № 4, с. 447-463
DOI
2005
On the limit existence principles in elementary arithmetic and Σ^0_n-consequences of theories
Beklemishev L.D.
,
Visser A.
в журнале
Annals of Pure and Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 136, № 1-2, с. 56-74
DOI
2005
Reflection principles and provability algebras in formal arithmetic
Beklemishev L.D.
в журнале
Russian Mathematical Surveys
, издательство
Turpion - Moscow Ltd.
(United Kingdom)
, том 60, № 2, с. 197-268
DOI
2005
Схемы рефлексии и алгебры доказуемости в формальной арифметике
Беклемишев Л.Д.
в журнале
Успехи математических наук
, издательство
ФГБУ "Издательство "Наука"
(Москва)
, том 60, № 2(362), с. 3-78
DOI
2004
Provability algebras and proof-theoretic ordinals. I
Beklemishev L.D.
в журнале
Annals of Pure and Applied Logic
, издательство
Elsevier BV
(Netherlands)
, том 128, № 1-3, с. 103-123
DOI
2003
On the induction schema for decidable predicates
Beklemishev L.D.
в журнале
Journal of Symbolic Logic
, издательство
Association for Symbolic Logic
(United States)
, том 68, № 1, с. 17-34
DOI
2003
Proof-theoretic analysis by iterated reflection
Beklemishev L.D.
в журнале
Archive for Mathematical Logic
, издательство
Springer Verlag
(Germany)
, том 42, № 6, с. 515-552
DOI
2003
Quantifier-Free Induction Schema and the Least Element Principle
Beklemishev L.D.
в журнале
Proceedings of the Steklov Institute of Mathematics
, издательство
Springer Verlag
(Germany)
, том 242, с. 50-66
2003
Бескванторная индукция и принцип наименьшего числа
Беклемишев Л.Д.
в журнале
Труды Математического института им.В.А.Стеклова РАН
, издательство
МИАН
(Москва)
, том 242, с. 59-76
2002
On the query complexity of finding a local maximum point
Rastsvetaev A.L.
,
Beklemishev L.D.
в журнале
Information Processing Letters
, издательство
Elsevier BV
(Netherlands)
, том 84, № 6, с. 327-332
DOI
1993
On propositional quantifiers in provability logic
Artemov Sergei N.
,
Beklemishev Lev D.
в журнале
Notre Dame Journal of Formal Logic
, том 34, № 3, с. 401-419
DOI
Статьи в сборниках
2018
A note on strictly positive logics and word rewriting systems
Beklemishev Lev
в сборнике
Larisa Maksimova on Implication, Interpolation, and Definability
, серия
Outstanding Contributions to Logic
, издательство
SPRINGER
(VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ)
, том 15, с. 61-70
DOI
редактор
Одинцов Сергей Павлович
2018
A universal algebra for the variable-free fragment of RC∇
Beklemishev Lev D.
в сборнике
Logical Foundations of Computer Science - International Symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8-11, 2018, Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer Cham
, том 10703, с. 91-106
DOI
редактор
Артемов Сергей Николаевич
2017
On the reflection calculus with partial conservativity operators
Beklemishev Lev D.
в сборнике
Logic, Language, Information, and Computation - 24th International Workshop, WoLLIC 2017, London, UK, July 18-21, 2017, Proceedings
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 10388, с. 48-67
DOI
2016
Some abstract versions of Gödel’s second incompleteness theorem based on non-classical logics
Beklemishev Lev
,
Shamkanov Daniyar
в сборнике
Liber Amicorum Alberti: A tribute to Albert Visser
, серия
Tributes
, место издания
College Publications London
, том 30, с. 20-38
2015
Proof theoretic analysis by iterated reflection
Beklemishev L.D.
в сборнике
Turing’s Revolution. Part II
, место издания
Springer
, с. 225-270
DOI
2014
Topological interpretations of provability logic
Beklemishev L.
,
Gabelaia D.
в сборнике
Leo Esakia on Duality in Modal and Intuitionistic Logics
, серия
Outstanding Contributions to Logic
, издательство
SPRINGER
(VAN GODEWIJCKSTRAAT 30, DORDRECHT, NETHERLANDS, 3311GZ)
, том 4, с. 257-290
DOI
2012
Calibrating provability logic: From modal logic to reflection calculus
Beklemishev L.
в сборнике
Advances in Modal Logic
, серия
Advances in Modal Logic
, место издания
College Publications London
, том 9, с. 89-94
2012
DKAL: A Distributed Knowledge Authorization Language and Its Logic of Information
Beklemishev L.
в сборнике
Computer Science – Theory and Applications. 7th International Computer Science Symposium in Russia, CSR 2012. Nizhny Novgorod, Russia, July 3–7, 2012
, серия
Lecture Notes in Computer Science
, место издания
Springer
, том 7353, с. XIII-XIV
2011
Ordinal completeness of bimodal provability logic GLB
Beklemishev L.
в сборнике
Logic, language, and computation. 8th International Tbilisi Symposium TbiLLC 2009
, серия
Lecture Notes in Computer Science
, место издания
Springer Heidelberg
, том 6618, с. 1-15
DOI
2010
On the Craig interpolation and the fixed point properties of GLP
Beklemishev L.
в сборнике
Proofs, categories and computations
, серия
Tributes
, место издания
College Publications London
, том 13, с. 49-60
2010
On topological models of GLP
Beklemishev L.
,
Bezhanishvili G.
,
Icard T.
в сборнике
Ways of proof theory
, серия
Ontos Mathematical Logic
, место издания
Ontos Verlag Frankfurt
, том 2, с. 133-153
2006
Problems in the logic of provability
Beklemishev L.
,
Visser A.
в сборнике
Mathematical Problems from Applied Logic I. Logics for the XXIst Century
, серия
International Mathematical Series
, место издания
Springer New York, NY
, том 4, с. 77-136
DOI
2006
The Worm principle
Beklemishev L.D.
в сборнике
Logic Colloquium ’02. Münster, Germany, 2002
, серия
Lecture Notes in Logic
, место издания
Assoc. Symbol. Logic La Jolla, CA
, том 27, с. 75-95
2005
Provability Logic
Artemov Sergei N.
,
Beklemishev Lev D.
в сборнике
Handbook of Philosophical Logic, 2nd edition, Volume 13, Gabbay D.M., Guenthner F. (eds.)
, место издания
Springer
, с. 189-360
DOI
2000
Another pathological well-ordering
Beklemishev L.
в сборнике
Logic Colloquium ’98. Prague, 1998
, серия
Lecture Notes in Logic
, место издания
Assoc. Symbol. Logic Urbana, IL
, том 13, с. 105-108
1999
Classification of propositional provability logics
Beklemishev L.D.
в сборнике
Provability, Complexity, Grammars
, серия
American Mathematical Society Translations, Series 2
, место издания
Amer. Math. Soc Providence, RI
, том 192, с. 1-56
1999
Open least element principle and bounded query computation
Beklemishev L.D.
в сборнике
Computer science logic. Madrid, 1999
, серия
Lecture Notes in Computer Science
, место издания
Springer Berlin
, том 1683, с. 389-404
DOI
Доклады на конференциях
2019
Theories of Tarskian truthpredicates and reflection principles
(Пленарный)
Автор:
Беклемишев Л.Д.
Мальцевские чтения 2019
, Новосибирск, ИМ СО РАН, Россия, 19-23 августа 2019
2019
Reflection Algebras for Theories of Iterated Truth Definitions
(Пленарный)
Автор:
Beklemishev L.
WoLLIC 2019
, Утрехт, Нидерланды, 2-5 июля 2019
2019
Iterated truth definitions based on Tarskian biconditionals
(Приглашенный)
Автор:
Beklemishev L.
Shanin 100
, Санкт-Петербург, Россия, 23-26 мая 2019
2018
Строго позитивные логики доказуемости
(Пленарный)
Автор:
Беклемишев Л.Д.
Всероссийская конференция «Алгебра и теория алгоритмов», посвященная 100-летию факультета математики и компьютерных наук Ивановского государственного университета
, г. Иваново, Россия, 21-24 марта 2018
2017
On the reflection calculus with partial conservativity operators
(Устный)
Автор:
Beklemishev L.D.
WoLLIC 2017
, London, Великобритания, 17 июля - 22 декабря 2017
2017
Reflection calculus and conservativity spectra
(Приглашенный)
Автор:
Beklemishev L.D.
Journées sur les Arithmétiques Faibles, JAF 36
, ПОМИ РАН, Санкт-Петербург, Россия, 5 июня - 7 декабря 2017
2017
О спектрах консервативности для арифметических теорий
(Устный)
Автор:
Беклемишев Лев Дмитриевич
Ломоносовские чтения - 2017
, МГУ имени М.В. Ломоносова, Россия, 17-26 апреля 2017
2016
Positive provability logic and reflection calculus
(Устный)
Автор:
Беклемишев Лев Дмитриевич
Математическая логика, алгебра и вычислимость: конференция, посвященная 85-летию С.И.Адяна
, Математический институт им. В.А. Стеклова Российской академии наук, Россия, 18-19 июля 2016
2012
DKAL: A distributed knowledge authorization language and its logic of information
(Приглашенный)
Автор:
Beklemishev L.
7th Inernational Computer Science Symposium in Russia, CSR 2012, Nizhny Novgorod, July, 3-7, 2012 y.
, Nizhny Novgorod, 2012
Тезисы докладов
2019
Reflection algebras for theories of iterated truthdefinitions
Beklemishev L.D.
в сборнике
WoLLIC 2019: Logic, Language, Information, and Computation
, серия
Lecture Notes in Computer Science
, место издания
Springer Berlin, Heidelberg
, том 11541, тезисы, с. xi-xi
2019
Theories of Tarskian truthpredicates and reflection principles
Beklemishev L.D.
в сборнике
Международная конференция "Мальцевские чтения", 19–23 августа 2019 г. Новосибирск
, место издания
Новосибирский государственный университет Новосибирск
, тезисы, с. 14-14
2013
Позитивные логики доказуемости
Беклемишев Л.Д.
в сборнике
Международная конференция “Мальцевские чтения”. Тезисы докладов
, место издания
Новосибирск
, тезисы, с. 10
2006
Representing Worms as a term rewriting system
Beklemishev L.
в сборнике
Logic, combinatorics and independence results
, серия
Oberwolfach Report
, место издания
Mathematisches Forschungsinstitut Oberwolfach
, том 52, тезисы, с. 7-9
НИРы
1 января 2021 - 31 декабря 2025
Алгоритмические и семантические вопросы математической логики. 2021-2025
Кафедра математической логики и теории алгоритмов
Руководитель:
Семенов А.Л.
Ответственные исполнители:
Золин Е.Е.
,
Оноприенко А.А.
,
Пентус М.Р.
Участники НИР:
Беклемишев Л.Д.
,
Белов А.Я.
,
Верещагин Н.К.
,
Крупский В.Н.
,
Кузнецов С.Л.
,
Любецкий В.А.
,
Плиско В.Е.
,
Сорокин А.А.
,
Шехтман В.Б.
,
Яворская Т.Л.
1 октября 2019 - 30 сентября 2021
Схемы рефлексии и алгебры доказуемости
Кафедра математической логики и теории алгоритмов
Руководитель:
Беклемишев Л.Д.
Ответственный исполнитель:
Колмаков Е.А.
1 января 2016 - 31 декабря 2020
Алгоритмические и семантические вопросы математической логики. 2016-2020
Кафедра математической логики и теории алгоритмов
Руководители:
Семенов А.Л.
,
Успенский В.А.
Ответственные исполнители:
Золин Е.Е.
,
Пентус М.Р.
Участники НИР:
Адян С.И.
,
Беклемишев Л.Д.
,
Верещагин Н.К.
,
Крупский В.Н.
,
Кузнецов С.Л.
,
Любецкий В.А.
,
Плиско В.Е.
,
Семенов А.Л.
,
Сорокин А.А.
,
Шехтман В.Б.
,
Яворская Т.Л.
1 января 2011 - 31 декабря 2015
Алгоритмические и семантические вопросы математической логики
Кафедра математической логики и теории алгоритмов
Руководитель:
Успенский В.А.
Участники НИР:
Беклемишев Л.Д.
,
Верещагин Н.К.
,
Золин Е.Е.
,
Кузнецов С.Л.
,
Плиско В.Е.
,
Сорокин А.А.
,
Шехтман В.Б.
Членство в научных обществах
с 2017
Московское Математическое Общество
Россия
Участие в редколлегии журналов
с 15 мая 2008
Archive for Mathematical Logic
издательство
Springer Verlag
(Germany)
с 15 мая 2008
Известия РАН. Серия математическая
Участие в редколлегии сборников
2016
Advances in Modal Logic
член редколлегии:
Беклемишев Л.Д.
серия
Advances in Modal Logic
, том 11
место издания
College Publications London
2015
Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday (Lecture Notes in Computer Science
член редколлегии:
Беклемишев Л.Д.
серия
Lecture Notes in Computer Science
, том 9300
издательство
Springer
(New York)
2010
Advances in Modal Logic
члены редколлегии:
Беклемишев Л.Д.
,
Шехтман В.Б.
,
Goranko V.
серия
Advances in Modal Logic
, том 8
место издания
College Publications London
Участие в программных комитетах конференций
23-26 мая 2019
Shanin 100
Заместитель председателя программного комитета
Санкт-Петербург, Россия
8-11 января 2018
Symposium on Logical Foundations of Computer Science, LFCS 2018
Член программного комитета
Deerfield Beach, Florida, США
17-20 октября 2017
Wormshop 2017 (The 4th Workshop on Proof Theory, Modal Logic and Reflection Principles)
Член программного комитета
Steklov Mathematical Institute, Moscow, Russia, Россия
5 июня - 7 декабря 2017
Journées sur les Arithmétiques Faibles, JAF 36
Член программного комитета
ПОМИ РАН, Санкт-Петербург, Россия
12-18 июля 2015
The 10th International Symposium on Computer Science in Russia (CSR 2015)
Председатель программного комитета
Listvyanka (lake Baikal), Россия
2014
Wormshop 2014 (The 2nd Workshop on Proof Theory, Modal Logic and Reflection Principles)
Член программного комитета
Mexico City, Mexico, Мексика
Членство в диссертационных советах
с 5 сентября 2017
МГУ.011.4(01.17), МГУ имени М.В. Ломоносова, Механико-математический факультет
1.1.5 - Математическая логика, алгебра, теория чисел и дискретная математика (физ.-мат. науки)
Действующие члены совета:
Чубариков В.Н.
,
Иванов А.О.
,
Мануйлов В.М.
,
Алексеев В.Б.
,
Беклемишев Л.Д.
,
Богатый С.А.
,
Гасанов Э.Э.
,
Гашков С.Б.
,
Геворкян П.С.
,
Зайцев М.В.
,
Кочергин В.В.
,
Мищенко А.С.
,
Нестеренко Ю.В.
,
Орлов Д.О.
,
Панов Т.Е.
,
Садовничий Ю.В.
,
Селезнева С.Н.
,
Тюрин Н.А.
,
Фоменко А.Т.
,
Чирский В.Г.
,
Шафаревич А.И.
,
Шелехов А.М.
15 мая 2010 - 31 августа 2017
Д 501.001.84, МГУ имени М.В. Ломоносова, Механико-математический факультет
01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
с 15 мая 2007
Д 002.022.03, Математический институт им. В.А. Стеклова РАН
Действующие члены совета:
Шкредов И.Д.
,
Беклемишев Л.Д.
,
Дынников И.А.
,
Нестеренко Ю.В.
,
Орлов Д.О.
,
Панов Т.Е.
,
Фоменко А.Т.
Руководство диссертациями
2022
Совместная логика задач и высказываний
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Оноприенко А.А.
, к.ф.-м.н., МГУ имени М.В. Ломоносова
Научный руководитель:
Беклемишев Л.Д.
, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
Защищена в совете
МГУ.011.4(01.17)
МГУ имени М.В. Ломоносова, Механико-математический факультет
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова
Оппоненты:
Дудаков С.М.
,
Мелихов С.А.
,
Канович М.И.
2021
Предикаты доказуемости и связанные с ними алгебры
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Колмаков Евгений Александрович
, МГУ имени М.В. Ломоносова
Научный руководитель:
Беклемишев Лев Дмитриевич
, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
Защищена в совете
МГУ.011.4(01.17)
МГУ имени М.В. Ломоносова, Механико-математический факультет
Организация, в которой выполнялась работа:
МГУ имени М.В. Ломоносова
Оппоненты:
Одинцов Сергей Павлович
,
Кудинов Андрей Валерьевич
,
Калимуллин Искандер Шагитович
2015
Некоторые алгоритмические вопросы для полимодальных логик доказуемости
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Пахомов Фёдор Николаевич
Научный руководитель:
Беклемишев Лев Дмитриевич
, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
Защищена в совете
Д 002.022.03
при Математический институт им. В.А. Стеклова РАН
Организация, в которой выполнялась работа:
Математический институт им. В.А.Стеклова РАН
Ведущая организация:
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Оппоненты:
Шехтман Валентин Борисович
,
Варданян Валерий Арамович
2012
О пропозициональных исчислениях, представляющих понятие доказуемости
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Дашков Евгений Владимирович
Научный руководитель:
Беклемишев Лев Дмитриевич
, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
Организация, в которой выполнялась работа:
Математический институт им. В.А.Стеклова РАН
Ведущая организация:
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Оппоненты:
Артемов Сергей Николаевич
,
Шапировский Илья Борисович
2012
Интерполяционные свойства логик доказуемости и нормализация термов рефлексивной комбинаторной логики
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Шамканов Данияр Салкарбекович
Научные руководители:
Беклемишев Лев Дмитриевич
, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова,
Крупский Владимир Николаевич
, к.ф.-м.н., доц., МГУ имени М.В. Ломоносова
Защищена в совете
Д 501.001.84
при МГУ имени М.В. Ломоносова, Механико-математический факультет
Организация, в которой выполнялась работа:
Математический институт им. В.А.Стеклова РАН
Ведущая организация:
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Оппоненты:
Оревков Владимир Павлович
,
Шапировский Илья Борисович
Диссертации
1998
Схемы рефлексии в формальной арифметике
Докторская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Беклемишев Лев Дмитриевич
, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
Защищена в совете
Д 002.022.03
при Математический институт им. В.А. Стеклова РАН
Организация, в которой выполнялась работа:
Математический институт им. В.А.Стеклова РАН
Ведущая организация:
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Оппоненты:
Матиясевич Юрий Владимирович
,
Семёнов Алексей Львович
,
Успенский Владимир Андреевич
1992
Классификация пропозициональных логик доказуемости
Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
Автор:
Беклемишев Лев Дмитриевич
, д.ф.-м.н., акад. РАН, МГУ имени М.В. Ломоносова
Научные руководители:
Артемов Сергей Николаевич
, д.ф.-м.н., проф., МГУ имени М.В. Ломоносова,
Адян Сергей Иванович
, д.ф.-м.н., проф., акад. РАН
Защищена в совете
Д 002.022.03
при Математический институт им. В.А. Стеклова РАН
Организация, в которой выполнялась работа:
Математический институт им. В.А. Стеклова РАН
Ведущая организация:
Институт математики им. С.Л.Соболева Сибирского отделения РАН
Оппоненты:
Оревков Владимир Павлович
,
Плиско Валерий Егорович
Руководство дипломными работами
2023
Системы без правила сечения для бимодальных логик доказуемости CSM и CSMP
Научные руководители:
Яворская Т.Л.
,
Беклемишев Л.Д.
Автор: Ванг Вэйхань (Магистр)
2023
Системы без правила сечения для бимодальных логик доказуемости CSM и CSMP
Научные руководители:
Яворская Т.Л.
,
Беклемишев Л.Д.
Автор: Ванг Вэйхань (Магистр)
2017
Аксиоматизация и полиномиальная разрешимость строго позитивных фрагментов некоторых модальных логик
Научный руководитель:
Беклемишев Л.Д.
Автор: Михаил Владимирович Святловский (Бакалавр)
2013
О позитивных фрагментах модальных логик
Научный руководитель:
Беклемишев Лев Дмитриевич
Автор: Каниськин Сергей Александрович (Специалист)
2012
Фрагменты интуиционистской модальной логики предикатов со слабой импликацией
Научный руководитель:
Беклемишев Лев Дмитриевич
Автор: Подгайц Александра Ефремовна (Специалист)
2012
О разрешимости элементарных теорий алгебр доказуемости и их фрагментов
Научный руководитель:
Беклемишев Лев Дмитриевич
Автор: Пахомов Фёдор Николаевич (Специалист)
2012
О конструктивных теориях типов и их компьютерных реализациях
Научные руководители:
Беклемишев Лев Дмитриевич
,
Крупский Владимир Николаевич
Автор: Малокостова Екатерина Андреевна (Специалист)
2011
О задаче достижимости состояний для гибридных автоматов на торе
Научный руководитель:
Беклемишев Лев Дмитриевич
Автор: Логинов Илья Сергеевич (Специалист)
2009
Формализация доказательства устранимости правила сечения в исчислении высказываний
Научные руководители:
Беклемишев Лев Дмитриевич
,
Крупский Владимир Николаевич
Автор: Кашев Александр Викторович (Специалист)
1998
Разрешимость некоторых вариантов логики доказательств Артёмова
Научные руководители:
Артемов Сергей Николаевич
,
Беклемишев Лев Дмитриевич
Автор: Мкртычев Алексей Викторович (Специалист)
Руководство курсовыми работами
2023
Арифметическая семантика логики доказательств со свободными переменными
Научные руководители:
Яворская Т.Л.
,
Беклемишев Л.Д.
Автор: Чулева София (Специалист)
Авторство учебных курсов
2019
Вычислительная теория доказательств и лямбда-исчисление
Авторы:
Беклемишев Лев Дмитриевич
,
Кузнецов Степан Львович
2019
Введение в математическую логику и теорию алгоритмов
Автор:
Беклемишев Лев Дмитриевич
2018
Введение в теорию доказательств: аспекты неполноты
Авторы:
Беклемишев Лев Дмитриевич
,
Яворская Татьяна Леонидовна
2017
Основы теории доказательств
Авторы:
Беклемишев Лев Дмитриевич
,
Яворская Татьяна Леонидовна
2016
Топологическая семантика логики доказуемости
Авторы:
Беклемишев Лев Дмитриевич
,
Яворская Татьяна Леонидовна
2014
Математическая логика (обязательный спецкурс)
Авторы:
Беклемишев Л.Д.
,
Яворская Т.Л.
2014
Логические проблемы информатики
Авторы:
Крупский В.Н.
,
Беклемишев Л.Д.
,
Пентус М.Р.
,
Яворская Т.Л.
2013
Модели арифметики
Авторы:
Яворская Т.Л.
,
Беклемишев Л.Д.
2012
Логики доказуемости
Авторы:
Беклемишев Л.Д.
,
Яворская Т.Л.
2011
Просеминар по математической логике и информатике
Авторы:
Беклемишев Лев Дмитриевич
,
Подольский Владимир Владимирович
,
Семёнов Алексей Львович
,
Кузнецов Степан Львович
2008
Введение в математическую логику
Автор:
Беклемишев Лев Дмитриевич
Преподавание учебных курсов
1 сентября 2020 - 20 декабря 2020
Введение в математическую логику и теорию алгоритмов
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 36 часов
1 сентября 2019 - 20 декабря 2019
Введение в математическую логику и теорию алгоритмов
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 36 часов
1 сентября 2018 - 19 мая 2019
Введение в теорию доказательств: аспекты неполноты
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), лекции, 35 часов
1 сентября 2017 - 19 мая 2018
Математическая логика (обязательный спецкурс)
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), лекции, 35 часов
1 сентября 2017 - 19 мая 2018
Основы теории доказательств
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), лекции, 35 часов
1 сентября 2016 - 19 мая 2017
Топологическая семантика логики доказуемости
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2016 - 19 мая 2017
Математическая логика (обязательный спецкурс)
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2015 - 31 мая 2016
Просеминар по математической логике и информатике
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
факультативная, семинары, 23 часов
1 сентября 2015 - 19 мая 2016
Математическая логика (обязательный спецкурс)
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2014 - 31 мая 2015
Математическая логика (обязательный спецкурс)
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2014 - 20 мая 2015
Логические проблемы информатики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), семинары, 17 часов
2 сентября 2013 - 31 мая 2014
Модели арифметики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), лекции, 34 часов
1 сентября 2013 - 20 мая 2014
Логические проблемы информатики
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), семинары, 17 часов
3 сентября 2012 - 19 мая 2013
Логики доказуемости
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
,
Отделение математики
,
Кафедра математической логики и теории алгоритмов
обязательная, по выбору (спецкурс), лекции, 34 часов
7 февраля 2010 - 31 мая 2010
Введение в математическую логику
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 32 часов
7 февраля 2009 - 31 мая 2009
Введение в математическую логику
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 32 часов
7 февраля 2008 - 31 мая 2008
Введение в математическую логику
МГУ имени М.В. Ломоносова
,
Механико-математический факультет
обязательная, базовой части, лекции, 32 часов
Выступление в СМИ
7 июля 2014 г.
Математика – главный язык науки (цикл "Большая наука. На грани безумия")
("Общественное телевидение России")
Автор (участник):
Беклемишев Лев Дмитриевич
, Бурцев Михаил Сергеевич
7 июня 2013 г.
Компьютерные доказательства
(ПостНаука)
Автор (участник):
Беклемишев Лев Дмитриевич
21 апреля 2013 г.
Аксиоматический метод
(ПостНаука)
Автор (участник):
Беклемишев Лев Дмитриевич