NAU Harvester System
SORTING ALGORITHM METHOD DEDUCTIVE SYNTHESIS RESOLUTION WITH BUILD A TREE REFUTATION AND EVIDENCE
Наукові журнали Національного Авіаційного Університету
View Archive Info| Field | Value | |
| Title |
SORTING ALGORITHM METHOD DEDUCTIVE SYNTHESIS RESOLUTION WITH BUILD A TREE REFUTATION AND EVIDENCE
ДЕДУКТИВНЫЙ СИНТЕЗ АЛГОРИТМА СОРТИРОВКИ МЕТОДОМ РЕЗОЛЮЦИИ С ПОСТРОЕНИЕМ ДЕРЕВЬЕВ ОПРОВЕРЖЕНИЯ И ДОКАЗАТЕЛЬСТВА ДЕДУКТИВНИЙ СИНТЕЗ АЛГОРИТМУ СОРТУВАННЯ МЕТОДОМ РЕЗОЛЮЦІЇ З ПОБУДОВОЮ ДЕРЕВ СПРОСТУВАННЯ ТА ДОВЕДЕННЯ |
|
| Creator |
Радішевський, М.Ф.; Національний авіаційний університет
Лозицький, В.В.; Національний авіаційний університет |
|
| Subject |
—
deductive synthesis; sorting algorithm; a method; resolution; retraction; finishing; building trees UDC 004.4(045) — дедуктивный синтез; алгоритм сортировки; метод; резолюция; опровержение; доказательство; построение деревьев УДК 004.4(045) — дедуктивний синтез; алгоритм сортування; метод; резолюція; спростування; доведення; побудова дерев УДК 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 |
2009-11-24
|
|
| Type |
—
— — |
|
| Format |
application/pdf
application/pdf application/pdf |
|
| Identifier |
http://jrnl.nau.edu.ua/index.php/SBT/article/view/5294
10.18372/2310-5461.2.5294 |
|
| Source |
Наукоємні технології; Том 2, № 2 (2009); 79-81
Science-based technologies; Том 2, № 2 (2009); 79-81 Наукоемкие технологии; Том 2, № 2 (2009); 79-81 |
|
| Language |
uk
|
|