111 episodes

This course covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.

# Mathematics for Computer Science (2015) MIT

• Technology

This course covers elementary discrete mathematics for computer science and engineering. It emphasizes mathematical definitions and proofs as well as applicable methods. Topics include formal logic notation, proof methods; induction, well-ordering; sets, relations; elementary graph theory; integer congruences; asymptotic notation and growth of functions; permutations and combinations, counting principles; discrete probability. Further selected topics may also be covered, such as recursive definition and structural induction; state machines and invariants; recurrences; generating functions.

• video
1.1.1 Welcome to 6.042

## 1.1.1 Welcome to 6.042

• 2 min
• video
1.1.2 Intro to Proofs: Part 1

## 1.1.2 Intro to Proofs: Part 1

• 9 min
• video
1.1.3 Intro to Proofs: Part 2

## 1.1.3 Intro to Proofs: Part 2

• 7 min
• video

• 7 min
• video
1.2.3 Proof by Cases

## 1.2.3 Proof by Cases

• 6 min
• video
1.3.1 Well Ordering Principle 1: Video

• 5 min

## Customer Reviews

4.4 out of 5
10 Ratings

10 Ratings

For Windows users at least:

On your computer via iTunes subscribe to podcast. In the settings for the podcasts, turn the episode limit to none. You should have all 111 episodes in library (though they will not be downloaded to computer). Then sync your iphone with podcast app installed. Podcasts should automatically download to phone at this step.

To see them mostly organized, view them through "Episodes" or "Downloaded Episodes" tab, and click Sort -> By title.

jasoncrochon ,

### Terribly Organized, but Good content

Too many 1.2.3 videos that are 7 mins long and are unsorted. Therefore, instead of a clearly defined 1 hour episodes from 1-100, you get 7 mins episodes that are like this:
1.3.1
2.4.1
1.1.1
3.2.1
1.1.2

There is no logical option to sort these and play them as they should, like this:
1.1.1
1.1.2
1.3.1
2.4.1
3.2.1

I had to take a screenshot of the playlist on iTunes via PC and use this as a reminder of which video to watch next.

Terribly organized, yet good content.