6.042 Spring '17 Schedule and Syllabus

    WEEK 1
    Wed Feb  8   What is a Proof? (First class)       Ch.1-1.6              [PS1 out]
    Fri Feb 10   Proof by Contradiction & Cases       Ch.1.7-1.9
    WEEK 2
    Mon Feb 13   SNOW DAY
    Wed Feb 15   The Well Ordering Principle          Ch.2-2.3 (not 2.4)
    Fri Feb 17   Propositional Logic                  Ch.3-3.3              [PS1.probs 1,2,4 due]
    WEEK 3
    Tue Feb 21   Normal Forms, Predicate Formulas     Ch.3.4.1, 3.5-3.6     [PS1.prob3 due]
                                                      (omit 3.4.2)
    Tue Feb 21   MIDTERM 1                                        7:30-9PM in 50-340
    Wed Feb 22   Predicate Logic                      Ch.3.7                [PS2 out]
    Fri Feb 24   Sets & Sequences                     Ch.4-4.2              [NO Pset due]
    WEEK 4
    Mon Feb 27   Binary Relations                     Ch.4.3-4.5
    Wed Mar  1   Induction                            Ch.5-5.3              [PS3 out]
    Fri Mar  3   State Machines                       Ch.6-6.3              [PS2 due]
    WEEK 5
    Mon Mar  6   Stable matching                      Ch.6.4
    Wed Mar  8   Recursive Data, Structural Induction Ch.7-7.4
    Fri Mar 10   Struct. Induction, Recursive Games   Ch.7.5-7.6            [PS3 due]
    WEEK 6
    Mon Mar 13   Infinite Cardinality                 Ch.8.1
    Tue Mar 14   MIDTERM 2                                         7:30-9PM in 34-101
    Wed Mar 15   Snow Day                                                   [PS4 out]
    Fri Mar 17   Diagonal Arguments/Set Theory        Ch.8.2-8.4            [NO Pset due]
    WEEK 7
    Mon Mar 20   Number Theory-GCD's                  Ch.9-9.4
    Wed Mar 22   Number Theory-Congruences            Ch.9.5-9.9
                                                      (omit 9.10-9.12)
    Fri Mar 24   Digraphs & Scheduling                Ch.10.5               [PS4 due]

    SPRING BREAK

    WEEK 8
    Mon Apr  3   Directed Walks & Paths               Ch.10-10.4
    Tue Apr  4   MIDTERM 3                                        7:30-9PM in 50-340
    Wed Apr  5   Partial orders & equivalence         Ch.10.6, 10.8-10.11   [PS5 out]
                                                      (optional 10.7)
    Fri Apr  7   Simple Graphs: Degree & Isomorphism  Ch.12.1-12.4          [NO Pset]
    WEEK 9     
    Mon Apr 10   Bipartite Matching                   Ch.12.5
    Wed Apr 12   Coloring                             Ch.12.6               [PS6 out]
    Fri Apr 14   Connectivity & Trees                 Ch.12.7-12.12         [PS5 due]
    WEEK 10    
    Mon Apr 17   PATRIOTS DAY
    Wed Apr 19   Sums & Products                      Ch.14-14.5 (omit 14.6)
    Fri Apr 21   Asymptotics                          Ch.14.7               [PS6 due]
    WEEK 11    
    Mon Apr 24   Counting with Bijections             Ch.15-15.2
    Tue Apr 25   MIDTERM 4                                         7:30-9PM in 50-340
    Wed Apr 26   Counting Repetitions, Binomial Thm   Ch.15.3-15.7          [PS7 out]
    Fri Apr 28   Pigeonholes, Inclusion-Exclusion     Ch.15.8-15.9
                                                      (omit 15.10)          [NO Pset due]
    WEEK 12    
    Mon May  1   Intro to Discrete Probability        Ch.17
    Wed May  3   Conditional probablty, Independence  Ch.18-18.6            [PS8 out]
    Fri May  5   Mutual Independence, Confidence      Ch.18.7-18.9          [PS7 due]
    WEEK 13    
    Mon May  8   Random variables: Density Functions  Ch.19-19.3
    Wed May 10   Expectation                          Ch.19.4-19.5
    Fri May 12   Variance & Chebyshev bound           Ch.20-20.4            [PS8 due]
    WEEK 14    
    Mon May 15   Infinite Expectation, Gambler's Ruin Ch.20.7, 21.1 (omit 20.5-20.6)
    Wed May 17   Random walks (Last class)            Ch.21.2
	       
    Thu May 25   6.042 FINAL EXAM                               1:30-4:30PM in 34-101
  

This document last modified Friday, 14-Apr-2017 18:42:11 EDT