Contents: 1 Properties of numbers 1.1 Numbers 1.2 Sums 1.3 Bases 1.4 Scientific notation 1.5 Aritmetic in computers 2 Sets and data structures 2.1 Propositions and logic 2.2 Elements of set theory 2.3 Proof methods in set operations 2.4 Some further set operations 2.5 Mathematical induction 3 Boolean algebras and circuits 3.1 Boolean algebra 3.2 Boolean forms 3.3 Finding m…