Матлогика и теория алгоритмов

Порешать задачки на темы:

1. Нормальные формы в логике высказываний (СДНФ и СКНФ).
2. Методы минимизирующих карт и Куайна – Мак-Класки.
3. Метод резолюций в логике высказываний.
4. Построение полинома Жегалкина. Методы неопределенных коэффициентов и треугольника Паскаля.
5. Полнота системы булевых функций.
6. Бинарные диаграммы решений.
7. Нормальные формы в логике первого порядка, подстановка и унификация, процедура сколемизации.
8. Машины Тьюринга, алгоритмы Маркова.
9. Порождающие грамматики.
10. Автоматы Мили и Мура.
11. Распознающие автоматы и регулярные выражения.

Количество задач, пока неизвестно.