У навчальному посібнику наведено основні поняття і методи математичної логіки, а також основи теорії алгоритмів. Теоретичний матеріал проілюстровано вправами та задачами для набуття читачем практичного досвіду. Навчальний посібник призначено для студентів, аспірантів і спеціалістів, які використовують відповідні методи класичної і некласичної математичної логіки та теорії алгоритмів.