Узагальнена композиційна модель символьної обробки
У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних
 математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предмет...
Gespeichert in:
| Datum: | 2003 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | Ukrainisch |
| Veröffentlicht: |
Інститут програмних систем НАН України
2003
|
| Schlagworte: | |
| Online Zugang: | https://nasplib.isofts.kiev.ua/handle/123456789/1065 |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| Назва журналу: | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| Zitieren: | Узагальнена композиційна модель символьної обробки/ В.Ю. Винник // Проблеми програмування. — 2003. — N 1. — С. 31-36. — Бібліогр.: 18 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| _version_ | 1862632039440711680 |
|---|---|
| author | Винник, В.Ю. |
| author_facet | Винник, В.Ю. |
| citation_txt | Узагальнена композиційна модель символьної обробки/ В.Ю. Винник // Проблеми програмування. — 2003. — N 1. — С. 31-36. — Бібліогр.: 18 назв. — укр. |
| collection | DSpace DC |
| description | У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних
математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предметної області. Запропоновано загальне поняття композиційної системи символьної обробки як абстрактну основу такої експлікації та продемонстровано його розгортання до більш конкретних моделей.
In the conceptual and methodological environment of compositional and explicative programming, a task of developing a system of interrelated adequate mathematical models of semantics of symbol processing programs that capture natural logics of programming processes and specifics of the object area, is considered. A general notion of verbal processing compositional system as an abstract basis of such an explication is proposed, and its evolution towards more concrete models is shown.
В концептуально-методологической среде композиционного и экспликативного программирования рассматривается задача построения системы взаимосвязанных адекватных математических моделей семантики программ символьной обработки, отображающих естественную логику процессов программирования и специфику предметной области. Предложено общее понятие композиционной системы символьной обработки в качестве абстрактной основы такой экспликации и продемонстрировано его развертывание до более конкретных моделей.
|
| first_indexed | 2025-11-30T12:10:23Z |
| format | Article |
| fulltext | |
| id | nasplib_isofts_kiev_ua-123456789-1065 |
| institution | Digital Library of Periodicals of National Academy of Sciences of Ukraine |
| issn | 1727-4907 |
| language | Ukrainian |
| last_indexed | 2025-11-30T12:10:23Z |
| publishDate | 2003 |
| publisher | Інститут програмних систем НАН України |
| record_format | dspace |
| spelling | Винник, В.Ю. 2008-07-18T13:48:28Z 2008-07-18T13:48:28Z 2003 Узагальнена композиційна модель символьної обробки/ В.Ю. Винник // Проблеми програмування. — 2003. — N 1. — С. 31-36. — Бібліогр.: 18 назв. — укр. 1727-4907 https://nasplib.isofts.kiev.ua/handle/123456789/1065 681.3.06 У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних
 математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предметної області. Запропоновано загальне поняття композиційної системи символьної обробки як абстрактну основу такої експлікації та продемонстровано його розгортання до більш конкретних моделей. In the conceptual and methodological environment of compositional and explicative programming, a task of developing a system of interrelated adequate mathematical models of semantics of symbol processing programs that capture natural logics of programming processes and specifics of the object area, is considered. A general notion of verbal processing compositional system as an abstract basis of such an explication is proposed, and its evolution towards more concrete models is shown. В концептуально-методологической среде композиционного и экспликативного программирования рассматривается задача построения системы взаимосвязанных адекватных математических моделей семантики программ символьной обработки, отображающих естественную логику процессов программирования и специфику предметной области. Предложено общее понятие композиционной системы символьной обработки в качестве абстрактной основы такой экспликации и продемонстрировано его развертывание до более конкретных моделей. uk Інститут програмних систем НАН України Теоретические и методологические основы программирования Узагальнена композиційна модель символьної обробки Обобщенная композиционная модель символьной обработки The general compositional models of symbol processing Article published earlier |
| spellingShingle | Узагальнена композиційна модель символьної обробки Винник, В.Ю. Теоретические и методологические основы программирования |
| title | Узагальнена композиційна модель символьної обробки |
| title_alt | Обобщенная композиционная модель символьной обработки The general compositional models of symbol processing |
| title_full | Узагальнена композиційна модель символьної обробки |
| title_fullStr | Узагальнена композиційна модель символьної обробки |
| title_full_unstemmed | Узагальнена композиційна модель символьної обробки |
| title_short | Узагальнена композиційна модель символьної обробки |
| title_sort | узагальнена композиційна модель символьної обробки |
| topic | Теоретические и методологические основы программирования |
| topic_facet | Теоретические и методологические основы программирования |
| url | https://nasplib.isofts.kiev.ua/handle/123456789/1065 |
| work_keys_str_mv | AT vinnikvû uzagalʹnenakompozicíinamodelʹsimvolʹnoíobrobki AT vinnikvû obobŝennaâkompozicionnaâmodelʹsimvolʹnoiobrabotki AT vinnikvû thegeneralcompositionalmodelsofsymbolprocessing |