ДЕДУКТИВНИЙ СИНТЕЗ АЛГОРИТМУ СОРТУВАННЯ МЕТОДОМ РЕЗОЛЮЦІЇ З ПОБУДОВОЮ ДЕРЕВ СПРОСТУВАННЯ ТА ДОВЕДЕННЯ
Наукові журнали НАУ
Переглянути архів Інформація| Поле | Співвідношення | |
| Title |
ДЕДУКТИВНИЙ СИНТЕЗ АЛГОРИТМУ СОРТУВАННЯ МЕТОДОМ РЕЗОЛЮЦІЇ З ПОБУДОВОЮ ДЕРЕВ СПРОСТУВАННЯ ТА ДОВЕДЕННЯ
ДЕДУКТИВНЫЙ СИНТЕЗ АЛГОРИТМА СОРТИРОВКИ МЕТОДОМ РЕЗОЛЮЦИИ С ПОСТРОЕНИЕМ ДЕРЕВЬЕВ ОПРОВЕРЖЕНИЯ И ДОКАЗАТЕЛЬСТВА SORTING ALGORITHM METHOD DEDUCTIVE SYNTHESIS RESOLUTION WITH BUILD A TREE REFUTATION AND EVIDENCE |
|
| Creator |
Радішевський, М.Ф.; Національний авіаційний університет
Лозицький, В.В.; Національний авіаційний університет |
|
| Subject |
—
дедуктивний синтез; алгоритм сортування; метод; резолюція; спростування; доведення; побудова дерев УДК 004.4(045) — дедуктивный синтез; алгоритм сортировки; метод; резолюция; опровержение; доказательство; построение деревьев УДК 004.4(045) — deductive synthesis; sorting algorithm; a method; resolution; retraction; finishing; building trees UDC 004.4(045) |
|
| Description |
Стаття присвячена опису дедуктивного принципу синтезу програм з використанням методу резолюції на прикладі отримання алгоритму сортування. У статті показано принцип, що дає можливість отримувати твердження-відповіді на основі використання методу побудови дерев спростування та доведення.
Статья посвящена описанию дедуктивного принципа синтеза программ с использованием метода резолюции на примере получения алгоритма сортировки. В статье показан принцип, что дает возможность получать утверждение-ответы на основе использования метода построения деревьев опровержения идоказательства. This article is dedicated to the deductive program synthesis with using of resolution method on an example of sorting algorithm creation. In the article there is a shown principle that allows getting assertions-answers on the basis of method refutation and leading trees construction using. |
|
| Publisher |
National Aviation University
|
|
| Contributor |
—
— — |
|
| Date |
2013-11-24
|
|
| Type |
—
— — |
|
| Format |
application/pdf
application/pdf application/pdf |
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/SBT/article/view/5294
|
|
| Source |
Science-based technologies; Том 2, № 2 (2009); 79-81
Наукоемкие технологии; Том 2, № 2 (2009); 79-81 Наукоємні технології; Том 2, № 2 (2009); 79-81 |
|
| Language |
uk
|
|