Формальные определения 4, 5 и 7 устанавливают критерии правильности программы, в основе которых лежит понятие ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Хоггер К.N. Введение в логическое программирование


Формальные определения 4, 5 и 7 устанавливают критерии правильности программы, в основе которых лежит понятие вычислимости и которые не накладывают никаких требований на ее отдельные процедуры. Принимая это во внимание, мы рассмотрим следующую программу.

(cкачать страницу)

Смотреть книгу на libgen

Формальные определения 4,  5 и 7 устанавливают критерии правильности программы,  в основе которых лежит понятие вычислимости и которые не накладывают никаких требований на ее отдельные процедуры.  Принимая это во внимание,  мы рассмотрим следующую программу.