Аннотация рабочей программы дисциплины
«Функциональное и логическое программирование»

Цель изучения дисциплины Целями освоения дисциплины являются:
изучение декларативного логического и функционального подхода программирования;
изучение способов и механизмов управления данными;
Изучение дисциплины направлено:
на формирование у студентов необходимую теоретическую базу и практические навыки для создания программных продуктов с использованием одного или нескольких языков программирования;
на формирование навыков реализации алгоритмов на высокоуровневом декларативном языке программирования; разработки, отладки и тестирования программ;
на подготовку обучающихся к системному восприятию дальнейших дисциплин из учебного плана, использующих навыки алгоритмизации и декларативного программирования;
на получение представлений об основных идеях декларативного программирования и развитие способностей сознательно использовать материал курса, умение разбираться в существующих языковых и программных средствах и условиях их применения.
Место дисциплины в учебном плане Б1.В
Формируемые компетенции ПК-23
Знания, умения и навыки, получаемые в результате освоения дисциплины
Знать:
о различных парадигмах программирования и современном уровне развития языков и технологий программирования;
о сложности программных систем и методах ее преодоления;
об основах построения трансляторов.
Уметь:
Знать:
терминологию (понятийный аппарат) анализа, проектирования, программирования и тестирования программных систем;
этапы и стадии разработки программных продуктов;
теорию алгоритмов;
основные управляющие конструкции императивных языков программирования (циклы, условные выражения и т.д.);
элементы теории рекурсивных функций;
синтаксис и базовые конструкции языка Prolog,Erlang.
Уметь:
выполнять анализ предметной области с целью выявления основных сущностей, их свойств и поведения, актуальных для поставленной задачи;
строить алгоритмы выполнения программы с использованием рекурсивных подпрограмм;
проектировать, создавать и тестировать простейшие программы на декларативных языках программирования;
использовать прикладные среды для написания и отладки программ.
Иметь навыки и (или) опыт деятельности (владеть):
построения математической модели и алгоритма для прикладной задачи;
написания и отладки программ на декларативном языке программирования.
Содержание дисциплины Основные понятия языков программирования. Язык Пролог.. Язык Erlang..
Виды учебной работы Лекции, лабораторные, самостоятельная работа.
Используемые информационные, инструментальные и программные средства
Strawberry Prolog
Erlang/OTP
Microsoft Windows
Microsoft Office
7-Zip
AcrobatReader
Научная электронная библиотека elibrary (http://elibrary.ru)
1. Электронная база данных «Scopus» (http://www.scopus.com);
2. Электронная библиотечная система Алтайского государственного университета (http://elibrary.asu.ru/);
3. Научная электронная библиотекаelibrary(http://elibrary.ru)
Форма промежуточной аттестации Зачет.