The Complete Mathematics Software Developer Course for 2022

1. Proof Techniques. Mathematical Induction and Recursion Theory.
2. Mathematical Logic. Propositional and First Order Calculus. Model Theorem.
3. Programs verifications and Model Checking
4. Linear Algebra. Matrix Theory in Computer Science.
5. Boolean Algebra and its applications in Digital Electronics.
6. Lambda Calculus as a Foundation of Functional Programming
7. Number Theory and Encryption.
8. Modern Statistics and Probabilistic Methods in Computer Science.
9. Functional Analysis and the efficiency of computer algorithms Decision Theory