Пособие предназначено восполнить имеющийся пробел в учебной литературе по курсу “Дискретная математика”, в частности - практикум в решении задач по математической логике. Теоретический материал справочного характера позволяет в процессе разбора решений типовых примеров раскрыть основные понятия математической логики. Предлагаемые в развитии и интерпретации этих понятий задачи и упражнения особенно полезны для проведения практических занятий, выполнения расчетно-графических работ и самостоятельного изучения курса. Практикум предназначен для студентов, изучающих дискретную математику по специальностям 230101, 230401, 075500, а так же для любых инженерно-технических специальностей, где интересуются математической логикой и дискретной математикой.