Учебно-методический комплекс по дисциплине по выбору дв2 «логическое программирование» - polpoz.ru o_O
Главная
Поиск по ключевым словам:
страница 1
Похожие работы
Название работы Кол-во страниц Размер
Учебно-методический комплекс по дисциплине Функциональное и логическое... 4 432.76kb.
Учебно-методический комплекс по дисциплине 9 1760.07kb.
О. И. Быльченко учебно-методический комплекс по дисциплине «история... 5 1542.05kb.
Учебно-методический комплекс по дисциплине «Дифференциальная психология» 1 359.67kb.
Учебно-методический комплекс (syllabus) 1 202kb.
Учебно-методический комплекс по дисциплине ен. Ф. 041. Программирование... 1 325.48kb.
Учебно-методический комплекс по дисциплине выбору «Информационная... 2 597.08kb.
Учебно-методический комплекс По дисциплине «Информатика и икт»10... 1 205.87kb.
Учебно-методический комплекс по дисциплине «Теория экономического... 4 577.49kb.
Учебно-методический комплекс по направлению: 080500. 62 (521500) 3 880.18kb.
Учебно-методический комплекс учебной дисциплины «Осадочные формации... 1 230.9kb.
Конкурса «Новое в технологии обучения» 1 32.58kb.
1. На доске выписаны n последовательных натуральных чисел 1 46.11kb.

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

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

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


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

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

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


Учебно-методический комплекс

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


Б3.ДВ2 «ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ»

шифр) (наименование дисциплины)

Направление подготовки 050100 Педагогическое образование

Профиль подготовки Информатика и информационные технологии в образовании

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


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

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

Протокол №___от

Зав. кафедрой__________________Бельченко В.Е.


Армавир, 2013


Обоснование УМК

Учебно-методический комплекс по дисциплине «Логическое программирование» разработан в соответствии с требованиями ФГОС ВПО к обязательному минимуму содержания и уровню подготовки дипломированного выпускника и предназначен для студентов, обучающихся по направлению 050100 Педагогическое образование.

Учебно-методический комплекс дисциплины рекомендован к утверждению учебно-методической комиссией на заседании кафедры информатики и информационных технологий обучения от «_____» ___________ 20__ г., протокол № __.

Автор (составитель): Козырева Г.Ф., кандидат педагогических наук, доцент

Учебно-методический комплекс дисциплины утвержден

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

«____»_________________ 20___ г. протокол № ____

Заведующий кафедрой ______________/ Бельченко В.Е.

СОДЕРЖАНИЕ
Организационно-программный раздел

Пояснительная записка

Цели и задачи освоения учебной дисциплины

Место учебной дисциплины в структуре ООП ВПО

Дидактический минимум содержания дисциплины

Требования к результатам освоения содержания дисциплины

Рабочая программа дисциплины

Место дисциплины в структуре рабочего учебного плана ООП

Структура учебной дисциплины

Содержание дисциплины

Тематический план изучения дисциплины

Виды занятий и их содержание

Планы и содержание лекционных занятий

Примерная тематика лабораторных занятий

Методическое обеспечение самостоятельной работы студентов

Оценочные средства для текущего контроля успеваемости, промежуточной аттестации по итогам освоения дисциплины

Технологическая карта дисциплины

Список рекомендуемой литературы

Содержание и порядок проведения мероприятий промежуточного контроля

Формы и содержание оценочных средств промежуточной аттестации по дисциплине

Учебно-методический раздел

Методические рекомендации по реализации дисциплины в учебном процессе

Методические рекомендации для преподавателя

Методические указания для студентов

Методические рекомендации по организации самостоятельной работы студентов

Организационно-программный раздел

Пояснительная записка


Современное состояние развития средств обработки информации с неизбежностью затрагивает социальную, культурную, научную и производственную сферы деятельности общества. Скорость изменений высока: уже сейчас знания специалиста практически любой области считаются не полными, если его компетенции в области информационных технологий не соответствуют сформировавшимся или формируемым в обществе запросам и стандартам. Профессиональная деятельность любого специалиста в настоящее время сопряжена с применениеv соответствующих компьютерных технологий.

Программа курса «Логическое программирование» предназначена для подготовки бакалавров в соответствии с требованиями, отраженными в государственном образовательном стандарте направления 050100 Педагогическое образование.

Предметом изучения учебной дисциплины «Логическое программирование» являются теоретические и практические аспекты разработки и использования систем искусственного интеллекта в области экономики.

Содержание курса определено требованиями Федерального государственного образовательного стандарта по направлению 050100 Педагогическое образование


