Search academic texts

Information × Registration Number 0509U000028, Doctoral dissertation Status д.ф.-м.н. Date 26-12-2009 popup.evolution o Title Theory of descriptive environments and its applications Author Redko Igor Vladimirovitch, popup.head Sergienko Ivan Vasilievitch popup.opponent Провотар Олександр Іванович popup.opponent Дорошенко Анатолій Юхимович popup.opponent Глибовець Микола Миколайович Description Запропоновано та досліджено дескриптосутнісний підхід до адекватних прагматиці поліабстрактних специфікацій сутностей. Його основу складає метод сутесутнісної релятивізації (МСР). В рамках концепції ОС-System створено універсальне середовище розробки інформатико-технологічних систем, основу якого складають дескриптивні середовища різних типів абстракції та рівнів загальності. До основних результатів відносяться: створення загальної теорії дескриптивних середовищ; розробка логіко-епістемологічних, логіко-математичних і математичних засад дескриптивних середовищ; вирішення проблем сутесутнісної релятивізації та експлікації логіко-епістемологічних систем та доведення тез екзістенціальності, універсальності, дескриптивності, сутесутнісності та екзістологічності; експлікація та дослідження понять екзистона, компаунда, композиції та поліади і доведення тез екзистонності, компаундності, композиційності та поліадності; доведення основної тези про коректність та повноту середовища компаундного дескриптування таосновної теореми про його коректність та дескриптологічну повноту; доведення тези про коректність та повноту середовища поліадного дескриптування та теореми про його коректність та дескриптологічну повноту; доведення тези про повноту середовища програмування та теореми про його дескриптологічну повноту. Registration Date 2009-12-26 popup.nrat_date 2020-04-04 Close