The purpose of this course is to provide an introduction
to discrete mathematics as it is used in computer
science in areas like: coding theory, cryptography, software
verification, semantics of programming languages, compiler
techniques, optimization techniques etc.
Major Topics Covered in the Course:
Sets, relations, functions
Partially ordered sets, lattices
Boolean algebras
Basic algebraic structures and their applications to computer science
