Propositional logic, equivalences, predicates and quantifiers, rules of inference,introduction to proofs, proof methods.
Sets, set operations, Functions, Relations, equivalence relations and partialordering.
Basics of counting, the pigeonhole principle, permutations and combinations,Binomial Co-efficients, recurrence relations.
Introduction to probability, axioms of probability, independence and conditionalprobability, inclusion-exclusion principle.
Graphs, terminology and special types of graphs, representation of graphs,isomorphism, connectivity, Euler and Hamiltonian paths, shortest path problems,planar graphs, graph coloring.