Учебное пособие предназначено школьникам и студентам для начального изучения одного из наиболее важных и сложных разделов дискретной математики — математической логики. Область применения математической логики весьма широка: информационные технологии, программирование, математическая лингвистика, системы искусственного интеллекта, управление базами данных и управление организационно-экономическими системами. В пособии рассматриваются основные разделы математической логики (алгебра высказываний, исчисление высказываний, логика предикатов, исчисление предикатов и машины Тьюринга). Пособие адресовано студентам младших курсов для успешного овладения элементами математической логики, а также старшеклассникам и их преподавателям при проведении факультативных занятий по дискретной математике.