To learn students basic concepts and methods of formal knowledge processing. Algorithmic systems (partly recursive functions, Turing-Post’s machine, Markov algorithm ) as systems of formal output. Limitation of algorithmic method of tasks solution. Definition of formal system and formal output. Formal models of knowledge representation (logical, objective, semantic networks). Formal output on knowledge. Search in solution space. Genetic algorithms. Agents, neural networks.

Course plan:
audience studies - 108 hrs.
individual work - 180 hrs.
total - 288 hrs.
semester - 5th
form of control - test.