В пособии излагаются первоначальные сведения из основных разделов курса "Математическая логика": логики высказываний, логики предикатов и аксиоматического метода. Предназначено для студентов, обучающихся по направлению подготовки "Прикладная информатика".