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

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

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

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

Главная сайта