CS 182: Foundations of Computer Science

The course gives a broad introduction on how to apply fundamental discrete mathematical tools, facts, and reasoning relevant to computer science.

The topics covered include logic, proof methods, functions, sums and sets; relations, number theory, algorithms and growth functions, induction, recursions, and recursive algorithms, counting, basic probability theory, trees and graphs.