Цели и задачи освоения учебной дисциплины

Цель дисциплины «Логическое программирование дать студентам представление о возможностях декларативных языков программирования, ознакомить студентов с методами программирования на этом языке, показать спектр задач, решаемых с помощью этих языков.

Задачи изучения дисциплины:


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

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

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


Место учебной дисциплины в структуре ООП ВПО

Дисциплина по выбору «Логическое программирование» предусмотрена в цикле профессиональных дисциплин.

Данная дисциплина изучается на 3 курсе. Для выполнения поставленных учебных задач предусмотрены две формы организации занятий: лекционная и практическая. Курс включает в себя 3 зачетные единицы: 108 часа, из них: 10 лекционных, 38 лабораторных, 60 часов - СРС.

При освоении содержания дисциплины «Логическое программирование» студенты используют знания, умения, навыки, сформированные в процессе изучения дисциплин Информационные технологии, Теория вероятностей и математическая статистика, Программное обеспечение ЭВМ и систем, Информационные системы

Освоение дисциплины «Логическое программирование» предваряет изучение специальных курсов, в которых используется инструментарий данной дисциплины, а также прохождение учебной и производственной практики.
Дидактический минимум содержания дисциплины

К основным дидактическим единицам, освоение которых необходимо для достижений целей и задач изучения дисциплины, рабочая программа дисциплины относит:



  1. Представление о логическом программировании. Спектр решаемых задач.

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

Требования к результатам освоения содержания дисциплины

Результатом освоения содержания дисциплины «Логическое программирование» являются обретение компетенций:



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

  • переработки информации, готов работать с компьютером как средством управления информацией (ОК-8);

  • способен работать с информацией в глобальных компьютерных сетях (ОК-9);

  • готов применять современные методики и технологии, в том числе и информационные, для обеспечения качества учебно-воспитательного процесса на конкретной образовательной ступени конкретного образовательного учреждения (СК-2);

  • способен применять современные методы диагностирования достижений обучающихся и воспитанников, осуществлять педагогическое сопровождение процессов социализации и профессионального самоопределения обучающихся, подготовки их к сознательному выбору профессии (СК-3);

  • способен использовать возможности образовательной среды, в том числе информационной, для обеспечения качества учебно-воспитательного процесса (СК-4).

В результате освоения дисциплины «Логическое программирование» обучающийся должен иметь представление:

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

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

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

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

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

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

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

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

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

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



Рабочая программа дисциплины

Список рекомендуемой литературы (основной, дополнительной)


Основная литература

  1. Адаменко, А.Н. Логическое программирование и Visual Prolog./ А.Н. Адаменк, Кучуков А.М. СПб.: Питер, 2003

  2. Козырева, Г.Ф. Лабораторный практикум на языке Visual Prolog: учебно-методическое пособие/ Г.Ф. Козырева, Армавир, 2004 -60 с

  3. Мельников, В.П. Логическое программирование: учебник /.- М.: ИНФРА-М, 2013.- 432 с.


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

  1. Ладенко И.С. Интеллектуальные системы в целевом управлении. 1987

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

  3. Гаврилова Т.А., Хорошевский Базы знаний интеллектуальных систем. 2001

  4. Безручко, В.Т. Информатика (курс лекций): учеб. пособ. / В.Т. Безручко.- М.: ИНФРА-М, 2013.- 432 с.

  5. Ветитнев, А.М. Логическое программирование в социально-культурном сервисе и туризме. Оргтехника: учеб. пособ. / А.М. Ветитнев, В.В. Коваленко, В.В. Коваленко.- М.: ФОРУМ, 2010.- 400 с.

  6. Интернет- технологии в экономике знаний: учебник / под ред. проф. Абдикеева Н.М.- М.: ИНФРА-М, 2012.- 448 с.

  7. Информатика. Базовый курс: учебник для вузов.- 3-е изд.- СПб.: Питер, 2012.- 640 с.

  8. Калабухова, Г.В. Компьютерный практикум по информатике. Офисные технологии: учеб. пособ. / Г.В. Калабухова.- М.: ИНФРА-М, 2013.- 336 с.

  9. Киселев, Г.М. Логическое программирование в педагогическом образовании: учебник / Г.М. Киселев, Р.В. Бочкова.- М.: Дашков и К, 2013.- 308 с.

  10. Корнилова Т.В., Тихомиров О.К. Принятие интеллектуальных решений в диалоге с компьютером. 1990

  11. Могилев А.В. и др. Информатика: учеб. пособие для пед. вузов./ Могилев А.В., Пак Н.И., Хеннер Е.К. 1999. УДК 6Ф7 ББK 32.81 а.з. М-74

  12. Могилев А.В. и др. Практикум по информатике: Учеб. пособие для студ. высш. учеб. заведений/ А.В. Могилев, Н.И. Пак, Е.К. Хеннер. 2001. УДК 518 ББK 32.81 а.з. М-74.

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

  14. Ясницкий Л.Н. Введение в искусственный интеллект: (учеб. пособие по спец.: "Математика").-Москва: Academia, 2005. -174C.


