Внешние множественные операции табличной алгебры бесконечных таблиц
Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры их применения....
Збережено в:
| Дата: | 2016 |
|---|---|
| Автор: | |
| Формат: | Стаття |
| Мова: | Russian |
| Опубліковано: |
Інститут програмних систем НАН України
2016
|
| Назва видання: | Проблеми програмування |
| Теми: | |
| Онлайн доступ: | http://dspace.nbuv.gov.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 |
irk-123456789-126385 |
|---|---|
| record_format |
dspace |
| spelling |
irk-123456789-1263852017-11-24T03:01:04Z Внешние множественные операции табличной алгебры бесконечных таблиц Глушко, И.М. Теоретичні та методологічні основи програмування Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры их применения. Розглядається таблична алгебра нескінченних таблиць. Сигнатура табличної алгебри нескінченних таблиць поповнена зовнішніми множинними операціями. Задано формальну математичну семантику цих операцій і наведено приклади їх застосування. 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. 2016 Article Внешние множественные операции табличной алгебры бесконечных таблиц / И.М. Глушко // Проблеми програмування. — 2016. — № 2-3. — С. 11-16. — Бібліогр.: 4 назв. — рос. 1727-4907 http://dspace.nbuv.gov.ua/handle/123456789/126385 004.655 ru Проблеми програмування Інститут програмних систем НАН України |
| institution |
Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| collection |
DSpace DC |
| language |
Russian |
| topic |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування |
| spellingShingle |
Теоретичні та методологічні основи програмування Теоретичні та методологічні основи програмування Глушко, И.М. Внешние множественные операции табличной алгебры бесконечных таблиц Проблеми програмування |
| description |
Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры их применения. |
| format |
Article |
| author |
Глушко, И.М. |
| author_facet |
Глушко, И.М. |
| author_sort |
Глушко, И.М. |
| title |
Внешние множественные операции табличной алгебры бесконечных таблиц |
| title_short |
Внешние множественные операции табличной алгебры бесконечных таблиц |
| title_full |
Внешние множественные операции табличной алгебры бесконечных таблиц |
| title_fullStr |
Внешние множественные операции табличной алгебры бесконечных таблиц |
| title_full_unstemmed |
Внешние множественные операции табличной алгебры бесконечных таблиц |
| title_sort |
внешние множественные операции табличной алгебры бесконечных таблиц |
| publisher |
Інститут програмних систем НАН України |
| publishDate |
2016 |
| topic_facet |
Теоретичні та методологічні основи програмування |
| url |
http://dspace.nbuv.gov.ua/handle/123456789/126385 |
| citation_txt |
Внешние множественные операции табличной алгебры бесконечных таблиц / И.М. Глушко // Проблеми програмування. — 2016. — № 2-3. — С. 11-16. — Бібліогр.: 4 назв. — рос. |
| series |
Проблеми програмування |
| work_keys_str_mv |
AT gluškoim vnešniemnožestvennyeoperaciitabličnojalgebrybeskonečnyhtablic |
| first_indexed |
2023-10-18T20:50:41Z |
| last_indexed |
2023-10-18T20:50:41Z |
| _version_ |
1796151256118460416 |