This course provides foundational material for further studies in computer science. Topics include logic, proofs, basic counting methods, sets, functions, relations, recursion, recurrence relations, mathematical induction, and basic concepts of graphs.