Периодические издания

  1. И.И. Филиппов. Кластерный подход к созданию системы нового поколения подготовки ИКТ-специалистов в вузах. Журнал "КомпьютерПресс". 2011, №12.

  2. Н. Елманова. Microsoft Office 2010. Журнал "КомпьютерПресс". 2010, №6.

  3. С. Асмаков, Н. Елманова, С. Пахомов. Перспективные технологии: итоги и прогнозы. Журнал "КомпьютерПресс". 2011, №1.

  4. С. Пахомов. Новые сетевые возможности в Windows 7. Журнал "КомпьютерПресс". 2009, №11.


Интернет-ресурсы

  1. http://agpu.net/fakult/ipimif/fpiit/kafinf/rabkab/FLP/Default.aspx

  2. http://pas1.ru/pascaltextbook

  3. http://www.pascal7.ru/

  4. http://alfa47.narod.ru/pascale.htm

  5. http://www.intuit.ru/department/pl/prinpas/1/

  6. http://www.intuit.ru/department/pl/plpascal/

  7. http://forcoder.ru/pascal/

Содержание и порядок проведения мероприятий промежуточного контроля

Формы и содержание оценочных средств промежуточной аттестации по дисциплине

Промежуточная аттестация обучающихся проводится в форме зачета.

Максимальная сумма баллов, которую студент может набрать за семестр по каждой дисциплине в ходе текущего и рубежного контроля, составляет 100 баллов. Для дисциплин, для которых формой промежуточного контроля является зачет, эта сумма баллов служит единственным основанием для получения (неполучения) студентом зачета. Никаких дополнительных форм проведения зачета не предусмотрено.

За учебную работу баллы распределяются следующим образом:

аудиторные занятия (посещение и работа на занятии) – 30 баллов;

самостоятельная работа – 30 баллов;

рубежный контроль – 40 баллов.

Конкретное распределение баллов по всем формам контроля, а также критерии деятельности студентов по данной дисциплине устанавливаются кафедрами самостоятельно. При разработке конкретного варианта системы (кафедрального положения о балльно-рейтинговой системе) учитываются особенности дисциплины и учебно-педагогические принципы ее преподавания на кафедре.

Для учета полученных студентами баллов, преподаватель обязан вести электронный журнал. Журнал разрабатывается с учетом специфики дисциплины (количества занятий, их видов, предпочтительной для преподавателя системы оценивания занятий). Разработка журнала проводится при участии отдела контроля качества подготовки специалистов. Электронный журнал состоит из двух частей: листа определений и листа учёта.

По завершении месяца данные электронного журнала переносятся в балльно-рейтинговый лист, который публикуется на странице кафедры в рабочем кабинете дисциплины (не позднее 3-го числа каждого месяца). Ежемесячный балльно-рейтинговый лист носит накопительный характер, т.е. в листе должны учитываться баллы, полученные студентом за предыдущий месяц. Балльно-рейтинговые листы хранятся на кафедре в течение одного года.

Для получения допуска к промежуточной аттестации (экзамену) студент должен набрать в общей сложности не менее 30 баллов и успешно пройти рубежный контроль по каждой дисциплине.

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

Зачет по дисциплине выставляется только на основе балльно-рейтинговой системы. Нижняя граница баллов для выставления зачета (порог успешности) равна 60 баллам.

Формы текущего и промежуточного контроля (в виде зачета), сроки контроля и темы, по которым проводится контроль, указаны в соответствующих таблицах.


Учебно-методический раздел

Методические рекомендации по реализации дисциплины в учебно-воспитательном процессе

Методические рекомендации для преподавателя

Лабораторные занятия проводятся в соответствии с методическим пособием [4, 22].

Для успешного выполнения лабораторных работ на каждом студенческом компьютере должна быть установлена среда Visual Prolog.

