1 
Lecture 1 Introduction and Proofs

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

2 
Lecture 2 Induction

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

3 
Lecture 3 Strong Induction

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

4 
Lecture 4 Number Theory I

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Marten van Dijk

Basic and Health Sciences

5 
Lecture 5 Number Theory II

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Marten van Dijk

Basic and Health Sciences

6 
Lecture 6 Graph Theory and Coloring

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

7 
Lecture 7 Matching Problems

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

8 
Lecture 8 Graph Theory II Minimum Spanning Trees

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Marten van Dijk

Basic and Health Sciences

9 
Lecture 9 Communication Networks

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Marten van Dijk

Basic and Health Sciences

10 
Lecture 10 Graph Theory III

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Marten van Dijk

Basic and Health Sciences

11 
Lecture 11 Relations, Partial Orders, and Scheduling

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Marten van Dijk

Basic and Health Sciences

12 
Lecture 12 Sums

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

13 
Lecture 13 Sums and Asymptotics

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

14 
Lecture 14 Divide and Conquer Recurrences

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

15 
Lecture 15 Linear Recurrences

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

16 
Lecture 16 Counting Rules I

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Marten van Dijk

Basic and Health Sciences

17 
Lecture 17 Counting Rules II

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Marten van Dijk

Basic and Health Sciences

18 
Lecture 18 Probability Introduction

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

19 
Lecture 19 Conditional Probability

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

20 
Lecture 20 Independence

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

21 
Lecture 21 Random Variables

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

22 
Lecture 22 Expectation I

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

23 
Lecture 23 Expectation II

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

24 
Lecture 24 Large Deviations

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences

25 
Lecture 25 Random Walks

Mathematics for Computer Science (MIT) (Fall 2010)

MIT

Tom Leighton

Basic and Health Sciences
