Концептологічні засади технологічних систем програмування

Скорочена інформація про документ
dc.contributor.authorРедько, Ігор Володимирович
dc.contributor.authorЯганов, Петро Олексійович
dc.contributor.authorЗилевич, Максим Олегович
dc.date.accessioned2023-12-28T10:49:11Z
dc.date.available2023-12-28T10:49:11Z
dc.date.issued2023
dc.description.abstractУ статті досліджена і обґрунтована необхідність парадигмальних змін у технологічних основах програмування, переходу від індивідносуб’єктивної парадигми програмування до інтерсуб’єктивної, основу якої складає евідентне основоположення про цілісне розуміння програмування, як діяльності, що обумовлена програмою. Розвиток цієї парадигми, зокрема і технологічного середовища програму- вання як платформи програмної релятивізації, є покроковим продуктивним збагачення основополо- ження про цілісне розуміння. Програмування розглянуто у контексті осучаснення його розуміння як діяльність, що обумовлена програмним уподібненням, суб’єктоорієнтованим взаємодоповненням його активної та пасивної форм. Об’єктивізація активно-пасивного взаємодоповнення є основною пере- думовою реального осучаснення розуміння програмування як рефлексивно-транзитивного замикання породжуваного суб’єктом програмного уподібнення. Визначальною для об’єктивізації активної ролі суб’єкта в контексті побудов у середовищі програмування є концепт – суть – уподібнення згаданого носія, представлена у вигляді тієї чи іншої специфікації. Інструмент логіко-математичних специ- фікацій семантико-синтаксичних аспектів програмування апробовано на прикладах, продемонстро- вано загальні особливості застосування технологічного середовища програмування до породження суб’єктоорієнтованих технологічних систем програмування та їх використання. Розглянуті приклади вирішення задач у арифметичній систмі програмування демонструють важливі загальні особливості редукційного концептування оракульних схем. Це, по-перше, гарантована коректність отримуваних рішень, що випливає безпосередньо з їх побудови. По-друге, можливість переходу від рішень окремих задач до вирішення класів подібних задач. І, по-третє, отримані рішення можуть бути реалізовані на різних синтаксичних програмних платформах.uk
dc.description.abstractotherThe article investigates and substantiates the need for paradigmatic changes in the technological foundations of programming, the transition from an individual-subjective paradigm of programming to an intersubjective one, the basis of which is the evident premise of a holistic understanding of programming as an activity determined by a program. The development of this paradigm, in particular the technological environment of programming as a platform for software relativization, is a step-by-step productive enrichment of the premise of holistic understanding. Programming is considered in the context of modernizing its understanding as an activity conditioned by program likeness, and subject-oriented complementarity of its active and passive forms. The objectification of active-passive complementarity is the main prerequisite for the real modernization of the understanding of programming as a reflexive-transitive closure of the subject-generated program likeness. Decisive for the objectification of the subject’s active role in the context of constructions in the programming environment is the concept – essence – assimilation of the mentioned medium, presented in the form of one or another specification. The tool of logical-mathematical specifications of semantic-syntactic aspects of programming is tested on examples, and the general features of the application of the technological programming environment to the generation of subject-oriented technological programming systems and their use are demonstrated. The considered examples of solving problems in the arithmetic system of programming demonstrate important general features of the reductive conceptualization of oracle schemes. This is, first of all, the guaranteed correctness of the obtained solutions, which follows directly from their construction. Secondly, the possibility of transition from solving individual problems to solving classes of similar problems. And, thirdly, the obtained solutions can be implemented on different syntactic software platforms.uk
dc.format.pagerangeс. 219-223uk
dc.identifier.citationРедько, І. В. Концептологічні засади технологічних систем програмування / Редько І. В., Яганов П. О., Зилевич М. О. // Вчені записки ТНУ ім. Вернадського. Серія: Технічні науки. – 2023. – Том 34 (73), № 5. – С. 219-223.uk
dc.identifier.orcid0000-0001-7358-9846uk
dc.identifier.orcid0000-0002-3121-1412uk
dc.identifier.urihttps://ela.kpi.ua/handle/123456789/63419
dc.language.isoukuk
dc.publisherТаврійський національний університет ім. Вернадськогоuk
dc.publisher.placeКиївuk
dc.relation.ispartofВчені записки ТНУ ім. Вернадського. Серія: Технічні науки, Том 34 (73), № 5uk
dc.subjectконцептuk
dc.subjectмонадаuk
dc.subjectкомпозитuk
dc.subjectкомпозиціяuk
dc.subjectредукціяuk
dc.subjectоракульні схемиuk
dc.subjectсередовище програмуванняuk
dc.subject.udc681.3.06uk
dc.titleКонцептологічні засади технологічних систем програмуванняuk
dc.typeArticleuk

Файли

Контейнер файлів
Зараз показуємо 1 - 1 з 1
Ескіз
Назва:
Kontseptolohichni_zasady_TS_prohramuvannia.pdf
Розмір:
418.92 KB
Формат:
Adobe Portable Document Format
Опис:
Завантажити
Ліцензійна угода
Зараз показуємо 1 - 1 з 1
Ескіз недоступний
Назва:
license.txt
Розмір:
9.01 KB
Формат:
Item-specific license agreed upon to submission
Опис:
Завантажити

Зібрання

Статті (КЕОА)