Преподаватель в процессе подготовки к проведению занятий исходит из того, что



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

  • в ходе проводимых занятий предлагаемые студентам задания, упражнения, темы рефератов и т.п. должны быть ориентированы на расширение спектра функциональных возможностей средств ИТ;

  • для приобщения обучаемых к поиску, к исследовательской работе, для развития их творческого потенциала следует по возможности избегать прямого руководства работой обучающихся при выполнении ими тех или иных заданий, чаще выступать в роли консультанта, эксперта, коллеги-исследователя;

  • данный курс предполагает значительный объём самостоятельной работы студентов. В частности, для выполнения заданий лабораторного практикума предполагается систематическая, целенаправленная работа студентов в сети Интернет, связанная с поиском материалов.


Методические рекомендации по самостоятельной работе студентов и изучению дисциплины
Основная работа заключается в выполнении и защите лабораторных работ.

Лабораторные занятия проводятся в соответствии с методическим пособием [2]. Работы могут выполняться и дома. Для этого необходимо скачать и установить среду Visual Prolog.

Каждая лабораторная работа должна быть оформлена и защищена в соответствии с требованиями см. [2]. Защита производится перед выполнением очередной лабораторной работы.

План-график выполнения СРС



Название работы

Срок выполнения (уч. неделя)

Л.р. № 1 из пособия [2]

3

Л.р. № 2 из пособия [2]

4

Л.р. № 3 из пособия [2]

5

Л.р. № 4 из пособия [2]

7

Л.р. № 5 из пособия [2]

8

Л.р. № 6 из пособия [2]

9

Л.р. № 7 из пособия [2]

10

Л.р. № 8 из пособия [2]

12

Л.р. № 9 из пособия [2]

13

Л.р. № 10 из пособия [2]

16

Л.р. № 11 из пособия [2]

17

Л.р. № 12 из пособия [2]

18

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

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

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

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

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

Кафедра информатики и ИТО

РАБОЧАЯ ПРОГРАММА

ДИСЦИПЛИНЫ по выбору

«Б3.ДВ2» «Логическое программирование»



(шифр) (наименование дисциплины)

Направление подготовки: 050100 Педагогическое образование

Профиль подготовки Информатика и информационные технологии в образовании

Квалификация (степень) выпускника бакалавр

Форма обучения очная

Армавир – 2013 г.

Лист согласования
Составитель: Козырева Галина Федоровна,
кандидат педагогических наук, доцент

Рабочая программа дисциплины (модуля) утверждена

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

«____»_________________ 20___ г. протокол № ____


Заведующий кафедрой __________________/ Бельченко В.Е./


Место дисциплины в структуре основной образовательной программы


Дисциплина по выбору «Логическое программирование» является одной из дисциплин профессионального цикла.

При освоении содержания дисциплины «Логическое программирование» студенты используют знания, умения, навыки, сформированные в процессе изучения дисциплин Информатика и программирование, Теория вероятностей и математическая статистика, Информационные системы и технологии.

Освоение данной дисциплины является основой для последующей профессиональной деятельности и научно-исследовательской работы студента.

Таблица 1. Распределение трудоемкости (в часах) дисциплины



Форма обучения

Курс

Трудоемкость

Лекции, час

Практич., час

Лаб.раб., час

СРС, час

Форма аттестации

зач.ед.

час

очная

3

3

108

10



38

60

зачет

В том числе в интерактивной форме







38









Структура учебной дисциплины
Таблица 2.

Содержание дисциплины



№ раздела

Наименование раздела

Форма рубежного контроля

1

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

Рубежное компьютерное тестирование

2

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

Защита лабораторных работы

Таблица 3.

Тематический план изучения дисциплины


№ п/п

Разделы курса, темы занятий

Всего часов

Всего аудит часов

Из них

СРС

Лекц.

Практ

Лаб.

1

Раздел 1: Представление о логическом программировании. Спектр решаемых задач.



















1.1

Тема 1.1.

Представление о логическом программировании.



11

1

1







10

1.2

Тема 1.2.

Спектр решаемых задач.



11

1

1







10

2

Раздел 2: Основы языка ПРОЛОГ.



















2.1

Тема 2.1. Общие сведения о Прологе.

Организация базы знаний в Прологе.



18

10

2




8*

8

2.2

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


18

10

2




8*

8

2.3

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


16

8

2




6*

8

2.4

Тема 2.4. Список как рекурсивный объект данных в ПРОЛОГе.

16

8

2




6*

8

2.5

Тема 2.4. Создание проектов с графическим интерфейсом

18

10







10*

8




ИТОГО

108

48

10




38

60

* - занятия проводятся в интерактивной форме


