Η σελίδα αυτή περιέχει σημειώσεις απο τη διδασκαλία του μαθήματος στο ΜΙΤ. Το μάθημα διδάσκεται απο τους Prof. Albert R. Meyer και Prof. F. T. Leighton. Τα αρχεία είναι σε μορφή PostScript.
Lecture 1 -- What is a proof?
Lecture 2 -- Induction
Lecture 3 -- Strong Induction
Lecture 4 -- Graphs
Lecture 5 -- Trees and Dags
Lecture 6 -- State Machines and Invariants
Lecture 7 -- Derived Variables
Lecture 8 -- Sums
Lecture 9 -- Sums,Products,Asymptotics
Lecture 10 -- Divide and Conquer Recurrences
Lecture 11 -- Linear Recurrences
Lecture 12 -- Finite Sets
Lecture 13 -- Infinite Sets
Lecture 14 -- Counting I
Lecture 15 -- Counting II
Lecture 16 -- Counting III
Lecture 17 -- Generating Functions
Lecture 18 -- Intro to Probability
Lecture 19 -- Conditional Probability
Lecture 20 -- Independence
Lecture 21 -- Random Variables
Lecture 22 -- Expected Value
Lecture 23 -- Expected Value of a Product
Lecture 24 -- Deviations from the Mean
Lecture 25 -- Probability of k Events
Lecture 26 -- Random Walks (DRAFT)