Set theory, logic, proof techniques, mathematical induction, relations and functions, recursion, combinatorics, elementary number theory, trees and graphs, analysis of algorithms. Emphasis on topics of relevance to mathematics and computer science majors.