В данном курсе рассматриваются основные понятия математической логики, ее методы и задачи. Этот курс предназначен для подготовки учащихся к успешному прохождению итоговой аттестации в форме ЕГЭ, также его можно использовать при подготовке к олимпиадам по информатике и математике. На занятиях также решается множество прикладных задач, задач на исследование электронных схем, этим можно заинтересовать некоторых учащихся. Программа составлена на основе пособия А.Г. Гейн «Основы математической логики».