Upon successful completion of the course, students will be able to: read, interpret and write presentations using logical mathematical symbols; write proofs of truth value of propositions, using inference rules and axioms of logic; use set theory to explain mathematical logic involving collections of objects as units; discuss the concept of algorithms as processes to solve problems;  solve a recurrence relation; tell whether a function is injective or subjective; define functions explicitly and recursively; calculate probabilities using counting rules, combinations and permutations; write proofs relating number of vertices and number of edges in a tree; write proofs related to connectedness of graphs; and find shortest path in a graph;show isomorphism.