This module offeres a first introduction to principles of discrete mathematics, with a presentation for students of computer science. A brief course outline can be read below.¿ Basic Algebra: algebraic manipulations, substitutions, inequalities, summations, operations¿ Principles of Proof: predicates and quantifiers, direct argument, contrapositive, constructive proofs, proof by contradiction, proof by induction¿ Sets: operations and constructions on sets, properties of sets, De Morgan's laws¿ Functions: domain and range, injectivity, surjectivity, invertibility, floor and ceiling, max and min, binomial coefficients,
