Аппликативные вычислительные системы

УМКД дисциплины

Аннотация

1. Цели и задачи изучения дисциплины Целью дисциплины является получение представления о простейшем языке семейства аппликативных языков, чистом лямбда-исчислении, термы которого, называемые также объектами или лямбда-термами, построены исключительно из переменных применением аппликации и абстракции. Задача дисциплины – это изучить конструирование объектов на основе лямбда - конверсии и редукции. 2. Краткая характеристика учебной дисциплины Дисциплина состоит из одного раздела и четырех тем. 3. Место дисциплины в структуре образовательной программы Дисциплина входит в вариативную часть "Блок 1" образовательной программы магистратуры, реализуется на 2-м году обучения с трудоемкостью освоения - 4.0 Зет. 4. Взаимосвязь дисциплины с предшествующими и последующими дисциплинами учебного плана подготовки Знания, полученные в ходе изучения дисциплины «Аппликативные вычислительные системы» необходимы для выпускной квалификационной работы. 5. Ожидаемые результаты освоения дисциплины В результате освоения дисциплины, у обучающихся должны быть сформированы следующие компетенции: ПК 8 - Способность проектировать распределенные информационные системы, их компоненты и протоколы их взаимодействия ПК 9 - Cпособность проектировать системы с параллельной обработкой данных и высокопроизводительные системы и их компоненты ПК 12 - Способность выбирать методы и разрабатывать алгоритмы решения задач управления и проектирования объектов автоматизации