В учебном пособии представлены разделы, традиционно изучаемые в курсе математической логики: алгебра логики, логика предикатов, исчисление высказываний, исчисление предикатов, теория алгоритмов. В пособии приведены примеры и практические задания для усвоения и закрепления излагаемого материала. Предназначено для студентов специальностей 090301 «Компьютерная безопасность», 231000 «Программная инженерия», 010500 «Математическое обеспечение и администрирование информационных систем».