Course Aim: Introduce students to the foundations of discrete Structures.
Main Topics: Big-O - counting methods - recursion/recurrences - Elementary logic including propositional/predicate logic - methods of proof – relations - basic definitions and properties - special types of relations - Boolean algebras - introduction to graph theory - special types of graphs -trees and their applications - practice in reasoning formally and proving theorems.