ДЕДУКТИВНИЙ СИНТЕЗ АЛГОРИТМУ СОРТУВАННЯ МЕТОДОМ РЕЗОЛЮЦІЇ З ПОБУДОВОЮ ДЕРЕВ СПРОСТУВАННЯ ТА ДОВЕДЕННЯ

Автор(и)

  • М.Ф. Радішевський Національний авіаційний університет
  • В.В. Лозицький Національний авіаційний університет

DOI:

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

Ключові слова:

дедуктивний синтез, алгоритм сортування, метод, резолюція, спростування, доведення, побудова дерев

Анотація

Стаття присвячена опису дедуктивного принципу синтезу програм з використанням методу резолюції на прикладі отримання алгоритму сортування.  У  статті показано  принцип,  що  дає  можливість отримувати твердження-відповіді на основі використання методу побудови дерев спростування та доведення.

Посилання

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

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

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

##submission.downloads##

Опубліковано

16.02.2009

Номер

Том 2 № 2 (2009)

Розділ

Інформаційно-комунікаційні системи та мережі