6.042/18.062J
Spring 2009
· Courseinfo
· Outcomes
· Contact
· Quiz Stats
· Class List
· Online Tutor
Announcements
- The class did well on a long and challenging
final exam: here's the
histogram. This, plus the fact that 25% of the initially enrolled
students dropped the subject, merited a generous grading: we gave A grades
to 61% of the class and B grades to another 30%.
- Final exams are with the 6.042 subject secretary, Chuck Wright,
chuck@csail.mit.edu, room 32-G646, 3-6025, 9am--2pm. You may make an
appointment with Chuck to view and copy your final ---we keep the
original, however.
- Here are the complete handouts (w/o solutions) as a
single 700pp, 13Meg pdf-file. These
consist of the following subfiles
- Outside instructors may request access to the problem solutions
and slide powerpoint sources by emailing
6042-webmaster(at)csail.mit.edu
Calendar
February
| 2 REG DAY | 3 1st day of classes: ln1: good & bad proofs slides, class probs & solns † |
4 | 5 ln1: proofs by contradiction & cases
TP1 due 5PM slides, class probs & solns † pset 1 out, due Thurs, Feb 12 |
6 |
| 9 ln2: propositional logic | 10
ln2: predicate logic
reading comments due 10AM
|
11
pset 2 out, due Thurs, Feb 19 |
12 ln2: sets | 13 |
| 16 President's day | 17 ln3: functions & relations
reading comments due 10AM
|
18
pset 3 out, due Thurs, Feb 26 |
19
ln3: partial orders
miniquiz & solns |
20 |
| 23
ln3:
partial orders & scheduling |
24
ln3:
well ordering
reading comments
due 10AM
pset 4 out, due Mar 5 |
25 | 26 ln4: induction | 27 |
March
| 2
ln4:
recursive data
structural induction |
3
ln5: state machines
invariants
reading comments due 10AM
|
4
pset 5 out, due Mar 12 |
5 ln5: state machines
derived variables, termination |
6 |
| 9
ln6: simple
graphs: degrees, isomorphism |
10
ln6: connectedness, trees
reading comments due 10AM
pset 6 out, due Mar 19 |
11 | 12 ln6: graph coloring, bipartite matching | 13 |
| 16 ln6: planar graphs | 17
ln7:
communication
networks
reading comments due 10AM
|
18 | 19 ln7: digraphs | 20
pset 7 out, due Apr 2 |
| 23 Spring break | 24 Spring break | 25 Spring break | 26 Spring break | 27 Spring break |
| 30 ln8: gcd & integer linear combinations | 31
ln8:
modular arithmetic,
inverses mod p
reading comments due 10AM
pset 8 out, due April 9 |
Apr 1 | Apr 2 ln8: inverses mod n, RSA encryption | Apr 3 |
April
| 6 ln9: harmonic sums, Stirling's approximation | 7
ln9: asymptotics
reading comments due 10AM |
8
pset 9 out, due April 16 |
9 ln10: counting with bijections | 10 |
| 13 ln10: general product & division rules | 14
combinations &
card magic
reading comments due 10AM
|
15 | 16 ln10: inclusion-exclusion & counting repetitions | 17
pset 10 out, due April 30 |
| 20 Patriot's Day | 21 Patriot's Day | 22 | 23
ln11: binomial theorem
combinatorial identities |
24 |
| 27
ln11: generating functions:
for counting reading comments due 10AM
|
28
ln11: generating functions: for recurrences |
29
pset 11 out, due May 7 |
30 ln12: intro to probability |
May
| 4 ln12: conditional prob & independence
|
5
ln12: random
variables & binomial distribution
reading comments due 10AM
|
6 | 7 ln12: sampling & confidence | 8 |
| 11
ln13: expectation
optional: TP13 |
12 ln13: deviation | 13 | 14 ln12: law of large numbers | 15 |
| 18 Exam week | 19
Exam week
6.042
Final, 1:30－4:30pm |
20 Exam week | 21 Exam week | 22 Exam week |
Online Tutor Login
New Users: Register for the Tutor to get a password.
Forgot your login/password? Send email to
6042-online-tutor(at)csail.mit.edu
| For website issues, contact the 6042-webmaster(at)csail.mit.edu |
|
|
|
6.042 lectures & problems by Prof. Albert R Meyer is licensed under a Creative Commons Attribution-Noncommercial-Share Alike 3.0 United States License . |