Шамканов Данияр Салкарбекович
- Ведущий научный сотрудник: Международная лаборатория логики, лингвистики и формальной философии
- Доцент: Факультет математики / Базовая кафедра Математического института им. В.А. Стеклова РАН
- Начал работать в НИУ ВШЭ в 2012 году.
- Научно-педагогический стаж: 13 лет.
- Владение языками
- английский
- Контакты
- Телефон:
15304 - Адрес: Усачёва ул., д. 6, каб. 417
Время присутствия: Пятница 14:40-16:00, Zoom, идентификатор 519 999 5541, код доступа 994577
- SPIN РИНЦ: 2216-1138
- ORCID: 0000-0002-1421-9965
- ResearcherID: P-5451-2016
- Scopus AuthorID: 38562114000
- Google Scholar
- Руководитель
- Скрипченко А. С.
Нашли опечатку?
Выделите её, нажмите Ctrl+Enter и отправьте нам уведомление. Спасибо за участие!
Сервис предназначен только для отправки сообщений об орфографических и пунктуационных ошибках.
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".
Доклад Данияра Шамканова на семинаре «Формальная философия»
Данияр Шамканов выступил с докладом на тему «К вопросу о значении автореферентности для онтологического аргумента» на заседании теоретического семинара «Формальная философия», который прошел 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-е заседание теоретического семинара «Формальная философия», на котором Данияр Шамканов выступил с докладом «Циклические и нефундированные выводы в модальной логике».