Редько, Ігор ВолодимировичЯганов, Петро ОлексійовичЗилевич, Максим Олегович2023-12-282023-12-282023Редько, І. В. Концептологічні засади технологічних систем програмування / Редько І. В., Яганов П. О., Зилевич М. О. // Вчені записки ТНУ ім. Вернадського. Серія: Технічні науки. – 2023. – Том 34 (73), № 5. – С. 219-223.https://ela.kpi.ua/handle/123456789/63419У статті досліджена і обґрунтована необхідність парадигмальних змін у технологічних основах програмування, переходу від індивідносуб’єктивної парадигми програмування до інтерсуб’єктивної, основу якої складає евідентне основоположення про цілісне розуміння програмування, як діяльності, що обумовлена програмою. Розвиток цієї парадигми, зокрема і технологічного середовища програму- вання як платформи програмної релятивізації, є покроковим продуктивним збагачення основополо- ження про цілісне розуміння. Програмування розглянуто у контексті осучаснення його розуміння як діяльність, що обумовлена програмним уподібненням, суб’єктоорієнтованим взаємодоповненням його активної та пасивної форм. Об’єктивізація активно-пасивного взаємодоповнення є основною пере- думовою реального осучаснення розуміння програмування як рефлексивно-транзитивного замикання породжуваного суб’єктом програмного уподібнення. Визначальною для об’єктивізації активної ролі суб’єкта в контексті побудов у середовищі програмування є концепт – суть – уподібнення згаданого носія, представлена у вигляді тієї чи іншої специфікації. Інструмент логіко-математичних специ- фікацій семантико-синтаксичних аспектів програмування апробовано на прикладах, продемонстро- вано загальні особливості застосування технологічного середовища програмування до породження суб’єктоорієнтованих технологічних систем програмування та їх використання. Розглянуті приклади вирішення задач у арифметичній систмі програмування демонструють важливі загальні особливості редукційного концептування оракульних схем. Це, по-перше, гарантована коректність отримуваних рішень, що випливає безпосередньо з їх побудови. По-друге, можливість переходу від рішень окремих задач до вирішення класів подібних задач. І, по-третє, отримані рішення можуть бути реалізовані на різних синтаксичних програмних платформах.ukконцептмонадакомпозиткомпозиціяредукціяоракульні схемисередовище програмуванняArticleс. 219-223681.3.060000-0001-7358-98460000-0002-3121-1412