Виды занятий и их содержание.

Планы и содержание лекционных занятий

Лекция № 1.

Тема: Представление о логическом программировании. Спектр решаемых задач.

Содержание:


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

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

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

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

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

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

Рекомендации по организации самостоятельной работы:

Основная литература по теме 1.1:

  1. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. 2003

  2. Мельников, В.П. Логическое программирование: учебник

  3. Ладенко И.С. Интеллектуальные системы в целевом управлении. 1987

  4. Гаврилова Т.А., Хорошевский Базы знаний интеллектуальных систем. 2001

  5. Безручко, В.Т. Информатика (курс лекций): учеб. пособ. / В.Т. Безручко.- М.: ИНФРА-М, 2013.- 432 с.

  6. Ясницкий Л.Н. Введение в искусственный интеллект: (учеб. пособие по спец.: "Математика").-Москва: Academia, 2005. -174C.

  7. Информатика. Базовый курс: учебник для вузов.- 3-е изд.- СПб.: Питер, 2012.- 640 с.

  8. Киселев, Г.М. Логическое программирование в педагогическом образовании: учебник / Г.М. Киселев, Р.В. Бочкова.- М.: Дашков и К, 2013.- 308 с.

  9. Ветитнев, А.М. Логическое программирование в социально-культурном сервисе и туризме. Оргтехника: учеб. пособ. / А.М. Ветитнев, В.В. Коваленко, В.В. Коваленко.- М.: ФОРУМ, 2010.- 400 с.

Лекция № 2.

Тема: Основы языка ПРОЛОГ

Содержание:



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

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

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

Рекомендации по организации самостоятельной работы:

Основная литература по теме 2.1:

  1. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. 2003

  2. Мельников, В.П. Логическое программирование: учебник

  3. Безручко, В.Т. Информатика (курс лекций): учеб. пособ. / В.Т. Безручко.- М.: ИНФРА-М, 2013.- 432 с.

  4. Ясницкий Л.Н. Введение в искусственный интеллект: (учеб. пособие по спец.: "Математика").-Москва: Academia, 2005. -174C.

  5. Информатика. Базовый курс: учебник для вузов.- 3-е изд.- СПб.: Питер, 2012.- 640 с.

Лекция № 3.

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

Содержание:



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

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

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


Рекомендации по организации самостоятельной работы:

Основная литература по теме 2.2:

  1. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. 2003

  2. Мельников, В.П. Логическое программирование: учебник

  3. Безручко, В.Т. Информатика (курс лекций): учеб. пособ. / В.Т. Безручко.- М.: ИНФРА-М, 2013.- 432 с.

  4. Информатика. Базовый курс: учебник для вузов.- 3-е изд.- СПб.: Питер, 2012.- 640 с.

  5. Киселев, Г.М. Логическое программирование в педагогическом образовании: учебник / Г.М. Киселев, Р.В. Бочкова.- М.: Дашков и К, 2013.- 308 с.

  6. Ветитнев, А.М. Логическое программирование в социально-культурном сервисе и туризме. Оргтехника: учеб. пособ. / А.М. Ветитнев, В.В. Коваленко, В.В. Коваленко.- М.: ФОРУМ, 2010.- 400 с.

Лекция № 4.

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

Содержание:



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

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

  3. Рекурсивные правила в ПРОЛОГе.

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


Рекомендации по организации самостоятельной работы:

Основная литература по теме 2.3:

  1. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. 2003

  2. Мельников, В.П. Логическое программирование: учебник

  3. Гаврилова Т.А., Хорошевский Базы знаний интеллектуальных систем. 2001

  4. Безручко, В.Т. Информатика (курс лекций): учеб. пособ. / В.Т. Безручко.- М.: ИНФРА-М, 2013.- 432 с.

  5. Киселев, Г.М. Логическое программирование в педагогическом образовании: учебник / Г.М. Киселев, Р.В. Бочкова.- М.: Дашков и К, 2013.- 308 с.

Лекция № 5.

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

Содержание:




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

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

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


Рекомендации по организации самостоятельной работы:

Основная литература по теме 2.4:

  1. Гаврилова Т.А., Хорошевский Базы знаний интеллектуальных систем. 2001

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

  3. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. 2003

  4. Безручко, В.Т. Информатика (курс лекций): учеб. пособ. / В.Т. Безручко.- М.: ИНФРА-М, 2013.- 432 с.

  5. Ясницкий Л.Н. Введение в искусственный интеллект: (учеб. пособие по спец.: "Математика").-Москва: Academia, 2005. -174C.

  6. Информатика. Базовый курс: учебник для вузов.- 3-е изд.- СПб.: Питер, 2012.- 640 с.

