Логическое программирование

Вики

Логическое программирование

/

Логическое программирование Основы логического программирования Логическое программирование — это декларативный язык программирования, основанный на логике первого порядка.  Оно отличается от

Вики

Коиндукция

/

Коиндукция Определение и свойства F-коалгебр F-коалгебра — это пара (A, F), где A — множество, а F — функционал, отображающий

Вики

Оправданное рассуждение

/

Логическое обоснование, которое можно опровергнуть Опровержимые рассуждения — предварительные рассуждения, рационально убедительные, но не дедуктивно обоснованные.  Опровержимость обнаруживается в литературе

Вики

Отрицание как неудача

/

Отрицание как неудача Отрицание как сбой (NAF) — немонотонное правило вывода в логическом программировании для получения «не p» из-за неспособности

Вики

Подстановка (логика)

/

Подстановка (логика) Подстановка — это отображение переменных в члены выражения.  Многие авторы требуют, чтобы подстановка отображала каждую переменную в соответствующий

Прокрутить вверх