The discipline ''Mathematical logic and theory of algorithms'' is included in the curriculum for the training of graduate specialists 654600 - ''Computer science and computing'' specialty 220100 - ''Computers, complexes, systems and networks''. The aim of the discipline is to study the basic concepts and methods of mathematical logic and the theory of algorithms used in computer science and computing. acquisition of skills to use them to build simple logical models of subject areas, implement logical inference and evaluate the computational complexity of algorithms ; getting an idea of the directions of development of this discipline and prospects of its use in computer science and computer engineering . The working program was prepared at the Department of Computer Engineering of the Faculty of Computer Technologies and Informatics of SPbGETU . Read in 2nd year: 80 hours of classroom classes (lectures 48 hours. , practical exercises 16 hours. , coursework 16 hour. ).