Faculty of
Engineering

 This course covers the following topics: logic, propositional equivalences, predicates and quantifiers, sets, functions, sequences and summations, methods of proof, mathematical induction, relations and their properties, N-ary relations and applications, representing and equivalence relations, partial ordering, counting, the pigeonhole principle, permutations and combinations, introduction to graphs, representing graphs, Euler and Hamiltonian paths, planar graphs, introduction to trees.