The course covers the basic concepts and techniques of
discrete mathematics. The course includes the discussion of mathematical
logic, propositions, quantifiers, predicates, proof techniques, mathematical
induction, fundamentals of set theory, sets, power sets, algebra of sets,
relations, functions, countability and finiteness, graphs, and trees.

CS6105 Discrete Mathematics