rpd000002382 (010400 (01.03.02).Б1 Информатика)
Описание файла
Файл "rpd000002382" внутри архива находится в следующих папках: 010400 (01.03.02).Б1 Информатика, 010400.Б1. Документ из архива "010400 (01.03.02).Б1 Информатика", который расположен в категории "". Всё это находится в предмете "вспомогательные материалы для первокурсников" из 1 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "вспомогательные материалы для первокурсников" в общих файлах.
Онлайн просмотр документа "rpd000002382"
Текст из документа "rpd000002382"
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000002382)
Логическое программирование
(указывается наименование дисциплины по учебному плану)
| Направление подготовки | Прикладная математика и информатика | |||||
| Квалификация (степень) выпускника | Бакалавр | |||||
| Профиль подготовки | Информатика | |||||
| Форма обучения | очная | |||||
| (очная, очно-заочная и др.) | ||||||
| Выпускающая кафедра | 808Б | |||||
| Обеспечивающая кафедра | 808Б | |||||
| Кафедра-разработчик рабочей программы | 808Б | |||||
| Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
| 3 | 108 | 30 | 10 | 32 | 36 | 0 | Р |
| Итого | 108 | 30 | 10 | 32 | 36 | 0 |
Москва
2011 г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 010400 Прикладная математика и информатика
Авторы программы :
| Михайлов Ю.Ф. | _________________________ |
| Заведующий обеспечивающей кафедрой 808Б | _________________________ |
Программа одобрена:
| Заведующий выпускающей кафедрой 808Б _________________________ | Декан выпускающего факультета 8 _________________________ |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Логическое программирование является достижение следующих результатов образования (РО):
| N | Шифр | Результат освоения |
| 1 | Знать основные парадигмы функционального и логического программирования и связанные с ними методы вычислений | |
| 2 | Знать логический способ представления знаний на основе логики предикатов 1-го порядка и методы логического вывода в таком представлении знаний | |
| 3 | Знать средства языка логического программировыания Пролог и основные приемы использования языка для решения типовых задач. | |
| 4 | Знать инструментальные средства логического программирования и технологию их использования для разработки экспертных систем, различных интеллектуальных систем обработки информации, семиотики и естественноязыкового общения для автоматизации различных областей человеческой деятельности | |
| 5 | Уметь использовать принципы логического программирования, языки логического программирования для реализации известных алгоритмов информатики | |
| 6 | Уметь применять логический способ представления знаний, инструментальные средства логического программирования для построения интеллектуальных систем решения задач семиотики и естественноязыкового общения для автоматизации различных областей человеческой деятельности | |
| 7 | Иметь навыки разработка программ на языках искусственного интеллекта с использованием соврменных программных сред и оболочек | |
| 8 | Владеть навыками создания баз знаний |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
| N | Шифр | Компетенция |
| 1 | ДПК-17 | Способность применять в профессиональной деятельности современные методы, средства и технологии искусственного интеллекта, функционального и логического программирования, экспертных систем, семиотики и естественноязыкового общения для автоматизации различных областей человеческой деятельности |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 3 зачетных(ые) единиц(ы), 108 часа(ов).
| Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
| Логическое программирование | Логика как аксиоматическая система | 8 | 10 | 0 | 19,6 | 37,6 | 108 |
| Язык логического программирования | 14 | 0 | 24 | 10,4 | 48,4 | ||
| Логическое программирование программных систем | 8 | 0 | 8 | 6 | 22 | ||
| Всего | 30 | 10 | 32 | 36 | 108 | 108 | |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
1. Логика
- 1.1. Классическая логика
- 1.2. Логика как формальная система
- 1.3. Понятия алгебры логики
- 1.4. Исчисление высказываний
- 1.5. Логика предикатов
- 1.6. Предикаты 1-го порядка как аксиоматическая система
- 1.7. Правила вывода в логике предикатов
- 1.8. Представление формул логики предикатов
- 1.9. Метод резолюций
- 1.10. Метод резолюций для логического вывода
- 1.11. Понятие унификации
- 1.12. Рекурсия
- 1.13. Неклассические и дескриптивные логики
- 1.14. Трехзначная логика как пример многозначной логики
- 1.15. Нечеткие логики
- 1.16. Понятие о дескриптивной логике, ее синтаксисе и семантике
2. Язык Пролог
- 2.17. Основы языка Пролог
- 2.18. Основные объекты языка
- 2.19. Операторы
- 2.20. Правила унификации структурных термов
- 2.21. Списковые структуры
- 2.22. Определение и структура списка
- 2.23. Предикаты обработки списков
- 2.24. Представление деревьев в Прологе
- 2.25. Встроенные предикаты языка
- 2.26. Предикаты ввода-вывода
- 2.27. Работа с утверждениями и правилами базы данных
- 2.28. Предикаты поиска множества решений
- 2.29. Отсечение и отрицания в языке
- 2.30. Предикат отсечения
- 2.31. Отрицание в логическом программировании
- 2.32. Понятие дополнения логической программы
- 2.33. Среда визуального программирования Visual Prolog
- 2.34. Визуальная среда разработки (VDE)
- 2.35. Основы языка Visual Prolog
- 2.36. Структура программы
- 2.37. Объектно-ориентированное логическое программирование
- 2.38. Классы и объекты
- 2.39. Унификация и поиск с возвратом
- 2.40. Простые и составные объекты
- 2.41. Реализация некласических и дескриптивных логик в Прологе
- 2.42. Объектно-ориентированный подход как пример неклассической логики в Прологе
- 2.43. Абстрактные классы
- 2.44. Запись, чтение и файлы
3. Прикладное программирование
- 3.45. Программирование баз данных
- 3.46. Внутренняя база фактов Visual Prolog
- 3.47. Программирование внешних баз данных в Visual Prolog
- 3.48. Программирование разделения файлов и внешних баз данных
- 3.49. Программирование баз знаний
- 3.50. Проблема представления знаний в онтологических системах
- 3.51. Программирование семантической сети как модели представления знаний
- 3.52. Программирование графов в Прологе
- 3.53. Разработка пользовательского интерфейса
- 3.54. Предикаты работы с окнами
- 3.55. Предикаты обработки событий
- 3.56. Предикаты для работы со списками
- 3.57. Создание экспертных систем
- 3.58. Программирование диалога
- 3.59. Программирование механизма вывода
-
Лекции
| № п/п | Раздел дисциплины | Объем, часов | Тема лекции | Дидакт. единицы |
| 1 | 1.1.Логика как аксиоматическая система | 2 | Классическая логика | 1.2, 1.3, 1.4, 1.1 |
| 2 | 1.1.Логика как аксиоматическая система | 2 | Логика предикатов | 1.6, 1.7, 1.8, 1.5 |
| 3 | 1.1.Логика как аксиоматическая система | 2 | Метод резолюций | 1.10, 1.11, 1.12, 1.9 |
| 4 | 1.1.Логика как аксиоматическая система | 2 | Неклассические и дескриптивные логики | 1.14, 1.16, 1.15, 1.13 |
| 5 | 1.2.Язык логического программирования | 2 | Основы языка | 2.18, 2.19, 2.20, 2.17 |
| 6 | 1.2.Язык логического программирования | 2 | Списковые структуры | 2.22, 2.23, 2.24, 2.21 |
| 7 | 1.2.Язык логического программирования | 2 | Встроенные предикаты языка | 2.26, 2.27, 2.28, 2.25 |
| 8 | 1.2.Язык логического программирования | 2 | Отсечение и отрицания в языке | 2.30, 2.31, 2.32 |
| 9 | 1.2.Язык логического программирования | 2 | Среда визуального программирования Visual Prolog | 2.34, 2.35, 2.36, 2.33 |
| 10 | 1.2.Язык логического программирования | 2 | Объектно-ориентированное логическое программирование | 2.38, 2.39, 2.40, 2.37 |
| 11 | 1.2.Язык логического программирования | 2 | Реализация некласических и дескриптивных логик в Прологе | 2.42, 2.43, 2.44, 2.41 |
| 12 | 1.3.Логическое программирование программных систем | 2 | Программирование баз данных | 3.46, 3.47, 3.48, 3.45 |
| 13 | 1.3.Логическое программирование программных систем | 2 | Программирование баз знаний | 3.50, 3.51, 3.52 |
| 14 | 1.3.Логическое программирование программных систем | 2 | Разработка пользовательского интерфейса | 3.54, 3.55, 3.56, 3.53 |
| 15 | 1.3.Логическое программирование программных систем | 2 | Создание экспертных систем | 3.58, 3.59, 3.49, 3.57 |
| Итого: | 30 | |||
-
Практические занятия
| № п/п | Раздел дисциплины | Объем, часов | Тема практического занятия | Дидакт. единицы |
| 1 | 1.1.Логика как аксиоматическая система | 2 | Исчисление высказываний | 1.3, 1.4 |
| 2 | 1.1.Логика как аксиоматическая система | 2 | Предикаты 1-го порядка как аксиоматическая система | 1.7, 1.8 |
| 3 | 1.1.Логика как аксиоматическая система | 2 | Метод резолюций | 1.10 |
| 4 | 1.1.Логика как аксиоматическая система | 2 | Рекурсия | 1.11, 1.12 |
| 5 | 1.1.Логика как аксиоматическая система | 2 | Неклассические и дескриптивные логики | 1.14, 1.15 |
| Итого: | 10 | |||
-
Лабораторные работы
| № п/п | Раздел дисциплины | Наименование лабораторной работы | Наименование лаборатории | Объем, часов | Дидакт. единицы |
| 1 | 1.2.Язык логического программирования | Программирование на языке Пролог | Компьютерный класс каф. 808Б | 4 | 2.18, 2.19, 2.20 |
| 2 | 1.2.Язык логического программирования | Программирование списковых структур | 4 | 2.22, 2.23, 2.24 | |
| 3 | 1.2.Язык логического программирования | Программирование со встроеннми предикатами языка | 4 | 2.26, 2.27, 2.30 | |
| 4 | 1.2.Язык логического программирования | Решение логических задач на Прологе | 4 | 2.29, 2.31, 2.32 | |
| 5 | 1.2.Язык логического программирования | Программирование в среде Visual Prolog | 4 | 2.34, 2.35, 2.36 | |
| 6 | 1.2.Язык логического программирования | Объектно-ориентированное логическое программирование | 4 | 2.38, 2.39, 2.42 | |
| 7 | 1.3.Логическое программирование программных систем | Программирование баз данных | 4 | 2.44, 3.47, 3.48 | |
| 8 | 1.3.Логическое программирование программных систем | Программирование экспертных систем | 4 | 3.51, 3.58, 3.59 | |
| Итого: | 32 | ||||
-
Типовые задания
| № п/п | Раздел дисциплины | Объем, часов | Наименование типового задания |
| 1 | Логика как аксиоматическая система | 1 | Исчисление высказываний |
| 2 | Логика как аксиоматическая система | 1 | Правила вывода в логике предикатов |
| 3 | Логика как аксиоматическая система | 1 | Метод резолюций |
| 4 | Логика как аксиоматическая система | 1 | Рекурсия |
| 5 | Логика как аксиоматическая система | 1 | Трехзначная логика как пример многозначной логики |
| 6 | Логика как аксиоматическая система | 1 | Программирование на языке Пролог |
| 7 | Логика как аксиоматическая система | 1 | Программирование списковых структур |
| 8 | Логика как аксиоматическая система | 1 | Программирование со встроеннми предикатами языка |
| 9 | Логика как аксиоматическая система | 1 | Решение логических задач на Прологе |
| 10 | Логика как аксиоматическая система | 1 | Программирование в среде Visual Prolog |
| 11 | Логика как аксиоматическая система | 1 | Объектно-ориентированное логическое программирование |
| 12 | Логика как аксиоматическая система | 1 | Программирование баз данных |
| 13 | Логика как аксиоматическая система | 1 | Программирование экспертных систем |
| Итого: | 13 | ||
-
Курсовые работы и проекты по дисциплине
-
Рубежный контроль
1.1. Логика
