Mathematics 101 Theories Home page Wiki I. Logical system Calculation of propositions (logical connectors AND, OR, XOR, etc.)Calculation of predicates or Higher order logic (quantifiers there are, qqsoit, etc)Boolean algebra II. To analyse First-order differential equationsSecond-order differential equationsCorrected exercises:Exercises corrected differential equations order 1 Contents Toggle Basic math Basic math To be continued