В елементарній програмній логіці виводяться коректні програми з оракулами (схеми програм), що дозволяють підставленням у них відповідних функцій діставати конкретні програми обчислення різних добутків. Коректність програм є безпосереднім наслідком їх конструювання.
In the elementary programming logic the- correct programs with oracles (schemes of programs) allowing by substitution in them of the correspondent functions to get the concrete calculation programs for various products are inferred. Correctness is the direct consequence of program construction.