Description
This is a course in discrete mathematics where many different topics are covered such as basic mathematical logic, predicates and quantifiers, binary operation, methods of proof in mathematics which includes proof by contradiction and mathematical induction, recurrence relations, recursive definitions, basic set theory, simple graph theory, number theory, counting principle, algorithms, sequences and summation, discrete probability, modular arithmetic, functions and relations. Emphasis is on computer related applications in information technology, computer engineering and computer science.