конструювання програм, конструирование програм ; мови програмування, языки программирования, computer program language ; системне програмування, системное программирование

В елементарній програмній логіці виводяться програми з оракулами (схеми програм), що дозволяють підставленням у них відповідних функцій діставати конкретні програми обчислення різних функцій, зображених степеневими рядами. Коректність програм є безпосереднім наслідком їх конструювання.

Як pозкpиваються злочини [Текст] : Криміналістика у питаннях та відповідях / Київський університет імені Тараса Шевченка. — Київ : Київський університет, Хрещатик, 1996. — 198с.

• Окремі фонди та колекції КНУ // праці авторів КНУТШ, труды авторов КНУТШ, работы авторов КНУТШ
• Персоналії // Редько Володимир Никифорович (12.04.1937) (КУ)