Prerequisite: BINF 201 The course contains topics on elementary set theory, number theory, logic and proof techniques, counting techniques, recurrence relations, graph theory and algorithms, including space and time complexities using the Big-O notation.