Примерная тематика лабораторных занятий

Раздел 2: Основы языка ПРОЛОГ.

Лабораторная работа № 1.

Тема: Набор, редактирование и тестирование простейших программ в режиме Test Goal.



Цель работы: Отработка практических навыков по набору и редактированию простейших программ в среде Visual Prolog, умения формулировать запросы.

Рекомендации к самостоятельной работе:

* Изучить литературу [1], [3], [4]

* Повторить лекционный материал (лекции №1, 2)

* Выполнить электронный тест «Общие сведения о Прологе» для самоподготовки в среде АСТ.

*Изучить материалы электронного методического пособия «Основы искусственного интеллекта» (Разделы 5.1, 5.2, 5.3)

Содержание работы:


  1. Изучить интерфейс среды Visual Prolog.

  2. Реализовать в среде Visual Prolog Пример 1 лабораторной работы №1

  3. Проанализировать полученные результаты.

  4. Выполнить из лабораторной работы №1

задания для самостоятельной работы № 1 и №3

Форма представления отчета:

Отчет о выполненной самостоятельной работе должен содержать:



  1. тему лабораторной работы;

  2. условие задачи;

  3. листинг программы;

  4. результаты ее тестирования.

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

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

Цель работы: Отработка практических навыков по созданию простейших проектов в среде Visual Prolog

Рекомендации к самостоятельной работе:

* Изучить литературу [1], [2], [6]

* Повторить лекционный материал (лекции № 3, 4)

* Выполнить электронный тест «Общие сведения о Прологе» для самоподготовки в среде АСТ.

*Изучить материалы электронного методического пособия «Основы искусственного интеллекта» (Разделы 5.4, 5.5, 5.6)

Содержание работы:


    1. Реализовать в среде Visual Prolog Пример1 лабораторной работы №2

    2. Проанализировать полученные результаты.

    3. Выполнить задание для самостоятельной работы лабораторной работы №2

Форма представления отчета:

Отчет о выполненной самостоятельной работе должен содержать:



  1. тему лабораторной работы;

  2. условие задачи;

  3. листинг программы;

  4. результаты ее тестирования.

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

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

Цель работы: изучение механизма поиска с возвратом

Рекомендации к самостоятельной работе:

* Изучить литературу [2], [3], [5]

* Повторить лекционный материал (лекция № 5)

* Выполнить электронный тест «Поиск с возвратом» для самоподготовки в среде АСТ.

*Изучить материалы электронного методического пособия «Основы искусственного интеллекта» (Раздел 5.8)

Содержание работы:

1.Реализовать в среде Visual Prolog Пример 1 лабораторной работы №3

2.Проанализировать полученные результаты.

3.Выполнить задание №1 для самостоятельной работы лабораторной работы №3

Форма представления отчета:

Отчет о выполненной самостоятельной работе должен содержать:



  1. тему лабораторной работы;

  2. условие задачи;

  3. листинг программы;

  4. результаты ее тестирования;

  5. целевое дерево поиска решения.

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

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

Цель работы: Отработка практических навыков составления программ с использованием предиката fail

Рекомендации к самостоятельной работе:

* Изучить литературу [1], [3], [6]

* Повторить лекционный материал (лекция № 5)

* Выполнить электронный тест «Поиск с возвратом» для самоподготовки в среде АСТ.

*Изучить материалы электронного методического пособия «Основы искусственного интеллекта» (Раздел 5.8)

Содержание работы:

1.Реализовать в среде Visual Prolog Примеры 1 и 2 лабораторной работы №4

2.Проанализировать полученные результаты.

3.Выполнить задания №1 и №3 для самостоятельной работы лабораторной работы №4



Форма представления отчета:

Отчет о выполненной самостоятельной работе должен содержать:



  1. тему лабораторной работы;

  2. условие задачи;

  3. листинг программы;

  4. результаты ее тестирования;

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

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

Цель работы: Отработка практических навыков составления программ с использованием предиката отсечения

Рекомендации к самостоятельной работе:

* Изучить литературу [2], [3], [5]

* Повторить лекционный материал

* Выполнить электронный тест «Поиск с возвратом» для самоподготовки в среде АСТ.

*Изучить материалы электронного методического пособия «Основы искусственного интеллекта» (Раздел 5.8)

Содержание работы:

1.Реализовать в среде Visual Prolog Пример 1 лабораторной работы №5

2.Проанализировать полученные результаты.

