Tutorial is devoted to the presentation of the basics of mathematical logic and theory of algorithms. The basis of the manual is the lecture notes that were given to students of the second year of the computer science department of Omsk State University in 2002.