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