Курс по логично програмирање Книга бесплатно со
Нема коментари
Бидете првиот што ќе коментира на „Курсот за логично програмирање“.
-
Купување на сметка Бесплатно враќање Достапно во вашата филијала Плаќање на рати
Применета компјутерска наука на Спрингер: Курс по логично програмирање
Норберт Е. Фукс
Наместо 54,99 19 €
JavaScript за развивачи на Java
Основи на програмирање iOS 14 со Свифт
Бекер, О: Сериски трансформации на XML
Тестирање на Пајтон со pytest
Основи на развој на PyGTK
Дејвид Ешли, Ендру Краузе
Најдобри практики на Pro Python
Манфред Стајер, Даниел Шваб
Учење аголна 2
Бред Дејли, Брендан Дејли, Калеб Дејли
Ева Порчело, Алекс Бенкс
Напиши одличен код
Јазици за програмирање во базата на податоци
Практичен докер со Пајтон
Програмирање на игри и графики за iOS и Android со OpenGL ES 2.0
Програмски јазици: Имплементација, логика и програми
Напредно функционално програмирање
Почеток на пролетната чизма 2
К.Сива Прасад Реди
Јава сака само да игра
Логичка програма Синтеза и трансформација
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 Пристап до програмите на Пролог
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 Пребарување со стратегијата за пребарување на Пролог
7.3 Експлицитно пребарување во длабочина
7,4 пребарување на првото ширина
7.5 Прво пребарување на длабочина во циклични графикони
7.6 Прво пребарување на ширина во циклични графикони
7.7 Ограничено пребарување за длабочина
7.8 Примери
8 логички граматики
8.1 Јазици без контекст
8.2 Аксиоматизација на граматиката без контекст
8.3 Претставување на изрази со употреба на списоци
8.4 Понатамошни аргументи: број
8.5 Граматики на дефинитивна клаузула (ДЦГ)
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 Наједноставниот мета-толкувач за Пролог
9.3 Симулација на стратешката постапка на Пролог
9.4 Интерпретација на предикатите на системот
9.4.1 Следење на предикациите на системот
9.4.2 Експлицитен доказ за предикациите на системот
9.4.3 Метаинтерпретер за сечење
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 Насипување напред
- Листата со коментари на литературата