Внешние множественные операции табличной алгебры бесконечных таблиц

dc.contributor.author	Глушко, И.М.
dc.date.accessioned	2017-11-23T12:41:08Z
dc.date.available	2017-11-23T12:41:08Z
dc.date.issued	2016
dc.identifier.citation	Внешние множественные операции табличной алгебры бесконечных таблиц / И.М. Глушко // Проблеми програмування. — 2016. — № 2-3. — С. 11-16. — Бібліогр.: 4 назв. — рос.	uk_UA
dc.identifier.issn	1727-4907
dc.identifier.uri	http://dspace.nbuv.gov.ua/handle/123456789/126385
dc.description.abstract	Рассматривается табличная алгебра бесконечных таблиц. Сигнатура табличной алгебры бесконечных таблиц пополнена внешними множественными операциями. Задано формальную математическую семантику этих операций и приведены примеры их применения.	uk_UA
dc.description.abstract	Розглядається таблична алгебра нескінченних таблиць. Сигнатура табличної алгебри нескінченних таблиць поповнена зовнішніми множинними операціями. Задано формальну математичну семантику цих операцій і наведено приклади їх застосування.	uk_UA
dc.description.abstract	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.	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	Outer Set Operations of Table Algebra of Infinite Tables	uk_UA
dc.type	Article	uk_UA
dc.status	published earlier	uk_UA
dc.identifier.udc	004.655