Курс по логическо програмиране Книга безплатно с
Няма коментари
Напишете първия коментар за „Курс по логическо програмиране“.
-
Покупка по сметка Безплатно връщане Предлага се във вашия клон Възможно плащане на вноски
Приложни компютърни науки на Springer: Курс по логическо програмиране
Норберт Е. Фукс
Вместо 54,99 € 19
JavaScript за разработчици на Java
iOS 14 Основи на програмиране с Swift
Бекер, О: Серийни трансформации на XML
Тестване на Python с pytest
Основи на разработката на PyGTK
У. Дейвид Ашли, Андрю Краузе
Най-добрите практики за Pro Python
Манфред Щайер, Даниел Шваб
Учене ъглово 2
Брад Дейли, Брендън Дейли, Калеб Дейли
Ив Порчело, Алекс Банкс
Напишете страхотен код
Езици за програмиране на база данни
Практичен Docker с Python
Програмиране на игри и графики за iOS и Android с OpenGL ES 2.0
Езици за програмиране: Реализации, логика и програми
Разширено функционално програмиране
Начало на пролетното зареждане 2
К. Шива Прасад Реди
Java просто иска да играе
Синтез и трансформация на логическа програма
1 Какво е логическо програмиране?
1.1 Логиката като език за програмиране
1.2 Логическо програмиране и пролог
1.3 Процедурно и декларативно програмиране
- пролог
2 Чист пролог
2.1 Семейните отношения като база данни на Prolog
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 Семантика на програмите Prolog
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 за Cut
9.5 Генериране на допълнителна информация
9.5.1 Преброяване на стъпките за извод
9.5.2 Изрично дърво на доказателства
9.5.3 Прост частичен оценител
9.6 Други стратегии за разрешаване
9.6.1 Meta интерпретатор с ограничение на дълбочината
9.6.2 Метаинтерпретатор, който отлага целите
9.7 Метаинтерпретатор за експертни системи
9.7.1 Метаинтерпретатор, който задава въпроси
9.7.2 Защо твърдения
9.7.3 Как изявления
9.7.4 Верига напред
- Списък с коментирана литература