Концептологічні засади технологічних систем програмування
Вантажиться...
Дата
2023
Науковий керівник
Назва журналу
Номер ISSN
Назва тому
Видавець
Таврійський національний університет ім. Вернадського
Анотація
У статті досліджена і обґрунтована необхідність парадигмальних змін у технологічних основах програмування, переходу від індивідносуб’єктивної парадигми програмування до інтерсуб’єктивної, основу якої складає евідентне основоположення про цілісне розуміння програмування, як діяльності, що обумовлена програмою. Розвиток цієї парадигми, зокрема і технологічного середовища програму- вання як платформи програмної релятивізації, є покроковим продуктивним збагачення основополо- ження про цілісне розуміння. Програмування розглянуто у контексті осучаснення його розуміння як діяльність, що обумовлена програмним уподібненням, суб’єктоорієнтованим взаємодоповненням його активної та пасивної форм. Об’єктивізація активно-пасивного взаємодоповнення є основною пере- думовою реального осучаснення розуміння програмування як рефлексивно-транзитивного замикання породжуваного суб’єктом програмного уподібнення. Визначальною для об’єктивізації активної ролі суб’єкта в контексті побудов у середовищі програмування є концепт – суть – уподібнення згаданого носія, представлена у вигляді тієї чи іншої специфікації. Інструмент логіко-математичних специ- фікацій семантико-синтаксичних аспектів програмування апробовано на прикладах, продемонстро- вано загальні особливості застосування технологічного середовища програмування до породження суб’єктоорієнтованих технологічних систем програмування та їх використання. Розглянуті приклади вирішення задач у арифметичній систмі програмування демонструють важливі загальні особливості редукційного концептування оракульних схем. Це, по-перше, гарантована коректність отримуваних рішень, що випливає безпосередньо з їх побудови. По-друге, можливість переходу від рішень окремих задач до вирішення класів подібних задач. І, по-третє, отримані рішення можуть бути реалізовані на різних синтаксичних програмних платформах.
Опис
Ключові слова
концепт, монада, композит, композиція, редукція, оракульні схеми, середовище програмування
Бібліографічний опис
Редько, І. В. Концептологічні засади технологічних систем програмування / Редько І. В., Яганов П. О., Зилевич М. О. // Вчені записки ТНУ ім. Вернадського. Серія: Технічні науки. – 2023. – Том 34 (73), № 5. – С. 219-223.