Курс з логічного програмування безкоштовно
Коментарів немає
Будьте першим, хто коментує "Курс логічного програмування".
-
Покупка на рахунок Безкоштовне повернення Доступне у вашій філії Можлива оплата частинами
Прикладна інформатика Спрінгера: Курс логічного програмування
Норберт Е. Фукс
Замість 54,99 € 19
JavaScript для розробників Java
Основи програмування iOS 14 за допомогою Swift
Беккер, О.: Послідовні перетворення XML
Тестування Python за допомогою pytest
Основи розвитку PyGTK
В. Девід Ешлі, Ендрю Краузе
Найкращі практики Pro Python
Манфред Штайер, Даніель Шваб
Навчання Angular 2
Бред Дейлі, Брендан Дейлі, Калеб Дейлі
Єва Порчелло, Алекс Бенкс
Напишіть чудовий код
Мови програмування баз даних
Практичний Docker з Python
Програмування ігор та графіки для iOS та Android з OpenGL ES 2.0
Мови програмування: реалізації, логіка та програми
Розширене функціональне програмування
Початок весняного завантаження 2
К. Сіва Прасад Редді
Java просто хоче грати
Синтез та трансформація логічної програми
1 Що таке логічне програмування?
1.1 Логіка як мова програмування
1.2 Логічне програмування та пролог
1.3 Процедурне та декларативне програмування
- пролог
2 Чистий пролог
2.1 Сімейні стосунки як база даних Пролог
2.2 Суб’єктивні запитання та правила
2.3 Процес доказування Пролога
2.4 пошук дерев
2.5 трасування
2.6 Рекурсивні правила
2.7 Ліва рекурсія
2.8 Синтаксис прологів
2.9 списки
2.9.1 Позначення списку
2.9.2 Операції зі списками
2.10 операторів
3 Повний пролог
3.1 арифметика
3.2 Додаткові логічні предикати
3.2.1 Вхід і вихід
3.2.2 Завантаження програмних програм
3.2.3 Доступ до програм Prolog
3.3 Структурні дослідження
3.3.1 Визначення типу
3.3.2 Аналіз та синтез термінів
3.4 Металогічні предикати
3.4.1 Тест на створення екземпляра
3.4.2 Уніфікованість
3.4.3 Ідентичність термінів
3.4.4 Метазмінні, системний предикатний виклик/1
3,5 вирізати
3.5.1 Обрізка дерев пошуку
3.5.2 Зелені та червоні зрізи
3.5.3 Структури управління прологом
3.6 заперечення
3.6.1 Припущення закритого світу
3.6.2 Заперечення як невдача
3.6.3 Змінні у заперечених цілях
3.6.4 Застосування заперечення як помилки
3.6.5 Заперечення як невдача та логічне заперечення
3.7 Встановити предикати
3.7.1 Усі рішення до мети
3.7.2 Застосування набору предикатів
4 Прийоми програмування пролог
4,1 петлі
4.1.1 Петлі, зумовлені помилками
4.1.2 Цикли шляхом неявного зворотного відстеження
4.1.3 Створення та перевірка
4.1.4 Цикли через рекурсію
4.1.5 Підрахунок петель
4.2 Акумулятори
4.2.1 Ітераційні алгоритми
4.2.2 Кінцеві рекурсивні предикати
4.3 Списки різниць
4.3.1 Списки як відмінності між двома списками
4.3.2 Вставка в кінці списку
4.3.3 Пов’язування різницевих списків
4.3.4 Застосування різницевих списків
- Логічні основи
5 Логіка подання знань
5.1 Концептуалізації
5.1.1 Російські ляльки
5.1.2 Яка концептуалізація?
5.2 Логіка предикатів
5.2.1 Представлення знань за допомогою логіки предикатів
5.2.2 Синтаксис логіки предикатів
5.3
Декларативна семантика
5.3.1 Інтерпретації
5.3.2 Відносна істина
5.3.3 Моделі
5.3.4 Доцільність та обґрунтованість
5.3.5 Сократ як смертна людина
5.3.6 Логічний наслідок
5.3.7 Спростування
5.3.8 Інтерпретації Гербранда
6 Логічний висновок
6.1 Докази
6.2 Правильність та повнота
6.3 Форма речення логіки предикатів
6.3.1 Перетворення у форму застереження
6.3.2 Пункти як наслідки
6.4 Дозвіл
6.4.1 Постанова як метод доказування
6.4.2 Приклади роздільної здатності
6.5 Уніфікація
6.6 Вирішення та спростування
6.7 Правильність та повнота резолюції
6.8 Стратегії вирішення
6.9 Рогові речення
6.10 роздільна здатність SLD
6.11 Семантика програм Пролог
6.11.1 Декларативна та процесуальна семантика
6.11.2 Декларативне усунення несправностей
- Програми
7 Порядок пошуку
7.1 Державні простори
7.2 Пошук за допомогою стратегії пошуку Prolog
7.3 Відвертий пошук по глибині
7.4 пошук по ширині
7.5 Пошук по глибині в циклічних графіках
7.6 Перший за шириною пошук у циклічних графіках
7.7 Обмежений пошук першої глибини
7.8 Приклади
8 логічних граматик
8.1 Безкоштовні мови
8.2 Аксіоматизація безконтекстної граматики
8.3 Представлення виразів за допомогою списків
8.4 Подальші аргументи: число
8.5 Граматики з чітко визначеними положеннями (DCG)
8.6 Граматичні правила
8.7 Похідні дерева
8.8 Цілі прологу в граматичних правилах
8.9 Системна предикатна фраза/[2, 3]
8.10 Приклади
9 інтерпретатор мета
9.1 Інтерпретатор для специфічних мов
9.1.1 Кінцевий автомат
9.1.2 Часткове оцінювання кінцевого автомата
9.1.3 Порівняння кінцевих автоматів із DCG
9.2 Найпростіший метаінтерпретатор для Prolog
9.3 Моделювання стратегії процесу Prolog
9.4 Інтерпретація системних предикатів
9.4.1 Перехоплення системних предикатів
9.4.2 Явне доведення системних предикатів
9.4.3 Metaininterpreter for Cut
9.5 Генерування додаткової інформації
9.5.1 Підрахунок кроків умовиводу
9.5.2 Явне дерево доказів
9.5.3 Простий частковий оцінювач
9.6 Інші стратегії вирішення
9.6.1 Мета-інтерпретатор з обмеженням глибини
9.6.2 Метаінтерпретатор, який відкладає цілі
9.7 Метаінтерпретатор для експертних систем
9.7.1 Метаінтерпретатор, який задає питання
9.7.2 Навіщо твердження
9.7.3 Як твердження
9.7.4 Вперед ланцюжок
- Список анотованої літератури