Basics (Logic, sets and functions). Function development. Algorithms, integers and matrices. Mathematical reasoning. Proof methods and mathematical inference, definitions and self-algorithms. Mixing styles (enumeration means, interaction and accommodation). Abstract probabilities and probability theory. Abstract structures (Sets, Relations, graphs and trees).