|
-
Ключові слова:
конструювання програм, конструирование програм ; математична логіка, математическая логика ; розробка програмного забезпечення, разработка программного обеспечения, software engineering
-
Анотація:
В елементарній програмній логіці виводяться програми з оракулами (схеми програм), що дозволяють підставлянням у них відповідних функцій діставати конкретні програми обчислення різних сум. Коректність програм є безпосереднім наслідком їх конструювання.
-
Є складовою частиною документа:
-
Теми документа
-
Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
|
