Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования

Федеральное государственное бюджетное образовательное учреждение
высшего профессионального образования
«Саратовский государственный технический университет
имени Гагарина Ю.А.»
Кафедра «Информационная безопасность автоматизированных систем»
АННОТАЦИЯ К РАБОЧЕЙ ПРОГРАММЕ
по дисциплине
«Б.3.2.2 Функциональное и логическое программирование»
направления подготовки
«230100.62 Информатика и вычислительная техника»
Профиль «Программное обеспечение средств вычислительной техники и
автоматизированных систем»
форма обучения – очная
курс – 3
семестр – 6
зачетных единиц – 5
часов в неделю – 4
всего часов – 180
в том числе:
лекции – 36
лабораторные занятия – 36
самостоятельная работа – 108
экзамен – 6 семестр
Рабочая программа обсуждена на заседании кафедры
«28» 08 2013 года,
протокол № 1
Зав. кафедрой _____________/Байбурин В.Б./
Рабочая
программа утверждена на заседании
УМКС/УМКН
«03» 09 2013 года,
протокол № 1
Председатель УМКС/УМКН _______/ Байбурин В.Б /
Саратов 2013
1.Цели и задачи дисциплины, ее место в учебном процессе.
1.1. Цель преподавания дисциплины: целью преподавания дисциплины является
обучение
студентов
основам
логического
и
функционального
программирования, методам решения логических задач и основам
программирования на языках PROLOG и LISP.
1.2. Задачи изучения дисциплины: задачей курса является знакомство и
практическое освоение основных принципов логического и функционального
программирования. Овладение практическими навыками составления и отладки
программ на языках программирования PROLOG и LISP.
1.3. Перечень дисциплин, усвоение которых необходимо для изучения данной
дисциплины: «Программирование», «Технология разработки программного
обеспечения», «Объектно-ориентированное программирование».
2. Место дисциплины в структуре ООП ВПО
Дисциплина "Функциональное и логическое программирование" относится к
числу дисциплин специализации профессионального цикла.
Для успешного усвоения данной дисциплины необходимо, чтобы студент владел
знаниями, умениями и навыками, сформированными в процессе изучения
дисциплин: Программирование, Математическая логика и теория алгоритмов,
Дискретная математика.
3.Требования к знаниям и умениям студентов по дисциплине.
Изучение дисциплины
компетенций: ПК3,ПК4,ПК5.
направлено
на
формирование
следующих
Студент должен знать:
по разделу «Функциональное программирование»: рекурсивные
функции и лямбда-исчисление А.Черча; программирование в функциональных
обозначениях; функциональные языки; понятие строго функционального языка;
приемы программирования; представление и интерпретация функциональных
программ; отладка программ; конкретные реализации языков функционального
программирования на примере языка LISP; применение функционального
программирования для задач искусственного интеллекта.
по разделу «Логическое программирование»: основные принципы
логического программирования, методы представления знаний, декларативный и
процедурный подходы к пониманию задач программирования, понятие прямой и
обратной цепочки вывода, понятие унификации и бэктрекинга, структуру
программы на языке Пролог, понятие рекурсии, отсечения, методы работы со
списками, понятие динамических баз данных и их методы реализации на
Прологе, методы решения игровых задач на Прологе, основные этапы решения
типовых задач искусственного интеллекта, понятие экспертной системы,
основные методы реализации экспертных систем.
Студент должен уметь: решать учебные типовые задачи искусственного
интеллекта на языках функционального и логического программирования,
проводить системный анализ предметной области, разрабатывать структуру
знаний для решения конкретной задачи, составлять программы на языке Лисп и
Пролог.