The manual contains a lecture summary and a workshop on the discipline "Mathematical Logic and Theory of Algorithms." The textbook is used to prepare students in the areas of "Business Informatics," "Mathematics. Computer Sciences," "Information Technologies," "Applied Mathematics and Computer Science" and other mathematical, computer and economic specialties. The manual consists of three sections: lectures, laboratory workshop, testing. The lectures set out the basics of mathematical logic, Boolean algebra, calculus of propositions and predicates.