rpd000001749 (010400 (01.03.02).Б1 Информатика)
Описание файла
Файл "rpd000001749" внутри архива находится в следующих папках: 010400 (01.03.02).Б1 Информатика, 010400.Б1. Документ из архива "010400 (01.03.02).Б1 Информатика", который расположен в категории "". Всё это находится в предмете "вспомогательные материалы для первокурсников" из 1 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "вспомогательные материалы для первокурсников" в общих файлах.
Онлайн просмотр документа "rpd000001749"
Текст из документа "rpd000001749"
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000001749)
Логическое программирование
(указывается наименование дисциплины по учебному плану)
| Направление подготовки | Прикладная математика и информатика | |||||
| Квалификация (степень) выпускника | Бакалавр | |||||
| Профиль подготовки | Информатика | |||||
| Форма обучения | очная | |||||
| (очная, очно-заочная и др.) | ||||||
| Выпускающая кафедра | 806 | |||||
| Обеспечивающая кафедра | 806 | |||||
| Кафедра-разработчик рабочей программы | 806 | |||||
| Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
| 3 | 108 | 18 | 18 | 32 | 40 | 0 | Р |
| Итого | 108 | 18 | 18 | 32 | 40 | 0 |
Москва
2011
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 010400 Прикладная математика и информатика
Авторы программы:
| Сеницкая В.В. | _________________________ |
| Заведующий обеспечивающей кафедрой 806 | _________________________ |
Программа одобрена:
| Заведующий выпускающей кафедрой 806 _________________________ | Декан выпускающего факультета 8 _________________________ |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Логическое программирование является достижение следующих результатов образования (РО):
| N | Шифр | Результат освоения |
| 1 | У-5 | Применять методы прикладной математики и информатики |
| 2 | РДПК-16 | Способен применять в профессиональной деятельности современные методы, средства и технологии дискретного анализа, математической лингвистики, крипт |
| 3 | • уметь: выделять характерные задачи для применения логического подхода в программировании и предлагать способы их решения | |
| 4 | • уметь: использовать языки логического программирования для реализации известных алгоритмов информатики | |
| 5 | • уметь: использовать подходы и языки логического программирования при построении программных систем, в том числе совместно с традиционными системами программирования |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
| N | Шифр | Компетенция |
| 1 | ПК-2 | Способность приобретать новые научные и профессиональные знания, используя современные образовательные и информационные технологии |
| 2 | ПК-3 | Способность понимать и применять в исследовательской и прикладной деятельности современный математический аппарат |
| 3 | ДПК-17 | Способность применять в профессиональной деятельности современные методы, средства и технологии искусственного интеллекта, функционального и логического программирования, экспертных систем, семиотики и естественноязыкового общения для автоматизации различных областей человеческой деятельности |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 3 зачетных(ые) единиц(ы), 108 часа(ов).
| Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
| Логическое программирование | Логическое программирование | 18 | 18 | 32 | 24 | 92 | 108 |
| Всего | 18 | 18 | 32 | 24 | 92 | 108 | |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
- 1. Логическое программирование как алгоритмическая модель
- 2. Логическое программирование и логика предикатов
- 3. Основы языка логического программирования Пролог
- 4. Типизированное логическое программирование. Основы языка функционально- логического программирования Mercury
- 5. Списковые структуры данных
- 6. Решение логических задач
- 7. Отсечение и логическое программирование с отрицаниями
- 8. Встроенные предикаты языков Пролог и Mercury
- 9. Формальная семантика языков логического программирования
- 10. Неклассические логики и их реализация на Прологе
- 11. Дескриптивные логики
- 12. Современные направления развития логического программирования
- 13. Логическое программирование в контексте современных прикладных программных систем
-
Лекции
| № п/п | Раздел дисциплины | Объем, часов | Тема лекции | Дидакт. единицы |
| 1 | 1.1.Логическое программирование | 2 | Логическое программирование как алгоритмическая модель | 1 |
| 2 | 1.1.Логическое программирование | 2 | Логическое программирование и логика предикатов | 2 |
| 3 | 1.1.Логическое программирование | 2 | Основы языка логического программирования Пролог | 3 |
| 4 | 1.1.Логическое программирование | 2 | Типизированное логическое программирование. Основы языка функционально- логического программирования Mercury | 4 |
| 5 | 1.1.Логическое программирование | 2 | Списковые структуры данных | 5 |
| 6 | 1.1.Логическое программирование | 2 | Решение логических задач | 6 |
| 7 | 1.1.Логическое программирование | 2 | Отсечение и логическое программирование с отрицаниями | 7 |
| 8 | 1.1.Логическое программирование | 2 | Встроенные предикаты языков Пролог и Mercury | 8 |
| 9 | 1.1.Логическое программирование | 2 | Формальная семантика языков логического программирования | 9 |
| Итого: | 18 | |||
-
Практические занятия
| № п/п | Раздел дисциплины | Объем, часов | Тема практического занятия | Дидакт. единицы |
| 1 | 1.1.Логическое программирование | 4 | Неклассические логики и их реализация на Прологе. | 10 |
| 2 | 1.1.Логическое программирование | 6 | Дескриптивные логики | 11 |
| 3 | 1.1.Логическое программирование | 4 | Современные направления развития логического программирования. | 12 |
| 4 | 1.1.Логическое программирование | 4 | Логическое программирование в контексте современных прикладных программных систем. | 13 |
| Итого: | 18 | |||
-
Лабораторные работы
| № п/п | Раздел дисциплины | Наименование лабораторной работы | Наименование лаборатории | Объем, часов | Дидакт. единицы |
| 1 | 1.1.Логическое программирование | Апробация Пролог-системы. Реализация своего родословного дерева или родословного дерева династии Романовых. | 8 | 3 | |
| 2 | 1.1.Логическое программирование | Предикаты обработки списков и деревьев. | 8 | 5 | |
| 3 | 1.1.Логическое программирование | Решение логической задачи методом явного или неявного перебора с возвратом (методом генерации и проверки). | 8 | 6 | |
| 4 | 1.1.Логическое программирование | Реализация графического пользовательского интерфейса для программы решения логической задачи. | 8 | 7 | |
| Итого: | 32 | ||||
-
Типовые задания
| № п/п | Раздел дисциплины | Объем, часов | Наименование типового задания |
| Итого: | |||
-
Курсовые работы и проекты по дисциплине
1.1. Создание программной системы с элементами интеллектуального поведения
