Пошук академічних текстів

Інформація × Реєстраційний номер 0509U000028, Докторська дисертація На здобуття д.ф.-м.н. Дата захисту 26-12-2009 Статус Запланована Назва роботи Теорія дескриптивних середовищ та її застосування Здобувач Редько Ігор Володимирович, Керівник Сергієнко Іван Васильович Опонент Провотар Олександр Іванович Опонент Дорошенко Анатолій Юхимович Опонент Глибовець Микола Миколайович Опис Запропоновано та досліджено дескриптосутнісний підхід до адекватних прагматиці поліабстрактних специфікацій сутностей. Його основу складає метод сутесутнісної релятивізації (МСР). В рамках концепції ОС-System створено універсальне середовище розробки інформатико-технологічних систем, основу якого складають дескриптивні середовища різних типів абстракції та рівнів загальності. До основних результатів відносяться: створення загальної теорії дескриптивних середовищ; розробка логіко-епістемологічних, логіко-математичних і математичних засад дескриптивних середовищ; вирішення проблем сутесутнісної релятивізації та експлікації логіко-епістемологічних систем та доведення тез екзістенціальності, універсальності, дескриптивності, сутесутнісності та екзістологічності; експлікація та дослідження понять екзистона, компаунда, композиції та поліади і доведення тез екзистонності, компаундності, композиційності та поліадності; доведення основної тези про коректність та повноту середовища компаундного дескриптування таосновної теореми про його коректність та дескриптологічну повноту; доведення тези про коректність та повноту середовища поліадного дескриптування та теореми про його коректність та дескриптологічну повноту; доведення тези про повноту середовища програмування та теореми про його дескриптологічну повноту. Дата реєстрації 2009-12-26 Додано в НРАТ 2020-04-04 Закрити