Математика

• Вычисление предложений (логические соединители И, ИЛИ, исключающее ИЛИ и т.д.)
• Вычисление предикатов или логика высшего порядка (есть квантификаторы, qqsoit и т.д.)
• Булева алгебра

Исправлены упражнения:

• Исправлены упражнения по булевой алгебре и таблицам Карно.

• Дифференциальные уравнения первого порядка
• Дифференциальные уравнения второго порядка

Исправлены упражнения:

• Упражнения с исправлением дифференциальных уравнений 1 порядка