Формальные определения 4, 5 и 7 устанавливают критерии правильности программы, в основе которых лежит понятие ... - Большая Энциклопедия Нефти и Газа
Выдержка из книги
Хоггер К.N.
Введение в логическое программирование
Формальные определения 4, 5 и 7 устанавливают критерии правильности программы, в основе которых лежит понятие вычислимости и которые не накладывают никаких требований на ее отдельные процедуры. Принимая это во внимание, мы рассмотрим следующую программу.