Concept-Monadic Model of Technological Environment of Programming

Theoretical Foundations of Software Relativization in Technological Programming Systems

“…Дослідженнями [2]- [4] доведено, що для розв'язання цієї проблеми необхідні радикальні зміни підходу до програмуванняперехід від індивідуально-суб'єктної парадигми до інтерсуб'єктивної, яка враховує активну роль суб'єкта в програмуванні. В основі цього переходу лежить суть сутнісне уподібнення (ССУ)особливий тип зв'язку, що виникає внаслідок релятивізації причинно-наслідкового зв'язку між процесом розв'язання проблеми та її наслідком [2], [3]. Тому програмна релятивізація (ПР) як суттєва релятивізація програмування, спрямована на його технологізацію, є основною темою цієї роботи.…”

“…Тому програмна релятивізація (ПР) як суттєва релятивізація програмування, спрямована на його технологізацію, є основною темою цієї роботи. Роботи [3], [4] демонструють, що платформа дослідження релятивізації програм є абстрактною, тобто забезпечує взаємодію двох об'єктивно не пов'язаних типів абстракції, де замкнута інтерсуб'єктивна логіка є ядром технологічного середовища програмування (ТСП), а відкритий різновид суб'єкт-орієнтованих продовженьтехнологічним середовищем програмування (ТСРП), які активно-пасивно доповнюють одна одну. Основною метою дослідження є вивчення взаємодії між замкнутою інтерсуб'єктивною логікою ТСРП і відкритим різновидом суб'єкт-орієнтованих продовжень ТСП, що ґрунтується на їхньому взаємному доповненні.…”