rpd000001778 (1009950), страница 2

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

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

1. Лекции

1. Практические занятия

1. Лабораторные работы

1. Типовые задания

1. Курсовые работы и проекты по дисциплине

1. Рубежный контроль

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

1. Зачёт

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

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

1.Роль логики в решении задачи Гильберта формализации математики. Символьная обработка информации и декларативный принцип разработки программ.

2.Формальные системы. Признаки и требования. Логика высказываний (Булева алгебра). Теорема Поста о полноте исчисления высказываний.

3.Логика исчисления предикатов 1-го порядка – теоретическая основа логического программирования. 1-я теорема Гёделя об исчислении предикатов.

4.Законы дедуктивного мышления. Доказательство «от противного». Метод автоматического доказательства теорем Эрбрана.

5.Принцип резолюции Робинсона.

6.Алгоритм унификации (сопоставления).

7.Системы 1-го порядка. Формальная арифметика.

8.2-я теорема Гёделя о неполноте формальной арифметики.

9.Теорема Тарского о недоказуемости истинных интерпретаций формальных систем.

10.Теорема Чёрча о неразрешимости логики предикатов 1-го порядка. Полуразрешимость исчисления предикатов.

11.Анализ логики средствами логики. Метаязык и логические парадоксы.

12.Понятие клаузы (утверждения). Клаузы Хорна. Соотношение между стандартной и клаузальной формами логики.

13.Синтаксические элементы логики – предикаты (атомарные суждения), переменные, константы, термы, функторы (функциональные буквы).

14.Вид программы на языках Turbo PROLOG и Visual PROLOG. Основные элементы программы. Клаузы (факты и правила). Запросы к логической программе.

15.Основные встроенные типы данных ПРОЛОГа. Примеры использования.

16.Встроенные арифметические операции, алгебраические функции и предикаты сравнений ПРОЛОГа.

17.Типы данных, создаваемые пользователем. Структурированное представление информации на ПРОЛОГе (функторы и термы).

18.Рекурсивные типы данных – списки, деревья и пр.

19.Правило рекурсии. Рекурсивные логические программы.

20.Списковый тип данных ПРОЛОГа. Предикат создания списков findall.

21.Программы обработки списков на ПРОЛОГе.

22.Правая и левая рекурсии. Итерационные вычисления. Использование переменных-«накопителей».

23.Отсечение - предикат cut (!). Определение и причины использования отсечения.

24.Зелёное и красное отсечения. Предикат fail и правило повтора. Оптимизация вычислений и программирование исключающих утверждений.

25.Типовые металогические предикаты. Создание «универсальных» предикатов.

26.Динамические базы данных database или facts. Встроенные предикаты динамических баз данных. Различные аспекты применения динамических баз данных.

27.Работа с файлами и динамические базы данных на ПРОЛОГе. Предикаты ввода-вывода.

Вопросы на тестирование:

1.Запрограммировать фразу: «Любое число в нулевой степени равно единице».

2.Написать логическую программу для утверждения: «Петру нравятся все литературные жанры, кроме доносов».

3.Записать в виде клаузы: «Каждый счастлив, если он кого-то любит».

4.По материалам 1-й лабораторной работы написать правила для определения фактов «брат (Кто, Кому)» и для сохранения полученных фактов в файле brother.txt.

5.Разработать логическую программу для деления каждого элемента числового списка на количество элементов этого же списка.

6.Написать логическую программу для вычисления суммы элементов b(j)=1/(j!), где j=1,…,N.

7.Запрограммировать с помощью зелёного отсечения предикат modul(X,Y), где Y – модуль X.

8.По материалам 1-й лабораторной работы написать правила для предиката «является (Кто, Кому, Кем)».

9.Записать как клаузу фразу: «Не бывает шофёра, не имеющего водительских прав», используя предикаты «шофёр(.)» и «водитель(.)»

10.Разработать динамическую структуру «квадро-дерево» и привести пример её использования.

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

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

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

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

3. Адаменко А.Н., Кучуков А.М. Логическое программирование и Visual Prolog. –

СПб.: БХВ – Петербург, 2003, 992с.

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

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

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

7. Краткий конспект лекций в электронном виде.

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

1. Ковальский Р. Логика в решении проблем. – М.: Наука, 1990, 280с.

2. Логический подход к искусственному интеллекту (от классической логики к

логическому программированию). – М.: Мир, 1990, 430с.

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

4. Мендельсон Э. Введение в математическую логику. – М.: Наука, 1984, 320с.

5. Нильсон Н. Искусственный интеллект. Методы поиска решений.– М.:Мир,1973,270с.

6. Лорьер Ж.-Л. Системы искусственного интеллекта. – М.: Мир, 1991, 568с.

7. Нефёдов В.Н., Осипова В.А. Курс дискретной математики. Учеб. пособие. – М.: Изд. МАИ, 1982, 264 с.

8. Братко И. Алгоритмы искусственного интеллекта на языке PROLOG. Изд. 2-е. –

М.: «Вильямс», 2004, 690с.

Характеристики

Список файлов учебной работы