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

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

1. Упрощение формул логики до минимальной ДНФ.
2. Минимизация в классе дизъюнктивных нормальных форм.
3. Построение полинома Жегалкина для булевой функции.
4. Проверка булевой функции на принадлежность к классам ТО, Tl, S, L, М; проверка множества булевых функций на полноту
5. Выполнение логических операций над предикатами
6. Логические операции над предикатами.
7. Машина Поста.
8. Машина Тьюринга

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

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