Сборник «Школьные задачи по математической логике» ориентирован на учащихся 9-11-х классов, изучающих курс информатики, а также учителей информатики и математики. Полезен он будет и более широкому кругу читателей, интересующихся логическими задачами.
Многие логические задачи можно решать, используя формальный математический аппарат двузначной логики, который изучается в рамках школьного курса информатики: формализация высказываний, основные логические операции, законы алгебры логики. Решая такие задачи, школьники глубже осваивают тему «Введение в алгебру логики», которая входит в ЕГЭ по информатике, и тем самым будут лучше подготовлены к сдаче этого экзамена.
В сборнике собрано 80 задач по математической логике из различных отечественных и зарубежных источников. Все задачи поделены на разделы в зависимости от способа решения:
1. Методы решения логических задач на основе формализации
1.1. Формальный способ решения логических задач
1.2. Метод формализации с анализом таблицы истинности
1.3. Метод логических рассуждений на основе проверки выдвинутых предположений
2. Табличный метод решения логических задач
3. Задачи, требующие творческого (неформального) способа решения
Каждый раздел имеет следующую структуру:
- краткий теоретический материал (описание метода решения);
- примеры задач с решениями;
- задачи для самостоятельного решения.
Ко всем задачам для самостоятельного решения в конце сборника приведены ответы, ко многим задачам даны указания к решению.