LOGIN TO YOUR ACCOUNT

Username
Password
Remember Me
Or use your Academic/Social account:

CREATE AN ACCOUNT

Or use your Academic/Social account:

Congratulations!

You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.

Important!

Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message

CREATE AN ACCOUNT

Name:
Username:
Password:
Verify Password:
E-mail:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:
fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Радішевський, М.Ф.; Національний авіаційний університет; Лозицький, В.В.; Національний авіаційний університет (2013)
Publisher: National Aviation University
Languages: Ukrainian
Types: Unknown
Subjects: deductive synthesis; sorting algorithm; a method; resolution; retraction; finishing; building trees, UDC 004.4(045), дедуктивный синтез; алгоритм сортировки; метод; резолюция; опровержение; доказательство; построение деревьев, УДК 004.4(045), дедуктивний синтез; алгоритм сортування; метод; резолюція; спростування; доведення; побудова дерев
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. Статья посвящена описанию дедуктивного принципа синтеза программ с использованием метода резолюции на примере получения алгоритма сортировки. В статье показан принцип, что дает возможность получать утверждение-ответы на основе использования метода построения деревьев опровержения идоказательства. Стаття присвячена опису дедуктивного принципу синтезу програм з використанням методу резолюції на прикладі отримання алгоритму сортування.  У  статті показано  принцип,  що  дає  можливість отримувати твердження-відповіді на основі використання методу побудови дерев спростування та доведення.
  • No references.
  • No related research data.
  • No similar publications.