Размер шрифта
Цветовая схема
Изображения
Обычная версия сайта

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

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

Рабочая программа и аннотация - РП-АВС-М-80145.2021 (5).pdf - для просмотра файла необходимо авторизоваться

Методические рекомендации - Методические рекомендации от АНН.pdf

Аннотация

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