Applications of logic in computer science
Subject of consideration of the report are a "functional" variant of calculus positively-constructed formulas (pc-formulas), introduced by Vasilev S.N. and Zherlov A.K., and also a variant of calculus with inverse inferences. There are considered properties of these calculi, their realization on the computer and application in problems of control of moving objects, including decentralized (distributed) control of system consisted of n autonomous underwater devices, wich deciding their own and general problems.
Mail to Webmaster alc9@math.nsc.ru |
|Home Page| |English Part| |
Go to Home |