Search academic texts

Information × Registration Number 0303U003115, 0101U002163 , R & D reports Title Logic-mathematical and programmological means of informational technologies popup.stage_title Дослідження методів обробки комп'ютерних знань, експлікативних логік 9027 Head Redko Vladimir Nikiforovich, Registration Date 30-01-2003 Organization Taras Shevchenko Kiev university popup.description2 The logic-mathematic methods of computer knowledge transformations are developed - evidence algorithm, ForTheL and ForTheL1 languages are described, which are provide deductive mathematic text transformations, and methods of logic deduction are described. On abstract and named level the prog-ram algebras of recursions, which are the models of generally declarative program structures, are constructed and investigated. Product Description popup.authors popup.nrat_date 2020-04-02 Close