This course covers probabilistic methods in combinatorics and their applications in theoretical computer science. The topics include linearity of expectation, the second moment method, the local lemma, correlation inequalities, martingales, large deviation inequalities, geometry, VC-dimension and possibly more as time permits.