Статті (КЕОА)
Постійне посилання зібрання
У зібранні розміщено матеріали, що опубліковані або готуються до публікації в наукових журналах та збірниках.
Переглянути
Перегляд Статті (КЕОА) за Ключові слова "681.3.06"
Зараз показуємо 1 - 2 з 2
Результатів на сторінці
Налаштування сортування
Документ Відкритий доступ Концептологічні засади технологічних систем програмування(Таврійський національний університет ім. Вернадського, 2023) Редько, Ігор Володимирович; Яганов, Петро Олексійович; Зилевич, Максим ОлеговичУ статті досліджена і обґрунтована необхідність парадигмальних змін у технологічних основах програмування, переходу від індивідносуб’єктивної парадигми програмування до інтерсуб’єктивної, основу якої складає евідентне основоположення про цілісне розуміння програмування, як діяльності, що обумовлена програмою. Розвиток цієї парадигми, зокрема і технологічного середовища програму- вання як платформи програмної релятивізації, є покроковим продуктивним збагачення основополо- ження про цілісне розуміння. Програмування розглянуто у контексті осучаснення його розуміння як діяльність, що обумовлена програмним уподібненням, суб’єктоорієнтованим взаємодоповненням його активної та пасивної форм. Об’єктивізація активно-пасивного взаємодоповнення є основною пере- думовою реального осучаснення розуміння програмування як рефлексивно-транзитивного замикання породжуваного суб’єктом програмного уподібнення. Визначальною для об’єктивізації активної ролі суб’єкта в контексті побудов у середовищі програмування є концепт – суть – уподібнення згаданого носія, представлена у вигляді тієї чи іншої специфікації. Інструмент логіко-математичних специ- фікацій семантико-синтаксичних аспектів програмування апробовано на прикладах, продемонстро- вано загальні особливості застосування технологічного середовища програмування до породження суб’єктоорієнтованих технологічних систем програмування та їх використання. Розглянуті приклади вирішення задач у арифметичній систмі програмування демонструють важливі загальні особливості редукційного концептування оракульних схем. Це, по-перше, гарантована коректність отримуваних рішень, що випливає безпосередньо з їх побудови. По-друге, можливість переходу від рішень окремих задач до вирішення класів подібних задач. І, по-третє, отримані рішення можуть бути реалізовані на різних синтаксичних програмних платформах.Документ Відкритий доступ Редукційне концептування оракульних схем(КПІ ім. Ігоря Сікорського, 2021) Редько, Ігор Володимирович; Яганов, Петро Олексійович; Зилевич, Максим Олегович