6.042/18.062J
Spring 2007
· Courseinfo
· Outcomes
· Contact
· Quiz Stats
Announcements
-
The course is over!
- Final exam statistics are available from the QuizStats link on the left.
- Solutions to the problems are available to
instructors on request.
- All the class handouts have been combined
in a single document (pdf, 3.5M, 497pp) for your convenience, as have all
the lecture slides (pdf, 9M, 200pp).
A 595pp handouts version that includes solutions is available to instructors on
request.
The course is over!
A 595pp handouts version that includes solutions is available to instructors on request.
Calendar
February
| 5 reg day | 6 | 7 1st day of classes: ln1: good & bad proofs |
8 | 9 ln1:
propositions & proofs
TP1.1 online registration due 6pm
|
| 12 ln2: proofs by cases & contradiction | 13 | 14
ln2: predicate logic
Email reading comments & TP2 due 11am |
15 | 16
ln2: sets & functions
pset 2 out, due Mon., Feb. 26 |
| 19 President's day | 20
ln3: partial orders
pset 1 due (submit in class), pset 1 soln |
21
ln3: induction
Email reading comments & TP3 due 11am miniquiz on last week problems & solns slides, class probs & solns |
22 | 23
ln3: induction II
strong, well-ordering pset 3 out, due Mon., Mar. 5 |
| 26 ln4: structural induction | 27 | 28
ln4: state machines:
invariants Email reading comments & TP4 due 11am |
Mar. 1 | Mar. 2
ln4: state machines: derived variables termination pset 4 out, due Mon., Mar. 12 |
March
| 5 ln5: stable marriage | 6 | 7
ln5: simple graphs:
degrees, isomorphism Email reading comments & TP5 due 11am |
8 | 9
ln5: connectedness
pset 5 out, due Mon., Mar. 19 |
| 12
ln6: graph coloring
slides, class probs, & solns |
13 | 14
ln6: bipartite matching
Email reading comments & TP6 due 11am miniquiz on last week problems & solns slides, class probs, & solns | 15 | 16
ln6: digraphs, routing
pset 6 out, due Mon., Apr. 2 slides, class probs, & solns |
| 19 ln6.5: planar graphs | 20 | 21
ln7: number theory
gcd & linear combinations Email reading comments & TP7 due 11am |
22 | 23
5-coloring of planar graphs; Benes network (cont'd) |
| 26 Spring break | 27 Spring break | 28 Spring break | 29 Spring break | 30 Spring break |
April
| 2
ln7: number theory arithmetic mod p pset 7 out, due April 11 |
3 | 4
ln7: number theory
arithmetic mod n, RSA encryption |
5 | 6
ln8: arithmetic & geometric sums
Email reading comments & TP8 due 11am |
| 9
ln8: harmonic series, integral method |
10 | 11 ln8: asymptotics | 12 | 13
ln9: counting rules
Email reading comments & TP9 due 11am |
| 16 Patriots Day | 17 | 18 ln9: more counting rules | 19 | 20
ln10: permutations combinations Email reading comments & TP10 due 11am |
| 23 ln10: combinatorial identities | 24 | 25
ln11: generating functions:
for counting pset 9 due
& solns
class probs & solns, videocam notes (no slides) |
26 | 27
ln11: generating functions:
for recurrences Email reading comments & TP11 due 11am |
May
| Apr 30 ln12 intro to probability | 1 | 2
ln12: conditional prob
independence
Email reading comments &
TP12 due 11am,
|
3 | 4 ln13: random variables |
| 7
ln13: distribution & density, binomial distribution
pset 11 out, due May 11 |
8 | 9
ln13: sampling & confidence;
expectation Email reading comments & TP13 due 11am |
10 | 11
ln14: linearity of expectation, expectation of products miniquiz on last week & Monday problems & solns videocam notes (no slides), class probs & solns |
| 14
ln14: variance,
Chebyshev's theorem Optional TP14 |
15 | 16 Sampling, Law of Large Numbers | 17 | 18 |
| 21
FINAL EXAM 1:30--4:30pm, Johnson |
Latex macros
|
For website issues, contact the
6042-webmaster(at)csail.mit.edu
Copyright © 2007, Prof. Albert R. Meyer . All rights reserved |
|