Vinnyk V. Etalon models of symbolic processing

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

Thesis for the degree of Candidate of Sciences (CSc)

State registration number

0404U000085

Thesis Registration Form

0404U000085.pdf

Applicant for

Specialization

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

18-12-2003

Specialized Academic Board

Д 26.001.09

Taras Shevchenko National University of Kyiv

Essay

The work is devoted to revealing the semantical structures of specialized programming means for symbolic information processing. The models built reflect the logics of program construction, they make up a hierarchial system, they are flexible and allow to derive specialized models for concrete classes of problems. Methods of compositional and esxplicative programming are used, as well as methods of set theory and theory of recursive functions. The models built could be used for specification of problem-oriented languages and systems of symbolic processing.

Read more

Files

aref.doc

diss.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