This course deals with logic, sets, proofs, growth of functions, theory of numbers, counting techniques, trees and graph theory.