Introduction to discrete mathematical structures that form the basis for computing. Sets, functions and sequences. Propositional calculus, formal proofs, quantifiers, predicted calculus, mathematical induction. Matrices, groups, semigroups, homomorphism and isomorphism. Relations, partitions, equivalence relations, trees, directed and undirected graphs.