Mathematical logic and theory of algorithms. 4th edition, processed and supplemented. Guts A.K.

This textbook is devoted to the presentation of mathematical logic and theory of algorithms. The basis of the manual is lectures that are given to the second -year students of the faculty of computer sciences of the Omsk State University named after F. M. Dostoevsky. Classical logic, method of resolutions, formal calculus, formal arithmetic, the principles of logical programming, fuzzy logic and fuzzy arithmetic, modal, temporary and algorithmic logic are presented. Semantics of crypt, axioms of the algorithmic logic of Hoar, paranesoproting logic, the logic of Vasiliev and Lukasevich, and relevant logic are given. Images are given about partially recursive functions, a turing machine - a post, Markov’s normal algorithms and the complexity of algorithms.

for students studying in the specialties “Computer Security”, “Information Security” and “Information and Computer Engineering”.