Purpose: to offer base knowledge and skills to work and build knowledge based systems that is of expert systems, of systems with fuzzy processing of information and systems based on neural networks.

Syllabus: Logic programming: propositional logic; basis of logic programming language; working techniques in logic programming: unification, recursivity, selection, information structures in logic programming: lists, trees, compound objects, knowledge base; interfaces for applications of logic programming; problem specification; expert systems: structures, knowledge representation; implementation environments; expert systems for complex systems; testing and developping test technology for expert systems; systems with fuzzy processing of information: mathematical grounds, system modelling, controllers' design; systems with quasi-linear pocessing of information: mathematical grounds, modelling techniques, controllers' design; applications in automation; systems of information processing using neural network: mathematical grounds, design, evaluation and applications; design and management of complex technical systems' implementation.