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




Скачать 143.56 Kb.
НазваниеУчебно-методический комплекс по дисциплине по выбору «основы логического программирования» для специальности
Дата публикации24.03.2013
Размер143.56 Kb.
ТипУчебно-методический комплекс
shkolnie.ru > Информатика > Учебно-методический комплекс


Министерство образования и науки Российской Федерации

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

высшего профессионального образования

«Армавирская государственная педагогическая академия»

Институт прикладной информатики, математики и физики

Факультет прикладной информатики и информационных технологий

Кафедра информатики и информационных технологий обучения


Утверждено на заседании кафедры

Протокол №_____ от ”_____”_______________2012г.
Зав. кафедрой___________________

^ УЧЕБНО-МЕТОДИЧЕСКИЙ КОМПЛЕКС

по дисциплине по выбору

«ОСНОВЫ ЛОГИЧЕСКОГО ПРОГРАММИРОВАНИЯ»

для специальности

ПРИКЛАДНАЯ ИНФОРМАТИКА В ЭКОНОМИКЕ
^


2 курс, 4 семестр.

Форма отчетности: зачет
Составитель: Козырева Г.Ф.

Армавир, 2012
1. ПОЯСНИТЕЛЬНАЯ ЗАПИСКА.
Курс “Основы логического программирования ” предназначен для ознакомления студентов с технологией логического программирования Основная задача курса заключается в том, чтобы дать студентам представления о возможностях декларативных языков программирования, ознакомить студентов с методами программирования на этом языке, показать спектр задач, решаемых с помощью этих языков.

Теоретическая часть курса включает в себя рассмотрение ПРОЛОГа на концептуальном уровне; изучение основных понятий, особенностей представления данных, наиболее типичных для декларативных языков программирования; задач и методов их решения. Практическая часть предполагает реализацию полученных знаний в виде программ на ЭВМ.

В результате изучения курса “Основы логического программирования ” будущий специалист должен иметь четкие представления о ПРОЛОГе как о языке, используемом для решения задач в области экономики. Студенты должны уметь средствами ПРОЛОГа решать простейшие задачи создания динамических баз данных, поиска информации в базе знаний. Курс “Основы логического программирования” должен расширить представления будущего информатика-экономиста о возможностях вычислительной техники, сферах ее применения, показать наиболее перспективные направления развития информатизации общества.

Содержание курса “Основы логического программирования” составляет лекционный курс и лабораторные занятия. Лекционный курс позволяет изложить необходимый материал и создает теоретическую основу для практической отработки приемов решения задач. Лабораторные занятия проводятся по подгруппам и предусматривают реализацию полученных студентами заданий в виде программ на ЭВМ. Задания для лабораторных занятий имеют проблемный характер, наиболее типичный для задач, решаемых методами и средствами декларативного программирования.

В результате изучения курса «Основы логического программирования» студент должен иметь представление:

  • о множестве задач, решаемых с применением декларативного программирования и о методах их решения с использованием языков логического;

  • о месте и роли, о состоянии развития современных декларативных языков, о проблемах и направлениях развития декларативного программирования;

  • о вопросах представления данных для решения задач логического программирования, о приемах разработки программ с применением декларативных языков программирования.

Студент должен знать:

  • базовые понятия и определения, используемые в логическом программировании;

  • методы и уровни представления данных, способы обработки и хранения данных;

  • основы технологии программирования в программных средствах, используемых в современных декларативных языках.

Студент должен уметь:

  • разрабатывать и тестировать программы с применением программных средств, используемых в современных декларативных языках;

  • использовать специальную литературу в изучаемой предметной области.


^ 2. ТЕМАТИЧЕСКИЙ ПЛАН УЧЕБНОЙ ДИСЦИПЛИНЫ.

№


Всего
В т.ч. аудиторных,час
Самост.



^

Раздел, тема
часов
Всего
Из них
работа,










аудит.
Лекции
Лаб. работы
час

1
2
3
4
5
6
7

1
Искусственный интеллект: предмет, история развития, направления исследований.
4
2
2



2

2
Система знаний. Модели представления знаний

4
2
2



2

3
Экспертные системы.
4
2
2



2

4
Представление о логическом программировании Среда программирования Visual Prolog.
8
4
2
2
4

5
Основы языка ПРОЛОГ

Предложения: факты и правила. Запросы
6
3
2
2
3

6
Переменные в ПРОЛОГе Объекты и типы данных в ПРОЛОГе. Структура программы на ПРОЛОГе.
8
4
2
2
4

7
Поиск с возвратом. Управление поиском с возвратом: предикаты fail и отсечения
8
4
2
2
4

8
Арифметические вычисления.
6
3
1
2
3

