Byi D. Theory of compositional type program algebras and its applications

Українська версія

Thesis for the degree of Doctor of Science (DSc)

State registration number

0502U000351

Thesis Registration Form

0502U000351.pdf

Applicant for

Specialization

  • 01.05.03 - Математичне та програмне забезпечення обчислювальних машин і систем

26-09-2002

Specialized Academic Board

Д 26.001.09

Taras Shevchenko National University of Kyiv

Essay

The purpose is the construction of program formal models based on program algebras of compositional type. The objects of research are generally valid descriptive and declarative program structures, manipulation actions in data bases, DML-languages. The basic results are the creation of the general theory of decision of recursion equation systems; research of monotonicity and continuity of superpositions and recursions, interrelation between them; the decision of completeness problems for functions, which preserve denotates; the research of mutual derivation of table operations; the definition of complete semantics of the DML-languages operators.

Read more

Files

Autoref--Автореферат.doc

Autoref--Титул автореферат.doc

Вкладення часткових функц у тотальн.doc

Вступ до розд 1.doc

Вступ до розд 2.doc

Вступ до розд 4.doc

Вступ до розд 5.doc

Вступ.doc

Диссертация.doc

Додаток А.doc

Доп результати.doc

Композиц рекурс.doc

Ланцюги елемент та нерухом точки.doc

Ланцюги елемента относ функц.doc

Лтератур1.doc

Монотонн та зростаюч функц.doc

Неперервнсть суперпозиц та сумжн факти.doc

Неперервнсть суперпозиц.doc

Нерухом точки довльн чвм.doc

Нерухом точки неперервн функц на индуктивн множин.doc

Обернення теорем про нерухом точки.doc

Ординальн зображення нерухомих точок.doc

Основн поняття.doc

Пдстановка.doc

Раздел 1.2.doc

Раздел 3.3.1.doc

Раздел 3.3.2.doc

Раздел 3.3.3.doc

Раздел 3.3.4.doc

Раздел 3.3.5.doc

Раздел 3.3.6.doc

Раздел 3.3.7.doc

Раздел 3.3.8.doc

Раздел 3.3.doc

Раздел 4.1.doc

Раздел 4.2.doc

Раздел 4.3.1.doc

Раздел 4.3.2.doc

Раздел 4.3.3.doc

Раздел 5.1.doc

Раздел 5.2.1.doc

Раздел 5.2.2.doc

Раздел 5.3.1.doc

Раздел 5.3.2.doc

Раздел 5.3.3.doc

Раздел 5.3.4.doc

Раздел 5.3.5.doc

Раздел 5.3.6.doc

Раздел 5.3.7.doc

Рекурсия 3.1.doc

Рекурсия 3.2.doc

Розгалуження часткових функц за предикатом.doc

Список обозначений.doc

Структури нерухомих точок индуктивн множин.doc

Частков функц.doc

Similar theses

0421U104038

Petrenko Maksym V.

Methods of integration of heterogeneous bibliographic data

0421U104040

Artabaev Yurii Z.

A technique for increasing the accuracy of integrated navigation systems based on predictive models using genetic algorithms.

0421U103593

Zubko Roman Anatoliyovych

Improving methods to increase the time efficiency of fractal image compression

0421U103401

Chystyakova Inna S.

Mapping method between the description logic and the relational data model.

0421U103320

Bielozorova Yana Andriivna

Method of application of wavelet analysis in problems of identification of speech information