Внешние множественные операции табличной алгебры бесконечных таблиц
Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры их применения. Розглядається таблична алгебра нескінченних таблиць. Сигнатур...
Збережено в:
| Опубліковано в: : | Проблеми програмування |
|---|---|
| Дата: | 2016 |
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2016
|
| Теми: | |
| Онлайн доступ: | https://nasplib.isofts.kiev.ua/handle/123456789/126385 |
| Теги: |
Додати тег
Немає тегів, Будьте першим, хто поставить тег для цього запису!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Цитувати: | Внешние множественные операции табличной алгебры бесконечных таблиц / И.М. Глушко // Проблеми програмування. — 2016. — № 2-3. — С. 11-16. — Бібліогр.: 4 назв. — рос. |
Репозитарії
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-126385 |
|---|---|
| record_format |
dspace |
| spelling |
Глушко, И.М. 2017-11-23T12:41:08Z 2017-11-23T12:41:08Z 2016 Внешние множественные операции табличной алгебры бесконечных таблиц / И.М. Глушко // Проблеми програмування. — 2016. — № 2-3. — С. 11-16. — Бібліогр.: 4 назв. — рос. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/126385 004.655 Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры их применения. Розглядається таблична алгебра нескінченних таблиць. Сигнатура табличної алгебри нескінченних таблиць поповнена зовнішніми множинними операціями. Задано формальну математичну семантику цих операцій і наведено приклади їх застосування. Table algebra of infinite tables is considered. The signature of table algebra of infinite tables is filled up with outer set operations. A formal mathematical semantics of these operations is defined. ru Інститут програмних систем НАН України Проблеми програмування Теоретичні та методологічні основи програмування Внешние множественные операции табличной алгебры бесконечных таблиц Зовнішні множинні операції табличної алгебри нескінченних таблиць Outer Set Operations of Table Algebra of Infinite Tables 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 |
2016 |
| language |
Russian |
| container_title |
Проблеми програмування |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Зовнішні множинні операції табличної алгебри нескінченних таблиць Outer Set Operations of Table Algebra of Infinite Tables |
| description |
Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры их применения.
Розглядається таблична алгебра нескінченних таблиць. Сигнатура табличної алгебри нескінченних таблиць поповнена зовнішніми множинними операціями. Задано формальну математичну семантику цих операцій і наведено приклади їх застосування.
Table algebra of infinite tables is considered. The signature of table algebra of infinite tables is filled up with outer set operations. A formal mathematical semantics of these operations is defined.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/126385 |
| citation_txt |
Внешние множественные операции табличной алгебры бесконечных таблиц / И.М. Глушко // Проблеми програмування. — 2016. — № 2-3. — С. 11-16. — Бібліогр.: 4 назв. — рос. |
| work_keys_str_mv |
AT gluškoim vnešniemnožestvennyeoperaciitabličnoialgebrybeskonečnyhtablic AT gluškoim zovníšnímnožinníoperacíítabličnoíalgebrineskínčennihtablicʹ AT gluškoim outersetoperationsoftablealgebraofinfinitetables |
| first_indexed |
2025-11-28T12:07:44Z |
| last_indexed |
2025-11-28T12:07:44Z |
| _version_ |
1850853738490626048 |