rpd000001899 (230100 (09.03.01).Б5 Программное обеспечение средств вычислительной техники и автоматизированных систем)
Описание файла
Файл "rpd000001899" внутри архива находится в следующих папках: 230100 (09.03.01).Б5 Программное обеспечение средств вычислительной техники и автоматизированных систем, 230100.Б5. Документ из архива "230100 (09.03.01).Б5 Программное обеспечение средств вычислительной техники и автоматизированных систем", который расположен в категории "". Всё это находится в предмете "вспомогательные материалы для первокурсников" из 1 семестр, которые можно найти в файловом архиве МАИ. Не смотря на прямую связь этого архива с МАИ, его также можно найти и в других разделах. Архив можно найти в разделе "остальное", в предмете "вспомогательные материалы для первокурсников" в общих файлах.
Онлайн просмотр документа "rpd000001899"
Текст из документа "rpd000001899"
Министерство образования и науки Российской Федерации
Федеральное государственное бюджетное образовательное учреждение высшего профессионального образования
Московский авиационный институт
(национальный исследовательский университет)
УТВЕРЖДАЮ
Проректор по учебной работе
______________Куприков М.Ю.
“____“ ___________20__
РАБОЧАЯ ПРОГРАММА ДИСЦИПЛИНЫ (000001899)
Логическое программирование
(указывается наименование дисциплины по учебному плану)
Направление подготовки | Информатика и вычислительная техника | |||||
Квалификация (степень) выпускника | Бакалавр | |||||
Профиль подготовки | Программное обеспечение средств вычислительной техники и автоматизированных систем | |||||
Форма обучения | очная | |||||
(очная, очно-заочная и др.) | ||||||
Выпускающая кафедра | 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 | Уметь: использовать исчисление предикатов 1-го порядка и прикладные средства логического программирования для решения научных и прикладных задач обработки символьной информации, в том числе задач «искусственного интеллекта» и задач построения экспертных систем; | |
9 | Владеть: всеми приёмами логического программирования, прикладными аспектами использования различных версий языка ПРОЛОГ при решении практических задач |
Перечисленные РО являются основой для формирования следующих компетенций: (в соответствии с ФГОС ВПО и требованиями к результатам освоения основной образовательной программы (ООП))
N | Шифр | Компетенция |
1 | ОК-10 | Использует основные законы естественнонаучных дисциплин в профессиональной деятельности, применяет методы математического анализа и моделирования, теоретического и экспериментального исследования |
2 | ОК-11 | Осознает сущность и значение информации в развитии современного общества; владеет основными методами, способами и средствами получения, хранения, переработки информации |
3 | ПК-5 | Разрабатывать компоненты программных комплексов и баз данных, использовать современные инструментальные средства и технологии программирования |
4 | ПК-9 | Участвовать в настройке и наладке программно-аппаратных комплексов |
5 | ПСК-3 | Способен разрабатывать аппаратное и программное обеспечение вычислительной техники и автоматизированных систем |
6 | ПСК-6 | Владеть методами и алгоритмами автоматизации системного, функционально-логического и конструкторского проектирования, в том числе проектирования топологии БИС и СБИС |
-
СТРУКТУРА И СОДЕРЖАНИЕ ДИСЦИПЛИНЫ
Общая трудоемкость дисциплины составляет 3 зачетных(ые) единиц(ы), 108 часа(ов).
Модуль | Раздел | Лекции | Практич. занятия | Лаборат. работы | СРС | Всего часов | Всего с экзаменами и курсовыми |
Логическое программирование | Введение. Основы формальной логики | 4 | 0 | 0 | 5 | 9 | 108 |
Основы исчисления предикатов первого порядка | 4 | 0 | 0 | 6 | 10 | ||
Клаузальная форма логики | 2 | 0 | 4 | 8 | 14 | ||
Понятия и принципы логического программирования | 4 | 0 | 0 | 4 | 8 | ||
Арифметика и алгебра на ПРОЛОГе | 2 | 0 | 0 | 2 | 4 | ||
Структурированное представление информации | 2 | 0 | 4 | 7 | 13 | ||
Рекурсивные данные и программы | 4 | 0 | 4 | 9 | 17 | ||
Отсечение в логических программах | 2 | 0 | 0 | 2 | 4 | ||
Предикаты внутренних динамических баз данных | 2 | 0 | 0 | 2 | 4 | ||
Типовые металогические предикаты ПРОЛОГа | 2 | 0 | 0 | 2 | 4 | ||
Дополнительные возможности ПРОЛОГа | 2 | 0 | 4 | 7 | 13 | ||
Заключение. Применение ПРОЛОГа в прикладных задачах | 4 | 0 | 0 | 4 | 8 | ||
Всего | 34 | 0 | 16 | 58 | 108 | 108 |
-
Содержание (дидактика) дисциплины
В разделе приводится полный перечень дидактических единиц, подлежащих усвоению при изучении данной дисциплины.
- 1. Введение. Основы формальной логики
- 2. Основы исчисления предикатов первого порядка