Описание списков и множеств в метаязыке нормальных форм знаний
Предложена формализация списков, предикатов на списках и множествах в метаязыке нормальных форм знаний, базируясь на известных Пролог-формализациях этих понятий, использующих списковый домен. Среди предикатов на списках описаны: добавление элемента, удаление элемента, поиск последнего элемента, поис...
Saved in:
| Published in: | Проблеми програмування |
|---|---|
| Date: | 2020 |
| Main Author: | |
| Format: | Article |
| Language: | Russian |
| Published: |
Інститут програмних систем НАН України
2020
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/180418 |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Journal Title: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Cite this: | Описание списков и множеств в метаязыке нормальных форм знаний / А.Ф. Кургаев // Проблеми програмування. — 2020. — № 1. — С. 3-16. — Бібліогр.: 9 назв. — рос. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-180418 |
|---|---|
| record_format |
dspace |
| spelling |
Кургаев, А.Ф. 2021-09-24T08:00:38Z 2021-09-24T08:00:38Z 2020 Описание списков и множеств в метаязыке нормальных форм знаний / А.Ф. Кургаев // Проблеми програмування. — 2020. — № 1. — С. 3-16. — Бібліогр.: 9 назв. — рос. 1727-4907 DOI: https://doi.org/10.15407/pp2020.01.003 https://nasplib.isofts.kiev.ua/handle/123456789/180418 004.8 Предложена формализация списков, предикатов на списках и множествах в метаязыке нормальных форм знаний, базируясь на известных Пролог-формализациях этих понятий, использующих списковый домен. Среди предикатов на списках описаны: добавление элемента, удаление элемента, поиск последнего элемента, поиск соседних элементов, конкатенация списков, реверс и др. Используя списковый домен описаны предикаты на множествах: превращения списка в множество, принадлежности элемента множеству, объединения, пересечения, разности, симметрической разности, совпадения, дополнения множеств. Списки використовують для подання всіляких знань. У вигляді списків зручно представляти формули, функції, дерева, графи, множини й багато інших складних об'єктів. Множина – одна з найбільш важливих структур даних, використовуваних як у математиці, так і в програмуванні. Запропоновано формалізацію у метамові нормальних форм знань списків, предикатів на списках і множинах, базуючись на відомих Пролог-формалізаціях цих понять, що використовують списковий домен. Серед предикатів на списках описано: додавання елемента, видалення елемента, пошук останнього елемента, пошук сусідніх елементів, конкатенація списків, реверс, паліндром, видалення всіх входжень елемента і ін. Використовуючи списковий домен описано предикати на множинах: перетворення списку в множину, приналежність елемента множині, об'єднання, перетин, різниця, симетрична різниця, збіг, доповнення множин, відношення підмножини, власної підмножини. Lists use for representation of various knowledge. As lists it comfortably to present formulas, functions, trees, columns, great numbers and many other difficult objects. Great number - one of the most essential structures of data, used both in mathematics, and in programming. The formalization of lists, list-based predicates and set-based predicates in the meta-language of normal forms of knowledge is presented, based on the known Prolog-formalizations of these concepts, which use a list-domain. Among the described list-based predicates are the following: adding an element to the list, removing an element, finding the last element of a list, finding adjacent elements in a list, concatenation of lists, reversing a list, palindrome, etc. Using the list-domain, the set-based predicates are described as follows: converting a list into a set, checking if an element is in a set, concatenation, intersection, difference, symmetrical difference, identity, complement of sets, relation of subset, proper subset. ru Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Описание списков и множеств в метаязыке нормальных форм знаний Опис списків і множин в метамові нормальних форм знань The description of lists and sets of meta-language of normal forms of knowledge Article published earlier |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| title |
Описание списков и множеств в метаязыке нормальных форм знаний |
| spellingShingle |
Описание списков и множеств в метаязыке нормальных форм знаний Кургаев, А.Ф. Теоретичні та методологічні основи програмування |
| title_short |
Описание списков и множеств в метаязыке нормальных форм знаний |
| title_full |
Описание списков и множеств в метаязыке нормальных форм знаний |
| title_fullStr |
Описание списков и множеств в метаязыке нормальных форм знаний |
| title_full_unstemmed |
Описание списков и множеств в метаязыке нормальных форм знаний |
| title_sort |
описание списков и множеств в метаязыке нормальных форм знаний |
| author |
Кургаев, А.Ф. |
| author_facet |
Кургаев, А.Ф. |
| topic |
Теоретичні та методологічні основи програмування |
| topic_facet |
Теоретичні та методологічні основи програмування |
| publishDate |
2020 |
| language |
Russian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Опис списків і множин в метамові нормальних форм знань The description of lists and sets of meta-language of normal forms of knowledge |
| description |
Предложена формализация списков, предикатов на списках и множествах в метаязыке нормальных форм знаний, базируясь на известных Пролог-формализациях этих понятий, использующих списковый домен. Среди предикатов на списках описаны: добавление элемента, удаление элемента, поиск последнего элемента, поиск соседних элементов, конкатенация списков, реверс и др. Используя списковый домен описаны предикаты на множествах: превращения списка в множество, принадлежности элемента множеству, объединения, пересечения, разности, симметрической разности, совпадения, дополнения множеств.
Списки використовують для подання всіляких знань. У вигляді списків зручно представляти формули, функції, дерева, графи, множини й багато інших складних об'єктів. Множина – одна з найбільш важливих структур даних, використовуваних як у математиці, так і в програмуванні. Запропоновано формалізацію у метамові нормальних форм знань списків, предикатів на списках і множинах, базуючись на відомих Пролог-формалізаціях цих понять, що використовують списковий домен. Серед предикатів на списках описано: додавання елемента, видалення елемента, пошук останнього елемента, пошук сусідніх елементів, конкатенація списків, реверс, паліндром, видалення всіх входжень елемента і ін. Використовуючи списковий домен описано предикати на множинах: перетворення списку в множину, приналежність елемента множині, об'єднання, перетин, різниця, симетрична різниця, збіг, доповнення множин, відношення підмножини, власної підмножини.
Lists use for representation of various knowledge. As lists it comfortably to present formulas, functions, trees, columns, great numbers and many other difficult objects. Great number - one of the most essential structures of data, used both in mathematics, and in programming. The formalization of lists, list-based predicates and set-based predicates in the meta-language of normal forms of knowledge is presented, based on the known Prolog-formalizations of these concepts, which use a list-domain. Among the described list-based predicates are the following: adding an element to the list, removing an element, finding the last element of a list, finding adjacent elements in a list, concatenation of lists, reversing a list, palindrome, etc. Using the list-domain, the set-based predicates are described as follows: converting a list into a set, checking if an element is in a set, concatenation, intersection, difference, symmetrical difference, identity, complement of sets, relation of subset, proper subset.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/180418 |
| citation_txt |
Описание списков и множеств в метаязыке нормальных форм знаний / А.Ф. Кургаев // Проблеми програмування. — 2020. — № 1. — С. 3-16. — Бібліогр.: 9 назв. — рос. |
| work_keys_str_mv |
AT kurgaevaf opisaniespiskovimnožestvvmetaâzykenormalʹnyhformznanii AT kurgaevaf opisspiskívímnožinvmetamovínormalʹnihformznanʹ AT kurgaevaf thedescriptionoflistsandsetsofmetalanguageofnormalformsofknowledge |
| first_indexed |
2025-12-07T13:14:12Z |
| last_indexed |
2025-12-07T13:14:12Z |
| _version_ |
1850855394095661056 |