Системи програмування: дескриптивні засади

Abstract

В рамках концепції дескриптивної системи (ДС) розглянуто поняття системи програмування (СП) та платформи програмування (ПП). Розроблено універсальний метод еволюційного збагачення сутностей, основу якого складає прагматико-обумовлена типізація сутностей (ТОП), а головним інструментом типізації виступає поняття дефінітної системи (ДФС). Метод ТОП використано для розбудови понятійної структури ПП. Зокрема, дано визначення понять декомпозиції та композиції як адекватних збагачень відповідних ДФС – ключових елементів розуміння понять програмування та програми.

В рамках концепции дескриптивной системы (ДС) рассмотрено понятие системы программирования (СП) и платформы программирования (ПП). Разработан универсальный метод эволюционного обогащения сущностей, основу которого составляет прагматико-обусловленная типизация сущностей (ТОП), а главным инструментом типизации выступает понятие дефинитной системы (ДФС). Метод ТОП использован для построения понятийной структуры ПП. В частности, дано определение понятий декомпозиции и композиции как адекватных обогащений соответствующих ДФС – ключевых элементов понимания понятий программирования и программ.

Within the concept of descriptional system (DS) the notions of programming system (PS) and programming platform (PP) have been considered. A universal evolutional enrichment method has been worked out. The methods base composed by pragmatics-conditioned typification (PCT). And the main instrument of last-mentioned is notion of definitical system (DFS). The PCT method has been used to build the notional structure of PP. Particularly the definition of decomposition and composition as adequate enrichment of according DFS – key elements of comprehension of programs and programming has been given.