rpd000002382 (1006586), страница 2

Файл №1006586 rpd000002382 (010400 (01.03.02).Б1 Информатика) 2 страницаrpd000002382 (1006586) страница 22017-06-172017-06-17СтудИзба

010400 (01.03.02).Б1 Информатика

Просмтор этого файла доступен только зарегистрированным пользователям. Но у нас супер быстрая регистрация: достаточно только электронной почты!

Регистрация/авторизация

Текст из файла (страница 2)

Тип: Коллоквиум

Тематика: Выполнение рассчетов в математической логике

Прикрепленные файлы:

Перечень вопросов и задач:

1.Исчисление высказываний

2.Логика предикатов

3.Правила вывода в логике предикатов

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

5.Метод резолюций

6.Рекурсия

7.Трехзначная логика как пример многозначной логики

1.2. Язык Пролог

Тип: Контрольная работа

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

Прикрепленные файлы:

Перечень вопросов и задач:

1.Предикаты обработки списков

2.Представление деревьев в Прологе

3.Предикаты ввода-вывода

4.Работа с утверждениями и правилами базы данных

5.Предикаты поиска множества решений

6.Предикат отсечения

7.Понятие дополнения логической программы

8.Основы языка Visual Prolog

9.Объектно-ориентированное логическое программирование

10.Унификация и поиск с возвратом

11.Запись, чтение и файлы

1.3. Прикладное программирование

Тип: Контрольная работа

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

Прикрепленные файлы:

Перечень вопросов и задач:

1.Программирование баз данных

2.Внутренняя база фактов Visual Prolog

3.Программирование внешних баз данных в Visual Prolog

4.Программирование разделения файлов и внешних баз данных

5.Программирование баз знаний

6.Программирование графов в Прологе

7.Предикаты работы с окнами

8.Предикаты обработки событий

9.Предикаты для работы со списками

10.Программирование диалога

11.Программирование механизма вывода

Промежуточная аттестация

1. Рейтинг

Прикрепленные файлы:

Вопросы для подготовки к экзамену/зачету:

1.Классическая логика

2.Логика как формальная система

3.Предикаты 1-го порядка как аксиоматическая система

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

5.Неклассические и дескриптивные логики

6.Нечеткие логики

7.Понятие о дескриптивной логике, ее синтаксисе и семантике

УЧЕБНО-МЕТОДИЧЕСКОЕ И ИНФОРМАЦИОННОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

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

1. Ездаков А.Л. Функциональное и логическое программирование:учебное пособие / А.Л. Ездаков. - М.: БИНОМ. Даборатория знаний, 2009. - 119 с.

2. Новиков П.В. Логическое программирование. Уч. пос. – М.: Изд-во МАИ, 2007. - 100 с.

3. Системы искусственного интеллекта. Практический курс: учебное пособие / (В.А. Чулюков, И.Ф. Астахова и др.; под ред И.Ф. Астаховой). - М.: БИНОМ. Лаборатория знаний, 2008. - 292 с.

4. Шрайнер П.А. Основы программирования на языке Пролог. Курс лекций. Учебное пособие. - М.: Интернет-Университет Информационных Технологий. 2005. - 176 с.

5. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. – СПб.: БХВ – Петербург, 2003.- 992 с.

б)дополнительная литература:

1. Братко И. Алгоритмы искусственного интеллекта на языке PROLOG. Изд. 2-е. – М.: «Вильямс», 2004. - 690 с.

2. Гетманова А.Д. Логика: учебник, словарь, практикум. – М.: Академический Проспект; Гаудеамус, 2007. - 712 с.

3. Кириллов В.И., Старченко А.А. Логика. Учебник. – М.: Высшая школа, 1982. - 264 с.

4. Клини С.К. Математическая логика. Изд. 4-е. – М.: Издательство ЛКИ, 2008, 480с

5. Новиков Ф.А. Дискретная математика для программистов. Учебник для вузов. 2-е изд. – СПб.: Питер, 2005, 364с.

