Нікітченко М. С. Теорія інтегрованих композиційно-номінативних моделей програм : Автореф. дис... д-ра фіз.-мат. наук : 01.05.03 / М. С. Нікітченко; Київ. нац. ун-т ім. Т.Шевченка. - К., 2001. - 32 c. - укp.Розроблено загальну теорію моделей програм, яка базується на принципах розвитку, композиційності та номінативності. Запропоновано та досліджено формалізм композиційно-номінативних систем, які задають моделі програм різних рівнів абстракції та загальності, припускають адекватну специфікацію програм та їх ефективну реалізацію. Охарактеризовано підкласи систем, що задають інфінітарні логіки предикатів різних типів. Вирішено класичні проблеми коректності та повноти для зазначених логік. Визначено методи обчислюваності програм, які узагальнюють традиційні підходи до обчислюваності. Описано повні класи обчислюваних функцій та композицій над номінативними даними різних рівнів абстракції та загальності. Побудовано алгебричні представлення даних класів. Індекс рубрикатора НБУВ: З973-018.1
Рубрики:
Шифр НБУВ: РА314931 Пошук видання у каталогах НБУВ
Повний текст Автореферати дисертацій Додаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці) ![](/irbis_nbuv/images/info.png) Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
|