Структуры данных и модели вычислений
2bbc099f

Структуры данных и модели вычислений

Язык предикатов
Некоторые сведения из математической логики
Элементы языка Пролог

Содержание раздела