Topics include Sets; Relations; Functions; Sequences; Symbolic Logic; Induction and Recursion; Counting Techniques, Graphs: Euler Circuit, Hamilton Circuit; Software solutions.