Описание:
Дисциплина ДМ (МВ) показывает возможности семантической теории вычислений и дает представление о вычислении значения выражения, об основных приложениях к семантикам языков программирования, моделям объектов данных и языкам запросов, об установлении смысла вычисления значения в зависимости от среды вычислений. Охватываются вопросы использования ламбда-исчисления и комбинаторов. Демонстрируются возможности и преимущества комбинаторно полных теорий вычислений, в которых изучаются унифицированные представления выражений в комбинаторных базисах.
Дисциплина ДМ (МВ) развивает и формирует целостное представление о вычислениях с объектами и об их связи с системами высших порядков, дает знание структуры формальной системы комбинаторной логики и ламбда-исчисления, способствует овладению навыками применения форм представления объектов, комбинаторной редукции, экспансии и конверсии. Понятийная основа курса способствует развитию навыка выполнения исследований в области аппликативного компьютинга, а также овладению кругом идей наиболее актуальных аппликативных вычислительных технологий и языков.
Структура:
Семестр |
Всего (ч) (Лекц / Практ. / Лаб.) |
Аттестация |
2 |
144 (15 / 30 / 15) |
Экзамен |
Итого |
144 (15 / 30 / 15) |
Экзамен |
Компетенции:
- УК-1 - Способен осуществлять критический анализ проблемных ситуаций на основе системного подхода, вырабатывать стратегию действий
- УК-6 - Способен определять и реализовывать приоритеты собственной деятельности и способы ее совершенствования на основе самооценки
- ПК-1 - способен применять основы философии и методологии науки
- ПК-2 - способен применять методы научных исследований и навыки их проведения