SORTING ALGORITHM METHOD DEDUCTIVE SYNTHESIS RESOLUTION WITH BUILD A TREE REFUTATION AND EVIDENCE

Authors

  • М.Ф. Радішевський National Aviation University
  • В.В. Лозицький National Aviation University

DOI:

https://doi.org/10.18372/2310-5461.2.5294

Keywords:

deductive synthesis, sorting algorithm, a method, resolution, retraction, finishing, building trees

Abstract

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.

References

Тыугу Э.Х. Концептуальное программирование. — М.: Наука, 1984. — 256 с.

Башмаков А.И., Башмаков И.А. Интеллектуальные информационные технологии. — М.: Изд-во МГТУ им. Н.Э. Баумана, 2005. — 304 с.

Назаретов В.М., Ким Д.П. Робототехника и гибкие автоматизированные производства. В 9 кн. Кн. 6. Техническая имитация интеллекта: учеб. пособ. для втузов. — М.: Высш. шк., 1986. — 144 с. Чень Ч. Ли Р. Математическая логика и автоматическое доказательство теорем. М.: Наука. Глав. ред. физ.-мат. лит-ры, 1983. — 360 с.

Downloads

Published

2009-02-16

Issue

Vol. 2 No. 2 (2009)

Section

Information and Communication Systems and Networks