Показати простий запис статті
dc.contributor.author |
Кургаев, А.Ф. |
|
dc.date.accessioned |
2017-12-07T16:28:01Z |
|
dc.date.available |
2017-12-07T16:28:01Z |
|
dc.date.issued |
2017 |
|
dc.identifier.citation |
Формализация списков в метаязыке нормальных форм знаний / А.Ф. Кургаев // Доповіді Національної академії наук України. — 2017. — № 10. — С. 18-27. — Бібліогр.: 8 назв. — рос. |
uk_UA |
dc.identifier.issn |
1025-6415 |
|
dc.identifier.other |
DOI: doi.org/10.15407/dopovidi2017.10.018 |
|
dc.identifier.uri |
http://dspace.nbuv.gov.ua/handle/123456789/126979 |
|
dc.description.abstract |
Впервые предложена формализация предикатов на списках в метаязыке нормальных форм знаний, базируясь на известных описаниях этих понятий на Прологе, использующих списковый домен. Среди описанных предикатов: добавление элемента в список, удаление элемента, удаление повторов, принадлежность элемента списку, поиск последнего элемента списка, поиск соседних элементов списка, конкатенация списков, реверс и др. |
uk_UA |
dc.description.abstract |
Вперше запропоновано формалізацію предикатів на списках у метамові нормальних форм знань, базуючись на відомих описах цих понять на Прологу, які використовують списковий домен. Серед описаних
предикатів: додавання елемента в список, видалення елемента, видалення повторів, приналежність елемента списку, пошук останнього елемента списку, пошук сусідніх елементів списку, конкатенація списків, реверс й ін. |
uk_UA |
dc.description.abstract |
The formalization of list-based predicates in the meta-language of normal forms of knowledge is presented for the
first time, based on the known descriptions of these concepts in Prolog, which use a list-domain. Among the
predica tes described are the following: adding an element to the list, removing an element, removing duplicates,
checking if an element is in a list, finding the last element of a list, finding adjacent elements in a list, concatenation
of lists, re versing a list, etc. |
uk_UA |
dc.language.iso |
ru |
uk_UA |
dc.publisher |
Видавничий дім "Академперіодика" НАН України |
uk_UA |
dc.relation.ispartof |
Доповіді НАН України |
|
dc.subject |
Інформатика |
uk_UA |
dc.title |
Формализация списков в метаязыке нормальных форм знаний |
uk_UA |
dc.title.alternative |
Формалізація списків у метамові нормальних форм знань |
uk_UA |
dc.title.alternative |
The formalization of lists in the metalanguage of normal forms of knowledge |
uk_UA |
dc.type |
Article |
uk_UA |
dc.status |
published earlier |
uk_UA |
dc.identifier.udc |
004.8 |
|
Файли у цій статті
Ця стаття з'являється у наступних колекціях
Показати простий запис статті