9
Рекурсия. Достоинства и недостатки рекурсии.
6
3
1
2
3

10
Списки. Операции со списками.
12
6
2
4
6

11
Технология визуального программирования в среде Visual Prolog.

12
6
2
4
6

Итого:
80
40
20
20
40


^ 3. СОДЕРЖАНИЕ УЧЕБНОЙ ДИСЦИПЛИНЫ.
3.1. Содержание лекций.
Лекция № 1.

Тема: Искусственный интеллект: предмет, история развития, направления исследований.

Содержание:

  1. История возникновения и современные направления исследований в области ИИ.

  2. Машинный интеллект и робототехника.

  3. Спектр задач, решаемых в области искусственного интеллекта.


Лекция № 2.

Тема: Система знаний. Модели представления знаний.   

Содержание:

  1. Данные и знания. Знания декларативные и процедурные.

  2. Сетевая модель представления знаний.

  3. Фреймовая модель представления знаний.

  4. Логическая и продукционная модели представления знаний.


Лекция № 3.

Тема: Экспертные системы.

Содержание:

  1. Общая характеристика ЭС.

  2. Структура и режимы использования ЭС.

  3. Классификация инструментальных средств в ЭС.

  4. Организация знаний в ЭС. Виды ЭС. Типы задач решаемые в ЭС.

  5. Основные этапы разработки ЭС.


Лекция № 4.

Тема: Представление о логическом программировании. Среда программирования Visual Prolog.

Содержание:

  1. Процедурные и декларативные языки программирования. Назначение декларативных языков, их особенности.

  2. Использование ПРОЛОГа для решения задач, связанных с проблемами искусственного интеллекта.

  3. Фундаментальные свойства ПРОЛОГа.

  4. Предикаты как отношения между объектами. Структура предикатов.

  5. Среда программирования Visual Prolog: возможности, структура.


Лекция № 5.

Тема: Основы языка ПРОЛОГ. Предложения: факты и правила. Запросы.

Содержание:

  1. Представление данных при помощи фактов. Факты унарные, бинарные, n-нарные. Примеры записи фактов.

  2. Предложения-правила в ПРОЛОГе. Структура правила. База знаний в ПРОЛОГе. Примеры записи правил.

  3. Цели программы, их назначение. Цели простые и составные. Конъюнкция и дизъюнкция целей. Запросы с константами и запросы с переменными. Примеры запросов.


Лекция № 6.

Тема: Объекты данных. Структура программы ПРОЛОГа.

Содержание:

  1. Классификация объектов данных: атомы и числа, переменные, структуры.

  2. Стандартные типы данных.

  1. Разделы программы: domains, database, predicates, goal, clauses.

  2. Описание доменов и предикатов.

  1. Примеры.


Лекция № 7.

Тема: Поиск с возвратом. Управление поиском

Содержание:

  1. Основные принципы поиска с возвратом в ПРОЛОГе. Сопоставление и унификация

  2. Управление поиском с возвратом: предикаты fail и отсечения

  3. Примеры.


Лекция № 8.

Тема: Арифметика в ПРОЛОГе. Рекурсия.

Содержание:

  1. Математические операции и функции в Прологе.

  2. Запись математических выражений. Примеры.

  3. Рекурсия, ее достоинства и недостатки.

  4. Методы организации рекурсии.

  5. Примеры решения задач.


Лекция № 9.

Тема: Списки.

Содержание:

  1. Понятие списка в ПРОЛОГе. Представление списков. Структура списка.

  2. Стандартные задачи обработки списков: генерирование списка, объединение списков, определение длины списка, удаление и вставка элемента в список.

3.Примеры.
Лекция № 10.

Тема: Технология визуального программирования в среде Visual Prolog.

Содержание:

  1. Разработка проекта с графическим интерфейсом в среде Visual Prolog .

  2. Элементы графического интерфейса.

  3. События и методы их обработки.

  4. Примеры.



^ 3.2. Содержание лабораторных работ.
Лабораторная работа № 1.

Тема: Среда программирования Visual Prolog.

  1. Структура среды.

  2. Работа с окнами.

  3. Открытие и сохранение файлов.

  4. Запуск программ на исполнение в режиме Test Goal.



Лабораторная работа № 2.

Тема: Факты и правила. Запросы.

  1. Примеры записи утверждений.

  2. Отработка практических навыков по формулировке целей. Запись простых и составных целей.

  3. Отработка практических навыков по набору и редактированию простейших программ.

  4. Примеры построения правил.

  5. Решение задач на построение новых правил.

  6. Составление простейших программ.

  7. Реализация программы на ПЭВМ.

  8. Защита и анализ выполненных заданий.


Лабораторная работа № 3.