3.Выполнить задание для самостоятельной работы №1 лабораторной работы №5



Форма представления отчета:

Отчет о выполненной самостоятельной работе должен содержать:



  1. тему лабораторной работы;

  2. условие задачи;

  3. листинг программы;

  4. результаты ее тестирования;

Лабораторная работа № 6.

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

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

Рекомендации к самостоятельной работе:

* Изучить литературу [1], [3], [4], [6]

* Повторить лекционный материал (лекция № 6)

*Изучить материалы электронного методического пособия «Основы искусственного интеллекта» (Раздел 5.9)



Содержание работы:

1.Реализовать в среде Visual Prolog Примеры 1, 2 лабораторной работы №6

2.Проанализировать полученные результаты.

3.Выполнить задания №1, 5 для самостоятельной работы лабораторной работы №6



Форма представления отчета:

Отчет о выполненной самостоятельной работе должен содержать:



  1. тему лабораторной работы;

  2. условие задачи;

  3. листинг программы;

  4. результаты ее тестирования;

Лабораторная работа № 7. (4 часа)

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

Цель работы: Отработка практических навыков составления программ с использованием рекурсии.

Рекомендации к самостоятельной работе:

* Изучить литературу [2], [3], [4], [6]

* Повторить лекционный материал (лекция № 7)

*Изучить материалы электронного методического пособия «Основы искусственного интеллекта» (Раздел 5.10)



Содержание работы:

1.Реализовать в среде Visual Prolog Примеры 1, 2 лабораторной работы №7

2.Проанализировать полученные результаты.

3.Выполнить задания №2, 8 для самостоятельной работы лабораторной работы №7



Форма представления отчета:

Отчет о выполненной самостоятельной работе должен содержать:



  1. тему лабораторной работы;

  2. условие задачи;

  3. листинг программы;

  4. результаты ее тестирования;

Лабораторная работа № 8. (6 часов)

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

Цель работы: Отработка практических навыков составления программ по обработке списков

Рекомендации к самостоятельной работе:

* Изучить литературу [2], [3], [5]

* Повторить лекционный материал (лекция № 8)

* Выполнить электронный тест «Списки» для самоподготовки в среде АСТ.

*Изучить материалы электронного методического пособия «Основы искусственного интеллекта» (Раздел 5.11)

Содержание работы:

1.Реализовать в среде Visual Prolog Примеры 1, 4 лабораторной работы №8

2.Проанализировать полученные результаты.

3.Выполнить задания для самостоятельной работы №1, 5 лабораторной работы №8



Форма представления отчета:

Отчет о выполненной самостоятельной работе должен содержать:



  1. тему лабораторной работы;

  2. условие задачи;

  3. листинг программы;

  4. результаты ее тестирования;

Лабораторная работа № 9. (4 часа)

Тема: Создание простейших проектов с графическим интерфейсом
Цель работы: Отработка практических навыков разработки простейших проектов с графическим интерфейсом

Рекомендации к самостоятельной работе:

*Изучить материалы электронного методического пособия «Практикум решения задач по курсу «Основы искусственного интеллекта» (Раздел 2.1)



Содержание работы:

1.Реализовать в среде Visual Prolog Пример 1 лабораторной работы №9

2.Проанализировать полученные результаты.

3.Выполнить задание для самостоятельной работы лабораторной работы №9



Форма представления отчета:

Отчет о выполненной самостоятельной работе должен содержать:



  1. тему лабораторной работы;

  2. условие задачи;

  3. листинг программы;

  4. результаты ее тестирования;

Лабораторная работа № 10. (4 часа)

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

Цель работы: Отработка практических навыков разработки многооконных проектов

Рекомендации к самостоятельной работе:

*Изучить материалы электронного методического пособия «Практикум решения задач по курсу «Основы искусственного интеллекта» (Раздел 2.2)



Содержание работы:

1.Реализовать в среде Visual Prolog Пример 1 лабораторной работы №10

2.Проанализировать полученные результаты.

3.Выполнить задание для самостоятельной работы лабораторной работы №10



Форма представления отчета:

Отчет о выполненной самостоятельной работе должен содержать:



  1. тему лабораторной работы;

  2. условие задачи;

  3. листинг программы;

  4. результаты ее тестирования;

Лабораторная работа № 11. (4 часа)

Тема: Создание экспертных систем средствами ПРОЛОГа

Цель работы: Отработка практических навыков разработки простейших ЭС

Рекомендации к самостоятельной работе:

