Дескрипцио́нные ло́гики (сокр. ДЛ, англ. Description logics, иногда используется неточный перевод: дескрипти́вные логики) — семейство языков представления знаний, позволяющих описывать понятия предметной области в недвусмысленном, формализованном виде. Они сочетают в себе, с одной стороны, богатые выразительные возможности, а с другой — хорошие вычислительные свойства, такие как разрешимость и относительно невысокая вычислительная сложность основных логических проблем, что делает возможным их применение на практике. Таким образом, ДЛ представляют собой компромисс между выразительностью и разрешимостью. ДЛ можно рассматривать как разрешимые фрагменты логики предикатов, синтаксически же они близки к модальным логикам.
Свое современное название ДЛ получили в 1980-х. Прежние названия (в хронологическом порядке): терминологические системы, логики концептов. Изначально ДЛ зародились как расширение фреймовых структур и семантических сетей механизмами формальной логики. В настоящее время ДЛ являются важным в концепции Семантической паутины, где их предполагается использовать при построении онтологий. Фрагменты OWL-DL и OWL-Lite языка веб-онтологий OWL также основаны на ДЛ.

Логика первого порядка (исчисление предикатов) — формальное исчисление, допускающее высказывания относительно переменных, фиксированных функций, и предикатов. Расширяет логику высказываний. В свою очередь является частным случаем логики высшего порядка.

/* обычный синтаксис */
var array = [ elem0, elem1, elem2, ... ]
var empty = []
 
/* Синтаксис с new Array() */
var array = new Array( elem0, elem1, elem2, ...)
var empty = new Array()
 
/* Редкий синтаксис: аргумент new Array - одно число */
var array = new Array(10)

У вас в руках новая ослепительная коллекция блестящих задач и парадоксов, предложенных одним из самых выдающихся логиков и специалистов по теории множеств, когда-либо работавших в этой области.

ВВЕДЕНИЕ
УПРАЖНЕНИЕ 1. ВЫЧИСЛИМЫЕ ФУНКЦИИ. ПРИМИТИВНО-РЕКУРСИВНЫЕ ФУНКЦИИ
УПРАЖНЕНИЕ 2. ПРИМИТИВНО-РЕКУРСИВНЫЕ ПРЕДИКАТЫ
УПРАЖНЕНИЕ 3. ЧАСТИЧНО РЕКУРСИВНЫЕ ФУНКЦИИ. ОБЩЕРЕКУРСИВНЫЕ ФУНКЦИИ
УПРАЖНЕНИЕ 3-1. ФОРМАЛЬНАЯ СИСТЕМА РЕКУРСИВНЫХ ФУНКЦИЙ ЭРБРАНА-ГЁДЕЛЯ
УПРАЖНЕНИЕ 4. НУМЕРАЦИЯ МНОЖЕСТВ. АЛГОРИТМИЧЕСКИЕ СВОЙСТВА МНОЖЕСТВ
УПРАЖНЕНИЯ 4-1. КОМБИНАТОРНАЯ ОПРЕДЕЛИМОСТЬ РЕКУРСИВНЫХ ФУНКЦИЙ
УПРАЖНЕНИЕ 5. АССОЦИАТИВНЫЕ ИСЧИСЛЕНИЯ В АЛФАВИТЕ. КАНОНИЧЕСКИЕ И НОРМАЛЬНЫЕ СИСТЕМЫ ПОСТА. ВЫЧИСЛИМОСТЬ ФУНКЦИИ ПО ПОСТУ
УПРАЖНЕНИЕ 6. ВЕРБАЛЬНЫЕ АЛГОРИТМЫ. НОРМАЛЬНЫЕ АЛГОРИФМЫ МАРКОВА
УПРАЖНЕНИЕ 7. МАШИНА ТЬЮРИНГА
УПРАЖНЕНИЕ 8. МОДЕЛЬ МАШИНЫ ТЬЮРИНГА
УПРАЖНЕНИЕ 9. МНОГОЛЕНТОЧНЫЕ МАШИНЫ ТЬЮРИНГА
УПРАЖНЕНИЕ 10. ЛОГИЧЕСКИ ОБРАТИМАЯ МАШИНА ТЬЮРИНГА
УПРАЖНЕНИЕ 11. МАШИНА ПОСТА-УСПЕНСКОГО
УПРАЖНЕНИЕ 12. МАШИНА С НЕОГРАНИЧЕННЫМИ РЕГИСТРАМИ (МНР). МАШИНА С КОНЕЧНЫМ ЧИСЛОМ РЕГИСТРОВ
УПРАЖНЕНИЕ 13. ЭКВИВАЛЕНТНОСТЬ МАТЕМАТИЧЕСКИХ МОДЕЛЕЙ ПОНЯТИЯ "АЛГОРИТМ". ТЕЗИСЫ ТЕОРИИ АЛГОРИТМОВ