Training Manual . - M. : IGAPI, 2003. — 47 s. , 80 s. The proposed edition is recommended as a training tool for students of various specialties studying mathematical logic and algorithm theory. The publication can be used as a textbook in the section "Mathematical Logic" of the discipline "Mathematical Logic and Theory of Algorithms" . In the first part of the textbook, the basics of such sections of mathematical logic as: calculus of statements, predicate calculus, modal logic, non-monotonic reasoning and methods of searching in depth and width, as well as elements of fuzzy logic are considered. In the second part of the textbook, the basics of such sections of the theory of algorithms as: are considered. classical theory of algorithms (Post machine, Turing machine, algorithmically insoluble problems), asymptotic analysis of algorithm complexity, complex classes and practical comparative analysis of computational algorithms.