Редько І. В. Теорія дескриптивних середовищ та її застосування

Запропоновано та досліджено дескриптосутнісний підхід до адекватних прагматиці поліабстрактних специфікацій сутностей. Його основу складає метод сутесутнісної релятивізації (МСР). В рамках концепції ОС-System створено універсальне середовище розробки інформатико-технологічних систем, основу якого складають дескриптивні середовища різних типів абстракції та рівнів загальності. До основних результатів відносяться: створення загальної теорії дескриптивних середовищ; розробка логіко-епістемологічних, логіко-математичних і математичних засад дескриптивних середовищ; вирішення проблем сутесутнісної релятивізації та експлікації логіко-епістемологічних систем та доведення тез екзістенціальності, універсальності, дескриптивності, сутесутнісності та екзістологічності; експлікація та дослідження понять екзистона, компаунда, композиції та поліади і доведення тез екзистонності, компаундності, композиційності та поліадності; доведення основної тези про коректність та повноту середовища компаундного дескриптування таосновної теореми про його коректність та дескриптологічну повноту; доведення тези про коректність та повноту середовища поліадного дескриптування та теореми про його коректність та дескриптологічну повноту; доведення тези про повноту середовища програмування та теореми про його дескриптологічну повноту.