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