Математическая логика и теория алгоритмов
Список лекций
Примерное содержание:
- 9 февраля, логический функции, функции от двух переменных.
- 16 февраля, свойства логических связок, многочлены Жегалкина.
- 2 марта, Дизъюнктивно-нормальная форма
- 9 марта, Минимизация ДНФ, Двойственная функция.
- 16 марта, Конъюнктивно-нормальная форма, классы замкнутости.
- 23 марта