Книга может быть использована в качестве учебного пособия при изучении информатики и ИКТ в 10-11 классах. Пособие дает сведения об основных понятиях математической логики, её методах и задачах, которые могут с её помощью решаться. Книга поможет учащимся ответить на следующие вопросы. Какова структура математического утверждения. Почему одно рассуждение мы признаём доказательством, а другое нет? Когда требуется пример? Рассматривается множество прикладных задач, задач на исследование электронных схем. Книга может быть полезна при подготовке к ЕГЭ.