Редько І. В. Теорія дескриптивних середовищ та її застосування : автореф. дис... д-ра фіз.-мат. наук : 01.05.03 / І. В. Редько; Ін-т кібернетики ім. В.М.Глушкова НАН України. - К., 2008. - 32 c. - укp.Запропоновано та досліджено дескриптосутнісний підхід до адекватних прагматиці поліабстрактних специфікацій сутностей, який базується на методі сутесутнісної релятивізації (МСР). У межах концепції OC-System створено універсальне середовище розробки інформатико-технологічних систем, складовими якої є дескриптивні середовища різних типів абстракції та рівнів загальності. Досліджено проведено з використанням загальнометодологічних, логіко-епітомологічних, логіко-математичних методів як прагматико-зумовлених конкретизацій МСР. Створено загальну теорію дескриптивних середовищ. Розроблено логіко-епістемологічні,логіко-математичні та математчні засади декриптивних середовищ. Вирішено проблему сутнісної релятивізації та експлікації логіко-епістомологічних систем і доведено тези екзістенціальності, універсальності, дескриптивності, сутесутнісності й екзістологічності. Проведено експлікацію та дослідження понять екзистона, компаунда, композиції та поліади. Доведено тези екситонності, компаудності, композиційності та поліадності, основну тезу про коректність та повноту середовища компаундного дескриптування й основну теорему про його коректність і дескриптологічну повноту, а також тезу про коректність і повноту середовища поліадного дескриптування та теорему про його коректність і дескриптологічну повноту. Індекс рубрикатора НБУВ: З973-018
Рубрики:
Шифр НБУВ: РА361126 Пошук видання у каталогах НБУВ Повний текст Автореферати дисертацій Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|