rpd000002382 (1006586), страница 3
Текст из файла (страница 3)
Запись, чтение и файлы
1.3.12. Программирование баз данных(АЗ: 2, СРС: 1)
Тип лекции: Проблемная лекция
Форма организации: Лекция, мастер-класс
Описание: Разработка пользовательского интерфейса
Внутренняя база фактов Visual Prolog
Программирование разделения файлов и внешних баз данных в Visual Prolog
1.3.13. Программирование баз знаний(АЗ: 2, СРС: 1)
Тип лекции: Проблемная лекция
Форма организации: Лекция, мастер-класс
Описание: Программирование графов в Прологе
Программирование семантической сети как модели представления знаний
Проблема представления знаний в онтологических системах
1.3.14. Разработка пользовательского интерфейса(АЗ: 2, СРС: 1)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
Описание: Предикаты для работы со списками
Предикаты обработки событий
Предикаты работы с окнами
1.3.15. Создание экспертных систем(АЗ: 2, СРС: 1)
Тип лекции: Информационная лекция
Форма организации: Лекция, мастер-класс
Описание: Программирование баз знаний
Программирование механизма вывода
Программирование диалога
-
Практические занятия
1.1.1. Исчисление высказываний(АЗ: 2, СРС: 1)
Форма организации: Практическое занятие
Описание: Понятия алгебры логики
Исчисление высказываний
1.1.2. Предикаты 1-го порядка как аксиоматическая система(АЗ: 2, СРС: 1)
Форма организации: Практическое занятие
Описание: Представление формул логики предикатов
Правила вывода в логике предикатов
1.1.3. Метод резолюций(АЗ: 2, СРС: 1)
Форма организации: Практическое занятие
Описание: Метод резолюций для логического вывода
1.1.4. Рекурсия(АЗ: 2, СРС: 1)
Форма организации: Практическое занятие
Описание: Рекурсия
Понятие унификации
1.1.5. Неклассические и дескриптивные логики(АЗ: 2, СРС: 1)
Форма организации: Практическое занятие
Описание: Нечеткие логики
Трехзначная логика как пример многохначной логики
-
Лабораторные работы
1.2.1. Программирование на языке Пролог(АЗ: 4, СРС: 1)
Форма организации: Лабораторная работа
Описание: Правила унификации структурных термов
Основные объекты языка
Операторы
1.2.2. Программирование списковых структур(АЗ: 4, СРС: 1)
Форма организации: Лабораторная работа
Описание: Определение и структура списка
Предикаты обработки списков
Представление деревьев в Прологе
1.2.3. Программирование со встроеннми предикатами языка(АЗ: 4, СРС: 1)
Форма организации: Лабораторная работа
Описание: Предикаты ввода-вывода
Работа с утверждениями и правилами базы данных
1.2.4. Решение логических задач на Прологе(АЗ: 4, СРС: 1)
Форма организации: Лабораторная работа
Описание: Отсечение и отрицания в языке
Отрицание в логическом программировании
Понятие дополнения логической программы
1.2.5. Программирование в среде Visual Prolog(АЗ: 4, СРС: 1)
Форма организации: Лабораторная работа
Описание: Визуальная среда разработки (VDE)
Основы языка Visual Prolog
Структура программы
1.2.6. Объектно-ориентированное логическое программирование(АЗ: 4, СРС: 1)
Форма организации: Лабораторная работа
Описание: Классы и объекты
Унификация и поиск с возвратом
Объектно-ориентированный подход как пример неклассической логики в Прологе
1.3.7. Программирование баз данных(АЗ: 4, СРС: 1)
Форма организации: Лабораторная работа
1.3.8. Программирование экспертных систем(АЗ: 4, СРС: 1)
Форма организации: Лабораторная работа
Описание: Программирование семантической сети как модели представления знаний
Программирование диалога
Программирование механизма вывода
-
Типовые задания
1.1.1. Исчисление высказываний(СРС: 1)
Тип: Расчетная работа
Типовые варианты:
-Пусть значения элементарных высказываний: p1= 1, p2= 0, p3= 1 и имеется составное высказывание: ((¬p1и p2) влечет p3) эквивалентно (¬p2 или p3 ). Найти значение сложного высказывания.
1.1.2. Правила вывода в логике предикатов(СРС: 1)
Тип: Расчетная работа
Типовые варианты:
-Используя кваеторы общности и существования построить правила вывода утверждения, что число 5 есть натуральное число на множестве положительных натуральных чисел
1.1.3. Метод резолюций(СРС: 1)
Тип: Расчетная работа
Типовые варианты:
-Пусть А, С, X – формулы. Предположим, что две формулы (A или X) и (С или ¬X) – истинны. Если X – истинна, то следовательно С истинна. Наоборот, если X ложна, то можно заключить, что А – истинна. В обоих случаях (A или С) истинна. Получить правило.
1.1.4. Рекурсия(СРС: 1)
Тип: Расчетная работа
Типовые варианты:
-Требуется получить f (x, y) = x· y , по схеме примитивной рекурсии, где x1+ x2 примитивно рекурсивная функция
1.1.5. Трехзначная логика как пример многозначной логики(СРС: 1)
Тип: Расчетная работа
Типовые варианты:
-Построить таблицу истинности для функции инверсии в трехзначной логике
1.1.6. Программирование на языке Пролог(СРС: 1)
Тип: Домашнее задание
Типовые варианты:
-Запрограммировать факты родственныз связей отца, матери, детей, сестры, брата.
1.1.7. Программирование списковых структур(СРС: 1)
Тип: Домашнее задание
Типовые варианты:
-Написать программу определения максимального элемента в списке
1.1.8. Программирование со встроеннми предикатами языка(СРС: 1)
Тип: Расчетная работа
Типовые варианты:
-Написать программу нахождения суммы десяти чисел
1.1.10. Решение логических задач на Прологе(СРС: 1)
Тип: Расчетная работа
Типовые варианты:
-Запрограммировать задачу о поиске кратчайшего пути для заданной системы дорог
1.1.11. Программирование в среде Visual Prolog(СРС: 1)
Тип: Расчетная работа
Типовые варианты:
-Запрограммировать задачу на упорядочение объектов. Даны 4 числа X, Y, Z и T. Известно, что X меньше Y и меньше T; Y больше Z и больше T; Z больше X и меньше Y . В каком порядке расположены числа;
1.1.12. Объектно-ориентированное логическое программирование(СРС: 1)
Тип: Расчетная работа
Типовые варианты:
-Игроки в некотором теннисном клубе разбиты на три лиги, и могут вызывать на состязания только членов своей лиги или находящихся лигой ниже.Написать программу определения пар игроков.
1.1.13. Программирование баз данных(СРС: 1)
Тип: Домашнее задание
Типовые варианты:
-Написать программу, которая позволяет нескольким пользователям работать с текстом из разделяемого файла. Предусмотреть блокировку доступа других пользователей к файлу, пока работающий пользователь не закончит операции с текстом файла.
1.1.14. Программирование экспертных систем(СРС: 1)
Тип: Расчетная работа
Типовые варианты:
-Создать базу знаний "Ученик". Предусмотреть работу со знаниями через графический интерфейс - диалоговое окно.
Приложение 3
к рабочей программе дисциплины
«Логическое программирование »
Прикрепленные файлы
Версия: AAAAAAQvGTU Код: 000002382
![](https://s.studizba.com/z.php?f=/templates/si/i/noavatar.png&w=100&h=100&t=1"){kind=avatar}
