Матвієнко М.П., Шаповалов СП.

Математична логіка та теорія алгоритмів. Навчальний посібник. - К.: Видавництво Ліра-К, 2015. - 212 с

SBN 978-966-2609-74-5

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

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