rpd000001778 (1009950)
Текст из файла
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000001778)
Логическое программирование
(указывается наименование дисциплины по учебному плану)
| Направление подготовки | Информатика и вычислительная техника | |||||
| Квалификация (степень) выпускника | Бакалавр | |||||
| Профиль подготовки | Вычислительные машины, комплексы, системы и сети | |||||
| Форма обучения | очная | |||||
| (очная, очно-заочная и др.) | ||||||
| Выпускающая кафедра | 304 | |||||
| Обеспечивающая кафедра | 304 | |||||
| Кафедра-разработчик рабочей программы | 304 | |||||
| Семестр | Трудоем-кость, час. | Лек-ций, час. | Практич. занятий, час. | Лаборат. работ, час. | СРС, час. | Экзаменов, час. | Форма промежуточного контроля |
| 6 | 108 | 34 | 0 | 16 | 58 | 0 | Зо |
| Итого | 108 | 34 | 0 | 16 | 58 | 0 |
Москва
2011 г.
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ
Разделы рабочей программы
-
Цели освоения дисциплины
-
Структура и содержание дисциплины
-
Учебно-методическое и информационное обеспечение дисциплины
-
Материально-техническое обеспечение дисциплины
Приложения к рабочей программе дисциплины
Приложение 1. Аннотация рабочей программы
Приложение 2. Cодержание учебных занятий
Приложение 3. Прикрепленные файлы
Программа составлена в соответствии с требованиями ФГОС ВПО по направлению подготовки 230100 Информатика и вычислительная техника
Авторы программы :
| Новиков П.В. | _________________________ |
| Заведующий обеспечивающей кафедрой 304 | _________________________ |
Программа одобрена:
| Заведующий выпускающей кафедрой 304 _________________________ | Декан выпускающего факультета 3 _________________________ |
-
ЦЕЛИ ОСВОЕНИЯ ДИСЦИПЛИНЫ
Целью освоения дисциплины Логическое программирование является достижение следующих результатов образования (РО):
| N | Шифр | Результат освоения |
| 1 | Владеть навыками программирования на современных языках высокого уровня | |
| 2 | Владеть навыками создания баз знаний | |
| 3 | Знать основные понятия и историю развития языков программирования | |
| 4 | Знания: на уровне понимания: теории функциональных и логических языков, современных тенденций развития языкового программирования. | |
| 5 | Знания: на уровне представлений: роли и места языков искусственного интеллекта в практическом и теоретическом использовании для решения задач обработки информации. | |
| 6 | Навыки: разработка программ на языках искусственного интеллекта с использованием соврменных программных сред и оболочек. | |
| 7 | Умения: практические – разработка программ на языках искусственного интеллекта. | |
| 8 | Умения: теоретические - постановка и формализация решения интеллектуальных задач. |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
| N | Шифр | Компетенция |
| 1 | ОК-10 | Использует основные законы естественнонаучных дисциплин в профессиональной деятельности, применяет методы математического анализа и моделирования, теоретического и экспериментального исследования |
| 2 | ОК-11 | Осознает сущность и значение информации в развитии современного общества; владеет основными методами, способами и средствами получения, хранения, переработки информации |
| 3 | ОК-12 | Имеет навыки работы с компьютером как средством управления информацией |
| 4 | ПК-5 | Разрабатывать компоненты программных комплексов и баз данных, использовать современные инструментальные средства и технологии программирования |
| 5 | ПК-9 | Участвовать в настройке и наладке программно-аппаратных комплексов |
| 6 | ПСК-4 | Готов осуществлять отладку, опытную эксплуатацию и поэтапное введение в действие аппаратно-программных средств вычислительной техники |
| 7 | ПСК-12 | Способен и умеет разрабатывать алгоритмическое и специальное программное обеспечение вычислительной техники |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 3 зачетных(ые) единиц(ы), 108 часа(ов).
| Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
| Логическое программирование | Введение. Основы формальной логики | 4 | 0 | 0 | 4 | 8 | 108 |
| Основы исчисления предикатов первого порядка | 4 | 0 | 0 | 4 | 8 | ||
| Клаузальная форма логики | 2 | 0 | 4 | 8 | 14 | ||
| Понятия и принципы логического программирования | 4 | 0 | 0 | 4 | 8 | ||
| Арифметика и алгебра на ПРОЛОГе | 2 | 0 | 0 | 2 | 4 | ||
| Структурированное представление информации | 2 | 0 | 4 | 8 | 14 | ||
| Рекурсивные данные и программы | 4 | 0 | 4 | 10 | 18 | ||
| Отсечение в логических программах | 2 | 0 | 0 | 2 | 4 | ||
| Предикаты внутренних динамических баз данных | 2 | 0 | 0 | 2 | 4 | ||
| Типовые металогические предикаты ПРОЛОГа | 2 | 0 | 0 | 2 | 4 | ||
| Дополнительные возможности ПРОЛОГа | 2 | 0 | 4 | 8 | 14 | ||
| Заключение. Применение ПРОЛОГа в прикладных задачах | 4 | 0 | 0 | 4 | 8 | ||
| Всего | 34 | 0 | 16 | 58 | 108 | 108 | |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
- 1. Введение. Основы формальной логики
- 2. Основы исчисления предикатов первого порядка
- 3. Клаузальная форма логики
- 4. Понятия и принципы логического программирования
- 5. Арифметика и алгебра на ПРОЛОГе
- 6. Структурирование представление информации
- 7. Рекурсивные данные и программы
- 8. Отсечение в логических программах
- 9. Предикаты внутренних динамических баз данных
- 10. Типовые металогические предикаты ПРОЛОГа
- 11. Дополнительные возможности ПРОЛОГа
- 12. Заключение. Применение ПРОЛОГа в прикладных задачах
Характеристики
Тип файла документ
Документы такого типа открываются такими программами, как Microsoft Office Word на компьютерах Windows, Apple Pages на компьютерах Mac, Open Office - бесплатная альтернатива на различных платформах, в том числе Linux. Наиболее простым и современным решением будут Google документы, так как открываются онлайн без скачивания прямо в браузере на любой платформе. Существуют российские качественные аналоги, например от Яндекса.
Будьте внимательны на мобильных устройствах, так как там используются упрощённый функционал даже в официальном приложении от Microsoft, поэтому для просмотра скачивайте PDF-версию. А если нужно редактировать файл, то используйте оригинальный файл.
Файлы такого типа обычно разбиты на страницы, а текст может быть форматированным (жирный, курсив, выбор шрифта, таблицы и т.п.), а также в него можно добавлять изображения. Формат идеально подходит для рефератов, докладов и РПЗ курсовых проектов, которые необходимо распечатать. Кстати перед печатью также сохраняйте файл в PDF, так как принтер может начудить со шрифтами.
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
