MIT
6.042/18.062J
Fall, 2002

Course
Information
· Overview
· Outcomes
· Calendar
· Contact
· Class List
· Site Info

Course
Materials
· Handouts
· Online Tutor
· Demo Gallery

Handouts and Course Notes

Week 1 | Week 2 | Week 3 | Week 4 | Week 5 | Week 6 | Week 7 | Week 8 |
Week 9 | Week 10 | Week 11 | Week 12 | Week 13 | Week 14 | Week 15

The powerpoint presentations are password restricted; for access, contact

Week 16

Final Exam
  • Problems (pdf), Appendix (pdf),
  • Solution (pdf), Histograms & Statistics (pdf),

Week 15

Topics: Central Limit Theorem, Poisson Distribution, Strong Law of Large Numbers

Week 14

Topics: Weak Law of Large Numbers, Sampling, Confidence, Random Walks, Chernoff Bound

Week 13

Topics: Variance, Deviation from the Mean, Weak Law of Large Numbers

Week 12

Topics: Random Variables: Expectation

Week 11

Topics: Introduction to Random Variables: Distributions
  • Quiz 2 (pdf), Appendix (pdf),
    Solutions (pdf), Histograms & Stats (pdf)
  • Reading For Friday Lecture: Course Notes 11-12 (pdf), Sections 1--4.
  • No Reading Problems.
  • Friday

Week 10

Topics: Introduction to Probability, Conditional Probability, Independence
  • Reading:
    • For Reading Problems and Wed-Fri Lectures: Complete Course Notes 10 (pdf); Optional: Rosen 4.4, and 4.5 through Example 9, p. 274.
    • For Problem Set 10 (pdf) and Quiz 2 only part of the reading is necessary: Course Notes 10, sections 1--9 (pdf); Optional: Rosen 4.4, and 4.5 through Example 4, p.271.
  • due Wednesday, November 6: Reading Problem 10 (online tutor)
  • Early due date Friday, November 8: a short Problem Set 10 (pdf) and Solutions(pdf)
  • Monday
  • Wednesday
  • Friday

Week 9

Topics: Division Rule, Combinations, Counting with Repetitions

Week 8

Topics: Counting by Matching, Pigeonhole, Sum and Product Rules, Inclusion/Exclusion, Permutations

Week 7

Topics: Sums and Series, Products, Stirling's Formula, Asymptotics
  • Reading: Course Notes 7 (pdf); Optional: Rosen 1.7-8; a one-page derivation of Stirling's Formula (ps)
  • due Wednesday, October 16: Reading Problems 7 (online tutor)
  • due Monday, October 21: Problem Set 6-7 (pdf) , Solutions(pdf)
    • Notes on PS6-7, Problem 1:
      • glb ::= ``greatest-lower-bound'' and lub ::= ``least-upper-bound'', cf. Rosen, p. 423.
      • An example payoff tree and its max-value: (Powerpoint) (pdf)
  • Wednesday
  • Friday

Week 6

Topics: Recursive Definitions and Structural Induction
  • Reading: Course Notes 6 (pdf); Optional: Rosen 3.3
  • No Reading Problems.
  • Quiz 1(pdf) was Thursday, October 10, 7:30-9:30pm in 54-100. It was closed book, but an Appendix (pdf) with key definitions and results was provided. Here are Q1 Solutions (pdf), and grade statistics for
  • Monday
  • Friday
  • Released Friday, Oct. 11 & due Monday, October 21: Problem Set 6-7 (pdf)

Week 5

Topics: State Machines, Invariants and Termination

Week 4

Topics: Graphs

Week 3

Topics: Relations

Week 2

Topics: Quantifiers, Induction, Strong Induction

Week 1

Topics: Course Overview, Basic Proof Methods, Propositional Logic

Spring 2002

Spring '02 Handouts & Lecture Notes were also available, but are protected as of Jan. 2003.

Warning: Use Acrobat Reader directly, not its browser plug-in, to read PDF files. The plug-in is prone to crashing browsers. (Read more about this here.)

This document last modified Thursday, 02-Oct-2003 00:33:42 EDT

MIT For website issues, contact the 6042-webmaster-fall02@theory.lcs.mit.edu
Copyright © 2002, Prof. Albert R. Meyer and Dr. Radhika Nagpal , All rights reserved