Шамканов Данияр Салкарбекович
- Ведущий научный сотрудник: Международная лаборатория логики, лингвистики и формальной философии
- Доцент: Факультет математики / Базовая кафедра Математического института им. В.А. Стеклова РАН
- Начал работать в НИУ ВШЭ в 2012 году.
- Научно-педагогический стаж: 13 лет.
Oбразование и учёные степени
Достижения и поощрения
Учебные курсы (2024/2025 уч. год)
- Введение в обобщённую теорию рекурсий (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики направление: 01.04.01 Математика; 2-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики направление: 01.04.01 Математика; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики направление: 01.04.01 Математика; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики направление: 01.04.01 Математика; 1-й курс, 3, 4 модуль)рус
- Архив учебных курсов
Учебные курсы (2023/2024 уч. год)
- Введение в категорную логику (Дисциплина общефакультетского пула; 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 2-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 1-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)рус
Учебные курсы (2022/2023 уч. год)
- Научно-исследовательский семинар "Алгебраическая логика" (Дисциплина общефакультетского пула; 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 1-й курс, 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Магистратура; где читается: Факультет математики направление: 01.04.01. Математика; 1-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; 3, 4 модуль)рус
- Основания алгебры и геометрии (Майнор; где читается: Факультет математики; 1, 2 модуль)рус
Учебные курсы (2021/2022 уч. год)
- Дискретная математика (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика, направление: 01.03.01. Математика; 1-й курс, 1 модуль)рус
Учебные курсы (2020/2021 уч. год)
- Вычислимость и сложность (Майнор; где читается: Факультет математики; 3, 4 модуль)рус
- Дискретная математика (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика, направление: 01.03.01. Математика; 1-й курс, 1 модуль)рус
- Логика (Майнор; где читается: Факультет математики; 1, 2 модуль)рус
- Логика и алгоритмы (Бакалавриат; где читается: Факультет математики направление: 01.03.01. Математика; 2-й курс, 3, 4 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 1" (Дисциплина общефакультетского пула; где читается: Факультет математики; 1, 2 модуль)рус
- Научно-исследовательский семинар "Современные проблемы математической логики 2" (Дисциплина общефакультетского пула; где читается: Факультет математики; 3, 4 модуль)рус
Текущие гранты
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".
Опубликована статья Данияра Шамканова «A realization theorem for the modal logic of transitive closure K+»
В журнале «Известия Российской академии наук. Серия математическая» вышла статья Данияра Шамканова «A realization theorem for the modal logic of transitive closure K+».
Доклад Данияра Шамканова на семинаре «Формальная философия»
Данияр Шамканов выступил с докладом на тему «К вопросу о значении автореферентности для онтологического аргумента» на заседании теоретического семинара «Формальная философия», который прошел 6 декабря.
Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism
In late October and early November, HSE University hosted the Autumn School on ‘Logic and Formal Philosophy’ and a conference on logical pluralism as part of a collaborative project uniting Russian and Brazilian philosopher-logicians and mathematician-logicians. The project’s leaders and participants, Elena Dragalina-Chernaya, Itala Loffredo D'Ottaviano, Marcelo Esteban Coniglio, and Evandro Luis Gomes, shared their insights about the initiative.
Доклад Данияра Шамканова на семинаре «Формальная философия-73»
18 ноября состоялось 73-е заседание теоретического семинара «Формальная философия», на котором Данияр Шамканов выступил с докладом «Циклические и нефундированные выводы в модальной логике».