в)программное обеспечение, Интернет-ресурсы, электронные библиотечные системы:

Программное обеспечение: Интернет-ресурсы, электронные библиотечные системы:

Программные продукты Turbo Prolog 2.0 и Visual Prolog 5.2.

ИНТУИТ.РУ: Интернет-Университет Информационных Технологий. Шрайнер П.А. Основы программирования на языке Пролог. Электронный курс лекций. 14 лекций

МАТЕРИАЛЬНО-ТЕХНИЧЕСКОЕ ОБЕСПЕЧЕНИЕ ДИСЦИПЛИНЫ

Для проведения занятий необходима доска с мелом (маркером).

Приложение 1
к рабочей программе дисциплины
«Логическое программирование »

Аннотация рабочей программы

Дисциплина Логическое программирование является частью Математического и естественно-научный цикл дисциплин подготовки студентов по направлению подготовки Прикладная математика и информатика. Дисциплина реализуется на 8 факультете «Московского авиационного института (национального исследовательского университета)» кафедрой (кафедрами) 808Б.

Дисциплина нацелена на формирование следующих компетенций: ДПК-17.

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

Преподавание дисциплины предусматривает следующие формы организации учебного процесса: Лекция, мастер-класс, Практическое занятие, Лабораторная работа.

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

Общая трудоемкость освоения дисциплины составляет 3 зачетных единиц, 108 часов. Программой дисциплины предусмотрены лекционные (30 часов), практические (10 часов), лабораторные (32 часов) занятия и (36 часов) самостоятельной работы студента. Дисциплина "Логическое программирование" является частью Профессиональный цикл цикла дисциплин подготовки студентов по направлению подготовки Бакалавриат по прикладной математике и информатике. Дисциплина реализуется на 8 факультете Московский авиационный институт (национальный исследовательский университет) кафедрой 808Б Учебный центр "Интеграция" г. Серпухов.

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

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

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

Раздел 1: Логика

Тема 1: Классическая логика

Логика как формальная система. Логика предикатов. Метод резолюций. Понятия алгебры логики. Исчисление высказываний. Предикаты 1-го порядка как аксиоматическая система. Правила вывода в логике предикатов. Представление формул логики предикатов. Метод резолюций для логического вывода. Понятие унификации. Рекурсия.

Тема 2: Неклассические и дескриптивные логики.

Трехзначная логика как пример многозначной логики. Нечеткие логики. Понятие о дескриптивной логике, ее синтаксисе и семантике

Раздел 2: Язык Пролог

Тема 3: Основы языка Пролог

Основные объекты языка. Списковые структуры. Предикаты обработки списков. Встроенные предикаты языка. Отсечение и отрицания в языке. Отрицание в логическом программировании. Предикаты ввода-вывода. Предикат отсечения. Предикаты поиска множества решений.

Тема 4: Основы языка Visual Prolog

Среда визуального программирования Visual Prolog. Структура программы. Объектно-ориентированное логическое программирование. Унификация и поиск с возвратом. Реализация некласических и дескриптивных логик в Прологе. Абстрактные классы. Запись, чтение и файлы.

Раздел 3: Прикладное программирование

Тема 5: Программирование баз данных

Внутренняя база фактов Visual Prolog. Программирование внешних баз данных в Visual Prolog. Программирование разделения файлов и внешних баз данных.:

Тема 6: Программирование баз знаний

Проблема представления знаний в онтологических системах. Программирование семантической сети как модели представления знаний. Программирование графов в Прологе.

Тема 7: Создание экспертных систем

Разработка пользовательского интерфейса. Предикаты работы с окнами. Предикаты обработки событий. Предикаты для работы со списками. Программирование диалога. Программирование механизма вывода.

Приложение 2
к рабочей программе дисциплины
«Логическое программирование »

Cодержание учебных занятий

Лекции

1.1.1. Классическая логика(АЗ: 2, СРС: 0,4)