Mathematics

• Calculation of propositions (logical connectors AND, OR, XOR, etc.)
• Calculation of predicates or higher-order logic (quantifiers there are, whatever, etc.)
• Boolean algebra

Corrected exercises:

• Corrected exercises on Boolean algebra and karnaugh tables

• First-order differential equations
• Second-order differential equations

Corrected exercises:

• Exercises corrected differential equations order 1