Тема: Структура программы в ПРОЛОГе.

  1. Создание простейших проектов.

  2. Отработка практических навыков по набору и редактированию простейших программ.

  3. Реализация программы на ПЭВМ.

  4. Защита и анализ выполненных заданий.


Лабораторная работа № 3.

Тема: Поиск с возвратом

  1. Изучение механизм поиска с возвратом на примере программы.

  2. Реализация программы на ПЭВМ.

  3. Трассировка программы в среде Visual Prolog.

  4. Построение целевого дерева поиска решения.

  5. Анализ выполненных заданий.


Лабораторная работа № 4.

Тема: Управление поиском с возвратом: предикат fail и отсечения

  1. Примеры программ с повторяющимися действиями.

  2. Примеры программ с отсечением.

  3. Отработка практических навыков составления программ, содержащих повторяющиеся действия.

  4. Реализация программы на ПЭВМ.

  5. Контрольная работа 1.

  6. Анализ контрольной работы.


Лабораторная работа № 5.

Тема: Арифметика в Прологе.

  1. Примеры программ с арифметическими действиями.

  2. Отработка практических навыков составления программ, содержащих арифметические действия.

  3. Реализация программы на ПЭВМ.

  4. Анализ выполненных заданий.


Лабораторная работа № 7.

Тема: Рекурсия.

  1. Примеры задач на рекурсию.

  2. Решение задач методом простой рекурсии.

  3. Решение задач методом обобщенного правила рекурсии.


Лабораторная работа № 8.

Тема: Работа со списками.

План.

  1. Составление программ формирования списков.

  2. Операции над списками: объединение списков, вставка элемента в список, удаление элемента из списка.

  1. Реализация программ на ПЭВМ.

  2. Анализ выполненных заданий.


Лабораторная работа № 9.

Тема: Проекты с графическим интерфейсом

  1. Разработка проекта с графическим интерфейсом

  2. Использование главного меню.

  3. Реализация программ на ПЭВМ.

  4. Анализ выполненных заданий.


Лабораторная работа № 10.

Тема: Создание новых окон в проекте.

  1. Разработка проекта с использованием новых окон.

  2. Использование кнопок и полей ввода.

  3. Реализация программ на ПЭВМ.

  4. Анализ выполненных заданий.



^ 3.4.Содержание и виды самостоятельной работы студентов
1) Проработка лекционного материала.

2) Работа с литературой:

  1. к лекции № 1 [1], [6], [7];

  2. к лекции № 2 [3], [5],[7], [8];

  3. к лекции № 3 [1], [5], [7], [8];

  4. к лекции № 4 [3], [5], [7], [8];

  5. к лекции № 5 [3], [4], [7], [8];

  6. к лекции № 6 [1], [3], [4], [5];

  7. к лекции № 7 [1], [3], [4], [8];

  8. к лекции № 8 [3], [5],[7], [8];

  9. к лекции № 9 [1], [5], [7], [8];



3) Подготовка к лабораторным занятиям.
Изучить литературу:

  1. к лаб. раб. № 1 [1], [3], [7];

  2. к лаб. раб. № 2 [1], [2],[5], [8];

  3. к лаб. раб. № 3 [3], [4], [5], [8];

  4. к лаб. раб. № 4 [1], [4], [7], [8];

  5. к лаб. раб. № 5 [1], [3], [7];

  6. к лаб. раб. № 6 [1], [3], [4], [8].

  7. к лаб. раб. № 7 [1], [3], [7];

  8. к лаб. раб. № 8 [1], [2],[5], [8];

  9. к лаб. раб. № 9 [3], [4], [5], [8];

  10. к лаб. раб. № 10 [1], [4], [7], [8];

  11. к лаб. раб. № 11 [1], [3], [7];

  12. к лаб. раб. № 12 [1], [3], [4], [8].


^ 4. РЕКОМЕНДАЦИИ ПО ОРГАНИЗАЦИИ

САМОСТОЯТЕЛЬНОЙ РАБОТЫ СТУДЕНТОВ
Самостоятельная работа студентов состоит в изучении рекомендуемой литературы, проработке лекционного материала, выполнения предложенных заданий.

Особое значение имеет самостоятельная работа студентов в компьютерном классе, где они должны получить прочные навыки реализации составленной программы на ЭВМ, умения по набору, редактированию и запуску программы. Одним из результатов самостоятельной работы за ЭВМ является развитие навыков по проведению анализа результатов выполнения программы, умения доказывать правильность составленного алгоритма.

Самостоятельная работа студентов должна быть направлена на формирование и углубление практических навыков работы с ЭВМ, на овладение приемами постановки и разработки основных этапов решения задачи. В течение семестра студенты должны изучить основные понятия и методы решения задач на ПРОЛОГе.

