6.042/18.062J
Fall 2007
· Courseinfo
· Outcomes
· Contact
· Quiz Stats
· Class List†
· Online Tutor
Announcements
- The course is over!
- The course handouts (without solutions) are available in a single 400+
page pdf file. Instructors may request
solutions by sending email to
6042-webmaster(at)csail.mit.edu.
Calendar
September
| 3 Labor Day | 4 REG DAY | 5 1st day of classes: ln1: good & bad proofs － meyer |
6 first recitation | 7 ln2: proofs by cases & contradiction
Online Tutor Problems TP1.1:
online registration due 6pm
－ meyer |
| 10
ln1:
propositional logic
TP1.2 questionnaire due 6pm － meyer |
11 recitation | 12
ln2: predicate logic
Comments & TP2 due 10am － meyer |
13 recitation | 14
ln2: sets
pset 2 for Tue, Sept 25 － meyer |
| 17
ln3: functions & relations
－ meyer |
18 recitation | 19 ln3: partial orders
Comments & TP3 due 10am － meyer |
20 recitation | 21 ln3:
induction
pset 3 for Tue, Oct 2 － meyer |
| 24 student holiday | 25 recitation | 26
ln3: strong induction,
well-ordering － meyer |
27 recitation | 28 ln4: structural induction
Comments on Notes 4, §§1--3 & TP4 due 10am － meyer |
October
| 1
ln4: state machines,
invariants
pset 4 for Wed., Oct 10 － meyer |
2 recitation | 3
ln4 state machines: derived variables, termination Comments on Notes 4, §§4--5 and Notes 5-6,§1 & TP5 due 10am － meyer |
4 recitation | 5
Add Date ln5-6: stable marriage pset 5 for Mon, Oct 15 － meyer |
| 8 Columbus day | 9 Columbus day | 10
ln5-6: simple graphs:
degrees, isomorphism － smyth |
11 recitation | 12
ln5-6: connectedness
Comments & TP6 due 10am － smyth |
| 15
ln5-6: graph coloring ln7: bipartite matching － smyth |
16 recitation | 17
ln7: digraphs
Comments & TP7 due 10am － smyth |
18 recitation | 19
ln7: communication networks
pset 7 for Mon, Oct 29 － meyer |
| 22
ln8: number theory: gcd & linear combinations － smyth |
23 recitation | 24
ln8: number theory: arithmetic mod p Comments & TP8 due 10am － meyer |
25 recitation | 26
ln8: number theory: arithmetic mod n, Euler's Theorem pset 8 for Tue, Nov 6 － meyer |
| 29
ln8: RSA encryption
－ meyer |
30 recitation | 31
ln9: sums&
series
Comments & TP9 due 10am － meyer |
Nov 1 recitation | Nov 2 ln9: integral method asymptotics pset 9 for Tue, Nov13 － meyer |
November
| 5
counting rules
－ smyth |
6 recitation | 7
ln10: more counting rules
Comments &TP10 due 10am － smyth |
8 recitation | 9
ln10: permutations, combinations － smyth |
| 12 Veteran's Day | 13 |
14 optional mid-term exam & solns pset 10 for Tue, Nov 27 |
15 review of practice exam topics |
16
ln11:
generating functions
Comments &TP11 due 10am － meyer |
| 19
ln12-13: intro to probability
－ smyth |
20 |
21
Drop Date ln12-13: conditional prob independence － smyth |
22 Thanksgiving | 23Thanksgiving |
| 26
ln12-13: random variables
Comments &TP12 due 10am － smyth |
27 pset 11 for Fri, Dec 7 |
28
ln12-13: distribution & density, binomial distribution
－ meyer |
29 |
30
ln12-13: sampling & confidence
－ meyer |
December
| 3
ln14: expectation
Comments &TP13 due 10am － smyth |
4 |
5
ln14: deviation, Markov bound
－ smyth |
6 |
7
ln14: variance,
Chebyshev's theorem － smyth |
| 10
ln14: sampling, law of large numbers
－ smyth |
11 |
12 random walks on digraphs
Last Day of Class － smyth |
13 | 14 |
| 17 EXAM WEEK | 18 EXAM WEEK | 19 EXAM WEEK | 20
6.042 Final, Johnson Track 9AM - NOON |
21 EXAM WEEK |
Log onto the Online Tutor
Forgot your login/password? Send email toNew Users: Register for the Tutor to get a password. |
|
For website issues, contact the
6042-webmaster (at)csail.mit.edu
Copyright © 2007, Prof. Albert R. Meyer . All rights reserved |
|