Предлагаю Вашему вниманию новую рубрику: Элементы математической логики.  Речь пойдет об одноименной учебной дисциплине и о соответствующих учебных материалах. К этой статье  предлагается рабочая тетрадь для выполнения практических работ. Часть 1.

Эта рабочая тетрадь содержит 8 практических работ:

1. Множества.
2. Применение диаграмм Эйлера — Венна.
3. Декартово произведение двух множеств.
4. Определение истинности высказываний.
5. Формализация логических высказываний. Логические операции над высказываниями.
6. Составление таблиц истинности для формулы логики высказываний.  Тавтология алгебры высказываний.
7. Логическая равносильность формул.
8. Решение логических задач: методом рассуждений, табличным методом и средствами алгебры логики.

Скачать рабочую тетрадь можно по ссылке: Рабочая тетрадь для выполнения практических работ. Часть 1.

С уважением, автор блога «Персональный сайт учителя информатики»