^ 5.ТРЕБОВАНИЯ К ЗАЧЕТУ
Выполнение и защита всех лабораторных работ.


6. СПИСОК РЕКОМЕНДУЕМОЙ ДЛЯ ИЗУЧЕНИЯ ЛИТЕРАТУРЫ
6.1. Основная литература

  1. Братко И. Программирование на языке ПРОЛОГ для искуственного интеллекта.- М., 1990.

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

  3. Клоксин У., Меллиш К. Программирование на языке ПРОЛОГ. -М., 1991.

  4. Макаллистер Дж. Искусственный интеллект и Пролог на микроЭВМ.- М., 1990.

  5. Янсон А. Турбо-Пролог в сжатом изложении. -М.,1990.


^ 6.2.Дополнительная литература

  1. Бир Ст. Кибернетика и управление производством. - М., 1963.

  2. Вейценбаум Дж. Возможности вычислительных машин и человеческий разум. От суждений к вычислениям. М., 1982.

  3. Гутенмахер Л.И. Электронные информационно-логические машины, - М., 1970.

  4. Кирсанов Б.С., Попов Э.В. Экспертные системы. Состояние и перспективы.-В сб. “Экспертные системы”.-М., 1986.

  5. Попов Э.В. Экспертные системы. М., 1987.

  6. Рейтман В.Р. Разработка программ для решения интеллектуальных проблем. “Зарубежная радиоэлектроника”, 1982, №1.

  7. Симонс Дж. ЭВМ пятого поколения: компьютеры 90-х годов. - М., 1985 г.

  8. Тимофеев А.В. Информатика и искусственный интеллект.- М.,1992.


Похожие:

Учебно-методический комплекс по дисциплине по выбору «основы логического программирования» для специальности iconУчебно-методический комплекс по дисциплине по выбору « дв4» «Основы программирования»
«Основы программирования» разработан в соответствии с требованиями фгос впо (федеральный или региональный компонент) к обязательному...
Учебно-методический комплекс по дисциплине по выбору «основы логического программирования» для специальности iconУчебно-методический комплекс по дисциплине по выбору « дв4» «Основы программирования»
«Основы программирования» разработан в соответствии с требованиями фгос впо (федеральный или региональный компонент) к обязательному...
Учебно-методический комплекс по дисциплине по выбору «основы логического программирования» для специальности iconУчебно-методический комплекс по дисциплине по выбору « дв4» «Основы программирования»
«Основы программирования» разработан в соответствии с требованиями фгос впо (федеральный или региональный компонент) к обязательному...
Учебно-методический комплекс по дисциплине по выбору «основы логического программирования» для специальности iconУчебно-методический комплекс по дисциплине по выбору « дв4» «Основы программирования»
«Основы программирования» разработан в соответствии с требованиями фгос впо (федеральный или региональный компонент) к обязательному...
Учебно-методический комплекс по дисциплине по выбору «основы логического программирования» для специальности iconУчебно-методический комплекс по факультативному курсу Основы программирования для специальности
Настоящий курс призван содействовать формированию и развитию логического и алгоритмического мышления, программистской культуры будущих...
Учебно-методический комплекс по дисциплине по выбору «основы логического программирования» для специальности iconУчебно-методический комплекс по дисциплине по выбору «введение в...
Основная задача курса заключается в том, чтобы дать студентам представления о возможностях декларативных языков программирования,...
Учебно-методический комплекс по дисциплине по выбору «основы логического программирования» для специальности iconУчебно-методический комплекс по дисциплине по выбору «введение в...
Основная задача курса заключается в том, чтобы дать студентам представления о возможностях декларативных языков программирования,...
Учебно-методический комплекс по дисциплине по выбору «основы логического программирования» для специальности iconУчебно-методический комплекс по дисциплине по выбору «графические...
Главная цель курса формирование системы понятий, знаний, умений и навыков в области современного программирования, включающего в...
Учебно-методический комплекс по дисциплине по выбору «основы логического программирования» для специальности iconУчебно-методический комплекс по дисциплине «Практикум решения задач...
Изучение курса опирается на полный цикл базовых знаний по дисциплинам «Основы программирования» и «Программирование», включающий...
Учебно-методический комплекс по дисциплине по выбору «основы логического программирования» для специальности iconУчебно-методический комплекс по дисциплине «Практикум решения задач...
Изучение курса опирается на полный цикл базовых знаний по дисциплинам «Основы программирования» и «Программирование», включающий...
Вы можете разместить ссылку на наш сайт:
Школьные материалы

При копировании материала укажите ссылку © 2014
shkolnie.ru
Сочинения
Лекции
Рассказы
Справочники
Уроки
Доклады

История
Философия
Финансы
Экономика

Главная страница