Алгебра алгоритмов, базирующаяся на данных
На основі модифікованої моделі ЕОМ Глушкова побудовано систему алгоритмічних алгебр. Дані формалізовані й специфіковані на вході й виході Д-операторів і, таким чином, побудований формальний апарат базується на даних. Доведено деякі властивості Д-операторів і операцій, що утворюють сигнатуру алгебри,...
Збережено в:
| Опубліковано в: : | Кибернетика и системный анализ |
|---|---|
| Дата: | 2012 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут кібернетики ім. В.М. Глушкова НАН України
2012
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/84042 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Алгебра алгоритмов, базирующаяся на данных / В.Г. Акуловский // Кибернетика и системный анализ. — 2012. — Т. 48, № 2. — С. 151-166. — Бібліогр.: 7 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-84042 |
|---|---|
| record_format |
dspace |
| spelling |
Акуловский, В.Г. 2015-07-02T09:13:35Z 2015-07-02T09:13:35Z 2012 Алгебра алгоритмов, базирующаяся на данных / В.Г. Акуловский // Кибернетика и системный анализ. — 2012. — Т. 48, № 2. — С. 151-166. — Бібліогр.: 7 назв. — рос. 0023-1274 https://nasplib.isofts.kiev.ua/handle/123456789/84042 519.681 На основі модифікованої моделі ЕОМ Глушкова побудовано систему алгоритмічних алгебр. Дані формалізовані й специфіковані на вході й виході Д-операторів і, таким чином, побудований формальний апарат базується на даних. Доведено деякі властивості Д-операторів і операцій, що утворюють сигнатуру алгебри, а також можливість побудови похідних Д-операторів. A system of algorithmic algebras is formed based on a modified Glushkov’s computer model. Data are formalized and specified at the input and output of D-operators and thus the formal apparatus is based on data. Some properties of D-operators and of operations that form the signature of algebra are proved and setting up derived D-operators is shown to be possible. ru Інститут кібернетики ім. В.М. Глушкова НАН України Кибернетика и системный анализ Программно-технические комплексы Алгебра алгоритмов, базирующаяся на данных Алгебра алгоритмів, що базується на даних Data-based algorithmic algebra 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 |
2012 |
| language |
Russian |
| container_title |
Кибернетика и системный анализ |
| publisher |
Інститут кібернетики ім. В.М. Глушкова НАН України |
| format |
Article |
| title_alt |
Алгебра алгоритмів, що базується на даних Data-based algorithmic algebra |
| description |
На основі модифікованої моделі ЕОМ Глушкова побудовано систему алгоритмічних алгебр. Дані формалізовані й специфіковані на вході й виході Д-операторів і, таким чином, побудований формальний апарат базується на даних. Доведено деякі властивості Д-операторів і операцій, що утворюють сигнатуру алгебри, а також можливість побудови похідних Д-операторів.
A system of algorithmic algebras is formed based on a modified Glushkov’s computer model. Data are formalized and specified at the input and output of D-operators and thus the formal apparatus is based on data. Some properties of D-operators and of operations that form the signature of algebra are proved and setting up derived D-operators is shown to be possible.
|
| issn |
0023-1274 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/84042 |
| citation_txt |
Алгебра алгоритмов, базирующаяся на данных / В.Г. Акуловский // Кибернетика и системный анализ. — 2012. — Т. 48, № 2. — С. 151-166. — Бібліогр.: 7 назв. — рос. |
| work_keys_str_mv |
AT akulovskiivg algebraalgoritmovbaziruûŝaâsânadannyh AT akulovskiivg algebraalgoritmívŝobazuêtʹsânadanih AT akulovskiivg databasedalgorithmicalgebra |
| first_indexed |
2025-12-07T16:42:18Z |
| last_indexed |
2025-12-07T16:42:18Z |
| _version_ |
1850868485952897024 |