hackertube.io

Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010

MIT OpenCourseWare · lecture · Watch on YouTube

University lectures & coursesPure mathematicsLogic & formal methods

What it is

The first lecture of MIT 6.042J Mathematics for Computer Science, taught by Tom Leighton, introducing mathematical proofs. It covers propositions, implication and basic proof methods.

Why Hacker News recommends it

HN users recommend it as a good discrete math course for programmers, praising Leighton's relatable stories that motivate new concepts.

  • 3 people recommended it
  • 3 different months
  • 0 strong recommendations
  • first 2017, last 2018

What HN commenters said

  1. “is a good one”

    Good MIT lecture series on mathematics for computer science

    espeed, 2017-03 · Recommendation · in “What are some things you wish you knew when you started programming?”

  2. “the professor tells relatable stories to motivate the new concepts”

    Lecture with relatable stories motivating new concepts

    totalnovice, 2018-07 · Recommendation · in “Ask HN: Old CS lecturer looking for advice from current and recent students”

  3. “As an exemplar, I submit Akamai CTO and MIT professor Tom Leighton.”

    Exemplar of a researcher who also teaches well

    rectang, 2018-08 · Recommendation · in “Those Who Can Do, Can’t Teach”

Excerpts from Hacker News comments, linked to the originals. Summaries and labels were written by a language model from those comments.

Topics: discrete math, proofs, mit ocw, tom leighton, computer science

Also recommended by the same people