Рабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование»



Скачать 26.08 Kb.
Дата22.12.2012
Размер26.08 Kb.
ТипРабочая программа
РАБОЧАЯ ПРОГРАММА пк4 D users ucit рабпрог спец2204

по дисциплине «Функциональное и логическое программирование»

для студентов, обучающихся по специальности 220400

«Программное обеспечение вычислительной техники

и автоматизированных систем»

Направление 552800 «Информатика и вычислительная техника» (бакалавр)
Л. 34 ч., Пр. 17 ч., Лаб. раб. 17 ч., Инд. раб.34 ч., РГР (2), Сам. раб. 69 ч., Экз., ГЭ, Всего 171 ч.
Функциональное и логическое программирование (выдержка из ГОСВПО) :

рекурсивные функции и лямбда-исчисление А. Черча; программирование в функциональных обозначениях; функциональные языки; строго функциональный язык; приёмы программирования; представление и интерпретация функциональных программ; отладка программ; конкретные реализации языков функционального программирования; соответствие между функциональными и императивными программами; применения функционального программирования; логическая программа: основные конструкции, операционная и декларативная семантика, интерпретация, корректность; программирование баз данных; рекурсивное программирование; вычислительная модель; анализ структуры термов; металогические предикаты; внелогические предикаты; недетерминированное программирование; неполные структуры данных; программирование второго порядка; методы поиска; обработка нечётких данных; Constraint – Пролог: операционная семантика; применение логического программирования в задачах искусственного интеллекта.

Темы лекционных занятий:


1. Общие сведения о языках логического и функционального программирования. (Декларативное программирование. Логическое программирование PROLOG.)

2. Основные элементы языка. (Предикаты. Арность. Факты, правила. Домены.)

3. Принципы поиска с возвратом. («Зелёное» и «красное» отсечения.)

4. Арифметические вычисления. (Функторы. Составные объекты данных.)

5. Рекурсия.

6. Списки.

7. Деревья. (Упорядоченные, неупорядоченные и поисковые деревья. Упорядоченность.)

8. Динамические базы данных. (Объявление. Добавление. Сохранение. Анализ потока параметров.)

9. Файлы. (Стандартные предикаты.)

10. Графы. (Ориентированные и неориентированные. Ациклический путь. Гамильтонов путь. Остовное дерево графа.)

11. Язык PROLOG. (Ветвления. Отсечение. Проекты.)

12. Язык функционального программирования LISP. (Лямбда – исчисление А. Чёрча.)

13. Особенности языка LISP. (Атомы, списки. Инфиксная и префиксная нотации. Функции и процедуры.)

14. Базовые функции. (Предикаты. Псевдофункции. Структуры языка LISP)

15. Рекурсия. (Простая, по значению, по аргументу, параллельная.) Функциональные аргументы. Функционалы. Макросы.

16. Перспективы развития.
Основная литература:

1. Братко И. Программирование на языке Пролог для искусственного интеллекта.

2.
Доорс Дж., Рейблейн А.Р., Вадера С. Пролог – язык программирования будущего.

3. Ин Ц., Соломон Д. Использование Турбо – Пролога.

4. Клоксин У., Меллиш Д. Программирование на языке Пролог.

5. Стерлинг Л., Шапиро Э. Искусство программирования на языке Пролог.

6. Стобо Дж. Язык Программирования Пролог.

7. Хендерсон П. Функциональное программирование: применение и реализация.

8. Хювёнен Э. Сеппянен Й. Мир Лиспа.

9. Гаврилов А.В., Новицкая Ю.В. Основы программирования на Турбо – Прологе (учебное пособие).

10. Малпас Дж. Реляционный язык Пролог и его применение.

11. Маурер У. Введение в программирование на языке ЛИСП.

12. Сырецкий Г.А. Информатика. Часть III. Основы логического программирования на PDC Prolog (учебное пособие).

13. Янсон А. Турбо – Пролог в сжатом изложении.

Похожие:

Рабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование» iconРабочая программа дисциплины функциональное и логическое программирование
Для подготовки дипломированных специалистов по направлению 657100–”Прикладная математика по специальности 073000–“Прикладная математика...
Рабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование» iconРабочая программа по курсу "Функциональное программирование" Специальность: 351500. 65 «Математическое обеспечение и администрирование информационных систем»
«Функциональное программирование» составлена на основании Государственного образовательного стандарта высшего профессионального образования...
Рабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование» iconРабочая программа дисциплины функциональное программирование
Программирование с помощью функций и процедур. Рекурсивные функции и лямбда-исчисление А. Черча
Рабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование» iconВопросы к экзамену По дисциплине "Функциональное и логическое программирование". Весенний семестр 2007/2008 учебного года
Применение накапливающих параметров в функциональных программах. Примеры использования накапливающих параметров вспомогательными...
Рабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование» iconЭкзаменационные вопросы по дисциплине "Функциональное и логическое программирование"
Классификация языков программирования. Особенности и классификация декларативных языков программирования
Рабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование» iconКурсовой проект По дисциплине «Функциональное и логическое программирование» для специальности 2204
Необходимо идентифицировать указанные в индивидуальном задании фигуры, определить их положение, размер, проанализировать, отсортировать...
Рабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование» iconВопросы к экзамену по курсу «Функциональное и логическое программирование»
Особенности функционального программирования, его отличие от императивного программирования. Понятие функции
Рабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование» iconРабочая программа дисциплины функциональное программирование
Для подготовки дипломированных специалистов по направлению 654600 –“Информатика и вычислительная техника” по специальности 220400...
Рабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование» iconРабочая программа дисциплины Рекурсивно-логическое программирование Направление подготовки
Формирование у студентов общих методологичеких основ и практических навыков разработки программных систем с использованием рекурсивно-логического...
Рабочая программа пк4 d users ucit рабпрог спец2204 по дисциплине «Функциональное и логическое программирование» iconРабочая программа по дисциплине «Риторика»
Рабочая программа составлена на основании требований Государственного образовательного стандарта высшего профессионального образования...
Разместите кнопку на своём сайте:
ru.convdocs.org


База данных защищена авторским правом ©ru.convdocs.org 2016
обратиться к администрации
ru.convdocs.org