Boolean algebra, functions with applications in coding theory; set theory with application in grammar and languages, basic logic, introduction to group theory, analysis and complexity of algorithms, graph theory, proof techniques, basics of counting, discrete probability, propositional calculus, mathematical induction, recurrence relation, loop invariants, relations, introduction to combinatorics, inclusion-exclusion principle and binomial methods, counting and partitions, pigeon hole principle, algebraic structures, group and semi-groups.

This Course Will Map to PLO-1