Шамканов Данияр Салкарбекович
- Начал работать в НИУ ВШЭ в 2012 году.
- Научно-педагогический стаж: 11 лет.
Образование, учёные степени
- 2012Кандидат физико-математических наук: МГУ им. М.В. Ломоносова, специальность 01.01.06 «Математическая логика, алгебра и теория чисел», тема диссертации: Интерполяционные свойства логик доказуемости и нормализация термов рефлекcивной комбинаторной логики
- 2008
Специалитет: Московский государственный университет им. М.В. Ломоносова, специальность «Математика», квалификация «Математик»
Учебные курсы (2023/2024 уч. год)
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)Рус
- Архив учебных курсов
Учебные курсы (2022/2023 уч. год)
- Научно-исследовательский семинар "Алгебраическая логика" (Дисциплина общефакультетского пула; 3, 4 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)Рус
- Основания алгебры и геометрии (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
Учебные курсы (2021/2022 уч. год)
- Вычислимость и сложность (Майнор; где читается: Факультет математики; 3, 4 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Факультет математики; 1-й курс, 1 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2020/2021 уч. год)
- Вычислимость и сложность (Майнор; где читается: Факультет математики; 3, 4 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Факультет математики; 1-й курс, 1 модуль)Рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2019/2020 уч. год)
- Вычислимость и сложность (Майнор; где читается: Факультет математики; 3, 4 модуль)Рус
- Дискретная математика (Бакалавриат; где читается: Факультет математики; 1-й курс, 1, 4 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 3, 4 модуль)Рус
- Математика (Бакалавриат; где читается: Факультет гуманитарных наук; 1-й курс, 1, 2 модуль)Рус
- Научно-исследовательский семинар "Математический практикум" (Бакалавриат; где читается: Факультет математики; 1-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2018/2019 уч. год)
- Введение в топологию (Бакалавриат; где читается: Факультет математики; 1-й курс, 2, 3 модуль)Рус
- Вычислимость и сложность (Майнор; где читается: Факультет математики; 3, 4 модуль)Рус
- Математика (Бакалавриат; где читается: Факультет гуманитарных наук; 1-й курс, 1, 2 модуль)Рус
- Математика. Лиценциат (Бакалавриат; где читается: Факультет математики; 3-й курс, 4 модуль)Рус
- Научно-исследовательский семинар (Аспирантура; 2-й курс, 1 семестр)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2017/2018 уч. год)
- Введение в топологию (Бакалавриат; где читается: Факультет математики; 1-й курс, 3 модуль)Рус
- Вычислимость и сложность (Майнор; где читается: Факультет математики; 3, 4 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 2-й курс, 4 модуль)Рус
Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; направление "01.03.01. Математика", направление "01.03.01. Математика"; 1-й курс, 1, 2 модуль)Рус
Математический практикум (Бакалавриат; где читается: Факультет математики; направление "01.03.01. Математика", направление "01.03.01. Математика"; 1-й курс, 1-4 модуль)Рус
- Математический практикум 2 (Бакалавриат; где читается: Факультет математики; 2-й курс, 1-4 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)Рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)Рус
Учебные курсы (2016/2017 уч. год)
- Введение в топологию (Бакалавриат; где читается: Факультет математики; 1-й курс, 3 модуль)Рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики; 1-й курс, 1, 2 модуль)Рус
Публикации15
- Статья Shamkanov D. S. On algebraic and topological semantics of the modal logic of common knowledge S4CI // Logic Journal of the IGPL. 2022 doi (в печати)
- Статья Yury Savateev, Daniyar Shamkanov. Non-well-founded proofs for the Grzegorczyk modal logic // Review of Symbolic Logic. 2021. Vol. 14. No. 1. P. 22-50. doi
- Глава книги Shamkanov D. S. Global neighbourhood completeness of the provability logic GLP, in: Advances in Modal Logic Vol. 13. College Publications, 2020. P. 581-596.
- Статья Shamkanov D. S. Non-well-founded derivations in the Gödel-Löb provability logic // Review of Symbolic Logic. 2020. Vol. 13. No. 4. P. 776-796. doi
- Глава книги Savateev Y., Shamkanov D. S. Cut Elimination for the Weak Modal Grzegorczyk Logic via Non-well-Founded Proofs, in: Logic, Language, Information, and Computation: 26th International Workshop, WoLLIC 2019, Utrecht, The Netherlands, July 2-5, 2019, Proceedings Vol. 11541: Lecture Notes in Computer Science. Berlin, Heidelberg : Springer, 2019. P. 569-583. doi
- Препринт Savateev Y., Shamkanov D. S. Non-Well-Founded Proofs for the Grzegorczyk Modal Logic / Cornell University. Series arXiv "math". 2018.
- Глава книги Шамканов Д. С. Циклические выводы в логике доказуемости Гёделя-Лёба // В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г. М. : Современные тетради, 2017. С. 56-58.
- Статья Shamkanov D. S. A realization theorem for the Gödel-Löb provability logic / Пер. с рус.: D. S. Shamkanov. // Sbornik Mathematics. 2016. Vol. 207. No. 9. P. 1344-1360. doi
- Глава книги Beklemishev L. D., Shamkanov D. S. Some abstract versions of Gödel's second incompleteness theorem based on non-classical logics, in: Liber Amicorum Alberti. A Tribute to Albert Visser. L. : College Publications, 2016. P. 15-29.
- Статья Shamkanov D. S. Nested Sequents for Provability Logic GLP // Logic Journal of the IGPL. 2015. Vol. 23. No. 5. P. 789-815.
- Статья Shamkanov D. S. Circular proofs for the Gödel–Löb provability logic / Пер. с рус. // Mathematical notes. 2014. Vol. 96. No. 4. P. 575-585. doi
- Статья Shamkanov D. S. Interpolation properties for provability logics GL and GLP / Пер. с рус. // Proceedings of the Steklov Institute of Mathematics. 2011. Vol. 274. No. 1. P. 303-316.
- Глава книги Shamkanov D. S. Strong normalization and confluence for reflexive combinatory logic, in: Logic, Language, Information, and Computation/2011 Vol. 6642. NY : Springer, 2011. P. 228-238.
Информация*
- Общий стаж: 11 лет
- Научно-педагогический стаж: 11 лет
- Преподавательский стаж: 11 лет
Текущие гранты
2012-2014 Research assistant, RFBR 12-01-00888-a "Investigations in proof theory and non-classical logics".
2011-2013 Research assistant, RFBR 11-01-00947-a "Investigations in mathematical logic and algorithms".
2012-2014 Research assistant, NSh-5593.2012.1 “Russian Presidential Grant for support of leading scientific schools”.
2011-2012 Research assistant, RFBR Grant "Applications of methods of mathematical logic to fundamental problems of algebra and computer science".
2011-2013 Research assistant, RFBR Grant "Mathematical problems of the logical semantics of the non-classical deductive systems".
2010-2011 Switzerland-Russia Scientific and Technological Cooperation Programme, Joint Research Project "Computational Proof Theory".
Доклад Данияра Шамканова на семинаре «Формальная философия-73»
18 ноября состоялось 73-е заседание теоретического семинара «Формальная философия», на котором Данияр Шамканов выступил с докладом «Циклические и нефундированные выводы в модальной логике».