|
-
Ключові слова:
забезпечення програмне, обеспечение программное, software ; програма, программа, program ; програмування для ЕОМ, программирование для ЭВМ ; розробка програмного забезпечення, разработка программного обеспечения ; програма комп'ютерна, программа компьютерная
-
Анотація:
Стаття присвячена опису дедуктивного принципу синтезу програм з використанням методу резолюції на прикладі ортимання алгоритму сортування. В статті показаний принцип, що дозволяє отримувати твердження- відповіді на основі використання методу побудови дерев спростування та доведення.
-
Є складовою частиною документа:
-
Теми документа
-
ББК науковий // Программирование для электронных вычислительных машин (компьютеров). Алгоритмы и программы. Защита информаци
| 