Massachusetts Institute of Technology
6.042J/18.062J, Spring 10: Mathematics for Computer Science
Prof. Albert R. Meyer
February 12
revised February 11, 2010, 172 minutes
In-Class Problems Week 2, Fri.
Problem 1.
Set Formulas and Propositional Formulas.
(
Massachusetts Institute of Technology
6.042J/18.062J, Spring 10: Mathematics for Computer Science
Prof. Albert R. Meyer
February 16
revised February 9, 2010, 1094 minutes
In-Class Problems Week 3, Tue.
Problem 1.
Lemma 4.9.4. Let A be a set and b A. If A
Massachusetts Institute of Technology
6.042J/18.062J, Spring 10: Mathematics for Computer Science
Prof. Albert R. Meyer
February 17
revised February 11, 2010, 1155 minutes
In-Class Problems Week 3, Wed.
Problem 1.
For each of the logical formulas, indicat
Massachusetts Institute of Technology
6.042J/18.062J, Spring 10: Mathematics for Computer Science
Prof. Albert R. Meyer
February 19
revised February 19, 2010, 1407 minutes
In-Class Problems Week 3, Fri.
Problem 1.
Lets refer to a programming procedure (wr
Massachusetts Institute of Technology
6.042J/18.062J, Spring 10: Mathematics for Computer Science
Prof. Albert R. Meyer
February 22
revised February 18, 2010, 16 minutes
In-Class Problems Week 4, Mon.
Problem 1.
Prove by induction:
1+
1 1
1
1
+ + + 2 < 2
Massachusetts Institute of Technology
6.042J/18.062J, Spring 10: Mathematics for Computer Science
Prof. Albert R. Meyer
February 24
revised February 24, 2010, 756 minutes
In-Class Problems Week 4, Wed.
Problem 1.
Direct Prerequisites
18.01
18.01
18.01
8.0
Massachusetts Institute of Technology
6.042J/18.062J, Spring 10: Mathematics for Computer Science
Prof. Albert R. Meyer
February 26
revised February 21, 2010, 1416 minutes
In-Class Problems Week 4, Fri.
Problem 1.
The table below lists some prerequisite i
Massachusetts Institute of Technology
6.042J/18.062J, Spring 10: Mathematics for Computer Science
Prof. Albert R. Meyer
March 1
revised February 27, 2010, 1329 minutes
In-Class Problems Week 5, Mon.
Problem 1.
If a and b are distinct nodes of a digraph, t
Massachusetts Institute of Technology
6.042J/18.062J, Spring 10: Mathematics for Computer Science
Prof. Albert R. Meyer
March 3
revised February 26, 2010, 1410 minutes
In-Class Problems Week 5, Wed.
By now you are very familiar with the 6.042 icon that ap