The Chair of Mathematical Theory of Intelligent Systems and . ... Research . ... development of the Automatic solver of mathematical problems . ... development of general methods of hierarchical expert systems design and computer solvers of problems ; . ... the theory of expert systems synthesis and computer solvers of problems is developed; the acting systems for the decision of mathematical problems and training to foreign languages are created which were demonstrated at International exhibitions; . ...