Композиційно-номінативні логіки з операторами нерухомої точки
Розглянуто застосування операторів побудови нерухомої та Т-нерухомої точок для композиційно-номінативних логік різних рівнів абстракції. Оператори побудови нерухомих точок можна розглядати і як метакомпозиції, які за композиціями-аргументами будують нові композиції. Наводяться відповідні теореми щод...
Saved in:
| Date: | 2008 |
|---|---|
| Main Authors: | , , |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2008
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1424 |
| 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: | Композиційно-номінативні логіки з операторами нерухомої точки / М.С. Нікітченко, С.С. Шкільняк, І.А. Антонова // Пробл. програмув. — 2008. — N 2-3. — С. 64-74. — Бібліогр.: 7 назв. — укp. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862731308982075392 |
|---|---|
| author | Нікітченко, М.С. Шкільняк, С.С. Антонова, І.А. |
| author_facet | Нікітченко, М.С. Шкільняк, С.С. Антонова, І.А. |
| citation_txt | Композиційно-номінативні логіки з операторами нерухомої точки / М.С. Нікітченко, С.С. Шкільняк, І.А. Антонова // Пробл. програмув. — 2008. — N 2-3. — С. 64-74. — Бібліогр.: 7 назв. — укp. |
| collection | DSpace DC |
| description | Розглянуто застосування операторів побудови нерухомої та Т-нерухомої точок для композиційно-номінативних логік різних рівнів абстракції. Оператори побудови нерухомих точок можна розглядати і як метакомпозиції, які за композиціями-аргументами будують нові композиції. Наводяться відповідні теореми щодо подання класів предикатів як ω-областей, ω-неперервності та монотонності основних композицій предикатів, існування нерухомих та Т-нерухомих точок, замкненості класів предикатів відносно операторів нерухомої точки, та властивостей таких операторів.
Application of fixed points and T-fixed points operators for composition nominative logics of different abstraction levels is considered in the report. It is possible to treat fixed points operators as metacompositions which build new compositions on compositions-arguments. Corresponding theorems about representation of predicates classes as ω-domains, ω-continuity and monotonicity of the basic predicates compositions, existence of fixed points and T-fixed points, completeness of predicates classes concerning fixed points operators, and properties of such operators are studied.
|
| first_indexed | 2025-12-07T19:25:31Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1424 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-12-07T19:25:31Z |
| publishDate | 2008 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Нікітченко, М.С. Шкільняк, С.С. Антонова, І.А. 2008-07-30T15:34:52Z 2008-07-30T15:34:52Z 2008 Композиційно-номінативні логіки з операторами нерухомої точки / М.С. Нікітченко, С.С. Шкільняк, І.А. Антонова // Пробл. програмув. — 2008. — N 2-3. — С. 64-74. — Бібліогр.: 7 назв. — укp. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1424 519.681 Розглянуто застосування операторів побудови нерухомої та Т-нерухомої точок для композиційно-номінативних логік різних рівнів абстракції. Оператори побудови нерухомих точок можна розглядати і як метакомпозиції, які за композиціями-аргументами будують нові композиції. Наводяться відповідні теореми щодо подання класів предикатів як ω-областей, ω-неперервності та монотонності основних композицій предикатів, існування нерухомих та Т-нерухомих точок, замкненості класів предикатів відносно операторів нерухомої точки, та властивостей таких операторів. Application of fixed points and T-fixed points operators for composition nominative logics of different abstraction levels is considered in the report. It is possible to treat fixed points operators as metacompositions which build new compositions on compositions-arguments. Corresponding theorems about representation of predicates classes as ω-domains, ω-continuity and monotonicity of the basic predicates compositions, existence of fixed points and T-fixed points, completeness of predicates classes concerning fixed points operators, and properties of such operators are studied. uk Інститут програмних систем НАН України Теоретичні та методологічні основи програмування Композиційно-номінативні логіки з операторами нерухомої точки Composition nominative logics with fixed point operators Article published earlier |
| spellingShingle | Композиційно-номінативні логіки з операторами нерухомої точки Нікітченко, М.С. Шкільняк, С.С. Антонова, І.А. Теоретичні та методологічні основи програмування |
| title | Композиційно-номінативні логіки з операторами нерухомої точки |
| title_alt | Composition nominative logics with fixed point operators |
| title_full | Композиційно-номінативні логіки з операторами нерухомої точки |
| title_fullStr | Композиційно-номінативні логіки з операторами нерухомої точки |
| title_full_unstemmed | Композиційно-номінативні логіки з операторами нерухомої точки |
| title_short | Композиційно-номінативні логіки з операторами нерухомої точки |
| title_sort | композиційно-номінативні логіки з операторами нерухомої точки |
| topic | Теоретичні та методологічні основи програмування |
| topic_facet | Теоретичні та методологічні основи програмування |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1424 |
| work_keys_str_mv | AT níkítčenkoms kompozicíinonomínativnílogíkizoperatoramineruhomoítočki AT škílʹnâkss kompozicíinonomínativnílogíkizoperatoramineruhomoítočki AT antonovaía kompozicíinonomínativnílogíkizoperatoramineruhomoítočki AT níkítčenkoms compositionnominativelogicswithfixedpointoperators AT škílʹnâkss compositionnominativelogicswithfixedpointoperators AT antonovaía compositionnominativelogicswithfixedpointoperators |