| 3391 | COMPUTER SCIENCE & COMPUTER ENGINEERING (ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА) | Mathematical Logic and Algorithm Theory (Математическая логика и теория алгоритмов) | Institute of Mathematics and Information Technologies (ИМиИТ) | 2 | Winter (Осенний) | 3 | Bachelor (Бакалавриат) | Yes | 2021-2022 | |
| 3392 | COMPUTER SCIENCE & COMPUTER ENGINEERING (ИНФОРМАТИКА И ВЫЧИСЛИТЕЛЬНАЯ ТЕХНИКА) | Mathematical Logic and Algorithm Theory (Математическая логика и теория алгоритмов) | Institute of Mathematics and Information Technologies (ИМиИТ) | 1 | Summer (Весенний) | 4 | Bachelor (Бакалавриат) | Yes | 2021-2022 | |
| 3393 | COMPUTER & INFORMATION SCIENCES (КОМПЬЮТЕРНЫЕ И ИНФОРМАЦИОННЫЕ НАУКИ) | Mathematical Logic (Математическая логика) | Institute of Mathematics and Informational Technologies (ИМиИТ) | 3 | Winter (Осенний) | 3 | Bachelor (Бакалавриат) | Yes | 2022-2023 | |
| 3394 | COMPUTER & INFORMATION SCIENCES (КОМПЬЮТЕРНЫЕ И ИНФОРМАЦИОННЫЕ НАУКИ) | Mathematical Logic (Математическая логика) | Institute of Mathematics and Informational Technologies (ИМиИТ) | 3 | Winter (Осенний) | 5 | Bachelor (Бакалавриат) | Yes | 2021-2022 | |
| 3395 | EARTH SCIENCES (НАУКИ О ЗЕМЛЕ) | Mathematical Cartography (Математическая картография) | Institute of Natural Sciences (ИЕН) | 3 | Winter (Осенний) | 4 | Bachelor (Бакалавриат) | Yes | 2022-2023 | |