В старых версиях браузеров сайт может отображаться некорректно. Для оптимальной работы с сайтом рекомендуем воспользоваться современным браузером.
Regular version of the site
Valentin B. Shehtman Valentin B. Shehtman has been at HSE University since 2010.
Education and Degrees 2000
Doctor of Sciences
* in Mathematical Logic, Algebra and Number Theory
Candidate of Sciences
* (PhD) in Mathematical Logic, Algebra and Number Theory
1975
Degree
Lenin Moscow State Teacher Training Institute
Doctoral programme 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.
* Doctor of Sciences
A post-doctoral degree called Doctor of Sciences is given to reflect second advanced research qualifications or higher doctorates in ISCED 2011.
Mathematical logic, with the emphasis to nonclassical logics, and their applications to universal algebra, topology and computer science
Courses (2025/2026) Introduction to Model Theory (Optional course (faculty); Faculty of Mathematics ; 1, 2 module)Eng Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 3 year, 3, 4 module)Rus Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 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" (Master’s programme; Faculty of Mathematics field of study Mathematics; 1 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 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" (Master’s programme; Faculty of Mathematics field of study Mathematics; 1 year, 3, 4 module)Rus Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); Faculty of Mathematics ; 3, 4 module)Rus Past Courses Courses (2024/2025) Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 3 year, 3, 4 module)Rus Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 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 Sets and Models (Optional course (faculty); Faculty of Mathematics ; 1, 2 module)Rus Courses (2023/2024) Introduction to Model Theory (Optional course (faculty); 1, 2 module)Rus Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 3 year, 3, 4 module)Rus Logic and Algorithms (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 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" (Master’s programme; Faculty of Mathematics field of study Mathematics; 1 year, 1, 2 module)Rus Research Seminar "Modern Problems of Mathematical Logic 1" (Optional course (faculty); 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" (Master’s programme; Faculty of Mathematics field of study Mathematics; 1 year, 3, 4 module)Rus Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); 3, 4 module)Rus Courses (2022/2023) Research Seminar "Categories and Universal Algebra" (Optional course (faculty); 1, 2 module)Rus Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 3 year, 3, 4 module)Rus Research Seminar "Logic and Algorithms" (Bachelor’s programme; Faculty of Mathematics field of study Mathematics; 2 year, 3, 4 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 1" (Optional course (faculty); 1, 2 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 Research Seminar "Modern Problems of Mathematical Logic 2" (Optional course (faculty); 3, 4 module)Rus Editorial board membership 2012: Member of the Editorial Board , Logic Journal of the IGPL .