РЕФЕРАТИВНА БАЗА ДАНИХ "УКРАЇНІКА НАУКОВА"
Abstract database «Ukrainica Scientific»


Бази даних


Реферативна база даних - результати пошуку


Вид пошуку
Пошуковий запит: (<.>ID=REF-0000263770<.>)
Загальна кількість знайдених документів : 1

Нікітченко М. С. 
Теорія інтегрованих композиційно-номінативних моделей програм : Автореф. дис... д-ра фіз.-мат. наук : 01.05.03 / М. С. Нікітченко; Київ. нац. ун-т ім. Т.Шевченка. - К., 2001. - 32 c. - укp.

Розроблено загальну теорію моделей програм, яка базується на принципах розвитку, композиційності та номінативності. Запропоновано та досліджено формалізм композиційно-номінативних систем, які задають моделі програм різних рівнів абстракції та загальності, припускають адекватну специфікацію програм та їх ефективну реалізацію. Охарактеризовано підкласи систем, що задають інфінітарні логіки предикатів різних типів. Вирішено класичні проблеми коректності та повноти для зазначених логік. Визначено методи обчислюваності програм, які узагальнюють традиційні підходи до обчислюваності. Описано повні класи обчислюваних функцій та композицій над номінативними даними різних рівнів абстракції та загальності. Побудовано алгебричні представлення даних класів.


Індекс рубрикатора НБУВ: З973-018.1

Рубрики:

Шифр НБУВ: РА314931 Пошук видання у каталогах НБУВ 
Повний текст  Автореферати дисертацій 
Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"
 
Національна бібліотека України імені В. І. Вернадського
Відділ наукового формування національних реферативних ресурсів
Інститут проблем реєстрації інформації НАН України

Всі права захищені © Національна бібліотека України імені В. І. Вернадського