Search academic texts

Information × Registration Number 0211U008424, 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 19-05-2011 Organization Taras Shevchenko Kiev university popup.description2 Solvers and sequent formalisms for computer-oriented logical systems, methods and algorithms for information analysis and processing on the basis of the possibility theory and optimal estimation, and mathematical methods of sensor-based systems modelling have been investigated. The theory of explicative program algebras has been developed; formal specifications of DBMS and CASE-tools languages have been constructed. Semantics for kernel of SQL-like languages and kernel of UML have been specified Product Description popup.authors Бєлов Юрій Анатолійович Богатирьова Юлія Олександрівна Буй Дмитро Борисович Вольчина Ірина Іванівна Гаркуша Наталія Іванівна Глушко Ірина Миколаївна Заворотний Андрій Леонідович Загорський Сергій Петрович Касьянюк Веда Станіславівна Лялецький Олександр Вадимович Малютенко Людмила Миколаївна Парфірова Тетяна Сергіївна Польща Максим Володимирович Поляков Сергій Анатолійович Потієнко Михайло Валерійович Редько Володимир Никифорович Сільвейструк Людмила Миколаївна Шишацька Олена Володимирівна popup.nrat_date 2020-04-02 Close