Подробное описание документа

Практикум по дисциплине Логическое и функциональное программирование / сост. Доткулова А. С. - Московский технический университет связи и информатики, 2016.
При использовании ЭВМ для решения задач можно выделить два взаимосвязанных способа представления знания: 1) процедурное представление, т.е. определение алгоритма обработки данных; 2) декларативное представление, т.е. определение отдельных понятий, их состояния в конкретные моменты времени и связей между ними.