Search academic texts

Registration Number

0307U009200, 0106U005856 , R & D reports

Title

Constructive mathematical formalisms development for intellectual decision-making and knowledge processing systems, languages standardizing for DBMS and CASE-means

popup.stage_title

Розробка секвенціального формалізму для комп'ютерно-орієнтованих логік та методів проектування систем надвисокої розв'язувальної здатності; дослідження семантичних структур об'єктно-орієнтованих БД

Head

Redko Volodymyr Nykyforovych,

Registration Date

28-12-2007

Organization

Taras Shevchenko Kiev university

popup.description2

The sequential formalism for automatic theorem proving has been introduced. The problems of modelling of measuring-calculating systems with ultra-high resolving ability have been investigated and the new methods of reduction of measurements for calculation have been developed. The main properties and descriptions of object-oriented database systems have been described and their generally valid semantic structures have been distinguished.

Product Description

popup.authors

popup.nrat_date

2020-04-02