*Изучить материалы электронного методического пособия «Практикум решения задач по курсу «Основы искусственного интеллекта» (Раздел 2.2)



Содержание работы:

1.Реализовать в среде Visual Prolog Пример 1 лабораторной работы №11

2.Проанализировать полученные результаты.

3.Выполнить задание для самостоятельной работы лабораторной работы №11



Форма представления отчета:

Отчет о выполненной самостоятельной работе должен содержать:



  1. тему лабораторной работы;

  2. условие задачи;

  3. листинг программы;

  4. результаты ее тестирования;



Методическое обеспечение самостоятельной работы студентов

Содержание СРС

Таблица 4

Содержание СРС


Тема

Содержание заданий,

выносимых на СРС



Количество часов, отводимых на выполнение заданий

Сроки проверки результатов СРС

Тема 1.1.

Вопросы раздела: самостоятельная работа по теме 1.2

10

4-я неделя

Тема 1.2.

Вопросы раздела: самостоятельная работа по теме 1.3

10

6-я неделя

Тема 2.1.

Задания раздела: содержание темы 2.1

8

8-я неделя

Тема 2.2.

Задания раздела: содержание темы 2.2

8

10-я неделя

Тема 2.3.

Задания раздела: содержание темы 2.3

8

12-я неделя

Тема 2.4.

Задания раздела: содержание темы 2.4

8

14-я неделя

Тема 2.5.

Задания раздела: содержание темы 2.5

8

18-я неделя


Оценочные средства для текущего контроля успеваемости, промежуточной аттестации по итогам освоения дисциплины

Организация текущего контроля.



Таблица 1.

Код к.т.

Контролёр

Время

Форма

Lab_1

Преподаватель лаб. работ

Лабораторное занятие

Защита результата

Lab_2

Преподаватель лаб. работ

Лабораторное занятие

Защита результата

Lab_3

Преподаватель лаб. работ

Лабораторное занятие

Защита результата

Lab_4

Преподаватель лаб. работ

Лабораторное занятие

Защита результата

Lab_5

Преподаватель лаб. работ

Лабораторное занятие

Защита результата

Lab_6

Преподаватель лаб. работ

Лабораторное занятие

Защита результата

Lab_7

Преподаватель лаб. работ

Лабораторное занятие

Защита результата

Lab_8

Преподаватель лаб. работ

Лабораторное занятие

Защита результата

Lab_9

Преподаватель лаб. работ

Лабораторное занятие

Защита результата

Lab_10

Преподаватель лаб. работ

Лабораторное занятие

Защита результата

Lab_11

Преподаватель лаб. работ

Лабораторное занятие

Защита результата

Lec

Лектор

Плановая консультация

Тестирование


Промежуточная аттестация по дисциплине.

Промежуточная аттестация обучающихся проводится в форме зачета.

Зачет выставляется по результатам текущего контроля.
А. Формы промежуточного, рубежного и итогового контроля по дисциплине.

Формы текущего и промежуточного контроля (в виде зачета), сроки контроля и темы, по которым проводится контроль, указаны в соответствующих таблицах.


Б. Задания и требования к зачету

Для получения зачета студент должен защитить результаты практической работы по темам раздела 2, выполнив и представив отчет в электронном виде. Отчет должен содержать результат выполнения всех заданий по каждой теме (количество заданий различных тем варьируется в диапазоне от 2-х до 4-х). По материалам раздела 1 студент должен успешно пройти компьютерное тестирование. В ходе тестирования по материалам лекций должно набрано не менее 65% максимума (100%).



Технические средства обучения, используемые в учебном процессе

При проведении занятий планируется использование следующего оборудования.



Лекционные занятия:

  • интерактивная доска в качестве средства поддержки лекционных занятий;

  • портативный компьютер;

  • пакет офисных программ Open Office (Writer, Calc, Impress, Draw, Base).

Лабораторные занятия:

  • компьютерный класс для проведения лабораторных занятий по дисциплине, оснащённый компьютерами с процессорами классов Pentium или Core Duo (количество компьютеров  не менее 12 укомплектованных компьютерами рабочих мест);

  • операционные системы Windows XP, Vista, Windows 7, Linux;

  • пакет офисных программ MS Office (MS Word, Excel, Power Point, Publisher);

  • среда Visual Prolog;

  • сетевой ресурс, обеспечивающий доступ к электронной библиотеке курса, в частности, к материалам УМК по дисциплине ИТ;

  • Интернет-доступ, позволяющий осуществлять подбор материалов для выполнения заданий, подготовки информационного проекта и научных сообщений.



izumzum.ru