Шамканов Данияр Салкарбекович

Education and Degrees

2012

Candidate of Sciences* (PhD) in Mathematical Logic, Algebra and Number Theory
Lomonosov Moscow State University
Thesis Title: Interpolation properties of provability logics and normalization for terms of reflexive combinatory logic

2008

Degree
Lomonosov Moscow State University

* Candidate of Sciences
According to the International Standard Classification of Education (ISCED) 2011, Candidate of Sciences belongs to ISCED level 8 - "doctoral or equivalent", together with PhD, DPhil, D.Lit, D.Sc, LL.D, Doctorate or similar. Candidate of Sciences allows its holders to reach the level of the Associate Professor.

Professional Interests

proof theory nonclassical logics

Courses (2024/2025)

Introduction to Generalized Recursion Theory (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 1" (Master’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 1, 2 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); Faculty of Mathematics; 1, 2 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 1" (Master’s programme; Faculty of Mathematics field of study Mathematics; 1 year, 1, 2 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 2" (Master’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics; 3, 4 module)Rus
Research Seminar "Modern Problems of Mathematical Logic 2" (Master’s programme; Faculty of Mathematics field of study Mathematics; 1 year, 3, 4 module)Rus
Past Courses

Timetable for today

Full timetable

7

Dec

2024

Daniyar Shamkanov spoke at the seminar "Formal Philosophy"

Daniyar Shamkanov made a presentation on the topic "On the question of the importance of self-reference for an ontological argument" at the theoretical seminar "Formal Philosophy" on December 6.

28

Nov

2024

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.

Daniyar S. Shamkanov

Education and Degrees

Professional Interests

Courses (2024/2025)

Courses (2023/2024)

Courses (2022/2023)

Courses (2021/2022)

Courses (2020/2021)

Timetable for today

Daniyar Shamkanov spoke at the seminar "Formal Philosophy"

Bringing Maths and Philosophy Together: Russian-Brazilian Project Explores Logical Pluralism