Mathematical reasoning, propositional and predicate logic, rules of inference, proof by
induction, proof by contraposition, proof by contradiction, proof by implication, set
theory, relations, equivalence relations and partitions, partial orderings, recurrence
relations, functions, mappings, function composition, inverse functions, recursive
functions, Number Theory, sequences, series, counting, inclusion and exclusion
principle, pigeonhole principle, permutations and combinations, elements of graph
theory, planar graphs, graph coloring, euler graph, Hamiltonian path, rooted trees,
traversals
Note: For detailed contents click on the "Course Outlines" tab below the course name.
Main Teacher: Subject Expert Admin
Cooperating Teachers: Muhammad Ibtisam Gul
Category: Computer Science
Created on 15 Sep 20 and last modified on 15 Sep 20