Узагальнена композиційна модель символьної обробки
У концептуально-методологічному середовищі композиційного та експлікативного програмування розглядається задача побудови системи взаємопов’язаних адекватних математичних моделей семантики програм символьної обробки, що відображають природну логіку процесів програмування та специфіку предметної обла...
Saved in:
| Date: | 2003 |
|---|---|
| Main Author: | |
| Format: | Article |
| Language: | Ukrainian |
| Published: |
Інститут програмних систем НАН України
2003
|
| Subjects: | |
| Online Access: | https://nasplib.isofts.kiev.ua/handle/123456789/1065 |
| 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: | Узагальнена композиційна модель символьної обробки/ В.Ю. Винник // Проблеми програмування. — 2003. — N 1. — С. 31-36. — Бібліогр.: 18 назв. — укр. |
Institution
Digital Library of Periodicals of National Academy of Sciences of Ukraine| id |
nasplib_isofts_kiev_ua-123456789-1065 |
|---|---|
| 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 |
| 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 |
2003 |
| language |
Ukrainian |
| publisher |
Інститут програмних систем НАН України |
| format |
Article |
| title_alt |
Обобщенная композиционная модель символьной обработки The general compositional models of symbol processing |
| 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.
В концептуально-методологической среде композиционного и экспликативного программирования рассматривается задача построения системы взаимосвязанных адекватных математических моделей семантики программ символьной обработки, отображающих естественную логику процессов программирования и специфику предметной области. Предложено общее понятие композиционной системы символьной обработки в качестве абстрактной основы такой экспликации и продемонстрировано его развертывание до более конкретных моделей.
|
| issn |
1727-4907 |
| url |
https://nasplib.isofts.kiev.ua/handle/123456789/1065 |
| citation_txt |
Узагальнена композиційна модель символьної обробки/ В.Ю. Винник // Проблеми програмування. — 2003. — N 1. — С. 31-36. — Бібліогр.: 18 назв. — укр. |
| work_keys_str_mv |
AT vinnikvû uzagalʹnenakompozicíinamodelʹsimvolʹnoíobrobki AT vinnikvû obobŝennaâkompozicionnaâmodelʹsimvolʹnoiobrabotki AT vinnikvû thegeneralcompositionalmodelsofsymbolprocessing |
| first_indexed |
2025-11-30T12:10:23Z |
| last_indexed |
2025-11-30T12:10:23Z |
| _version_ |
1850857640784035840 |