Формализация списков в метаязыке нормальных форм знаний

Кургаев, А. Ф.


	Наукова періодика України		Доповіді Національної академії наук України

Кургаев А. Ф.
Формализация списков в метаязыке нормальных форм знаний / А. Ф. Кургаев // Доповіді Національної академії наук України. - 2017. - № 10. - С. 18-27. - Режим доступу: http://nbuv.gov.ua/UJRN/dnanu_2017_10_5

Впервые предложена формализация предикатов на списках в метаязыке нормальных форм знаний, базируясь на известных описаниях этих понятий на Прологе, использующих списковый домен. Среди описанных предикатов: добавление элемента в список, удаление элемента, удаление повторов, принадлежность элемента списку, поиск последнего элемента списка, поиск соседних элементов списка, конкатенация списков, реверс и др.

Повний текст PDF - 630.997 Kb

Зміст випуску Google Scholar

Цитування публікації

Цитованість авторів публікації:

Кургаев А.

Бібліографічний опис для цитування:

Кургаев А. Ф. Формализация списков в метаязыке нормальных форм знаний / А. Ф. Кургаев // Доповіді Національної академії наук України. - 2017. - № 10. - С. 18-27. - Режим доступу: http://nbuv.gov.ua/UJRN/dnanu_2017_10_5.

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

Кургаєв Олександр Пилипович (1940–) (технічні науки)

Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"

Відділ інформаційно-комунікаційних технологій

Пам`ятка користувача