Участник:SavitskiyIV — различия между версиями
(не показаны 2 промежуточных версий 1 участника) | |||
Строка 4: | Строка 4: | ||
* [http://istina.msu.ru/profile/Sav/ Профиль в системе ИСТИНА] | * [http://istina.msu.ru/profile/Sav/ Профиль в системе ИСТИНА] | ||
− | == | + | == Области научных интересов == |
* Теория алгоритмов и сложности вычислений | * Теория алгоритмов и сложности вычислений | ||
* Классы рекурсивных функций, их машинные и алгебраические описания | * Классы рекурсивных функций, их машинные и алгебраические описания | ||
+ | |||
+ | === Разъяснение для студентов === | ||
+ | |||
+ | Указанные научные области являются разделами теоретический математики. Результаты этих областей обычно находятся достаточно далеко от возможности напрямую использовать их в прикладных задачах. | ||
+ | |||
+ | В указанных научных областях возможна работа с абстрактными вычислительными устройствами (вроде машин Тьюринга) и другими теоретическими способами задания алгоритмов и алгоритмических описаний множеств (языков) и функций. Работа с этими математическими объектами и построение алгоритмов в подобных моделях могут быть отдалённо похожи на программирование на очень специфических, сильно ограниченных языках программирования. Однако любые подобные задачи не предполагают программирования на стандартных прикладных языках программирования. | ||
== Лекционные курсы == | == Лекционные курсы == | ||
* [[Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)]] | * [[Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)]] | ||
− | * [[Модели вычислений]] | + | * [[Модели вычислений]] (МК, 4-й курс) |
+ | * [[Функциональные системы]] (МК, магистратура) |
Текущая версия на 20:18, 12 сентября 2024
Савицкий Игорь Владимирович — кандидат физико-математических наук, младший научный сотрудник лаборатории ДУСП кафедры МК.
Области научных интересов
- Теория алгоритмов и сложности вычислений
- Классы рекурсивных функций, их машинные и алгебраические описания
Разъяснение для студентов
Указанные научные области являются разделами теоретический математики. Результаты этих областей обычно находятся достаточно далеко от возможности напрямую использовать их в прикладных задачах.
В указанных научных областях возможна работа с абстрактными вычислительными устройствами (вроде машин Тьюринга) и другими теоретическими способами задания алгоритмов и алгоритмических описаний множеств (языков) и функций. Работа с этими математическими объектами и построение алгоритмов в подобных моделях могут быть отдалённо похожи на программирование на очень специфических, сильно ограниченных языках программирования. Однако любые подобные задачи не предполагают программирования на стандартных прикладных языках программирования.
Лекционные курсы
- Дополнительные главы дискретной математики и кибернетики (2-й поток, 4 курс)
- Модели вычислений (МК, 4-й курс)
- Функциональные системы (МК, магистратура)