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