THE VIDEO SHELF · mathematical proofs
Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010
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 HN readers recommended it
HN users recommend it as a good discrete math course for programmers, praising Leighton's relatable stories that motivate new concepts.
This is a summary from the source dataset, not an endorsement by Hacker News or the video creator.
Video & recommendation details
- Creator / channel
- MIT OpenCourseWare
- Topic
- mathematical proofs
- Format
- lecture
- Level
- intro
- HN recommenders in dataset
- 3
- HN mentions in dataset
- 3
- Recommendation years in dataset
- 2017–2018
These counts and years describe the included Hacker News records; they are not YouTube views or the video’s publication date.
From the original HN conversations
Excerpts from the recorded comments. Follow each source for the full comment and surrounding discussion.
The Fall 2010 version of MIT 6.042J Mathematics for Computer Science is a good one (as I recall there are several versions online from different years), and someone from Google is teaching it this year (haven't heard if the videos will be made available online): …
espeed on Hacker News · 2017-03
In What are some things you wish you knew when you started programming?Some MIT professors use a method termed "practice-theory-practice". [LINK] __ I see this as a "practical" lecure, also from MIT: the professor tells relatable stories to motivate the new concepts. Though I imagine good storytelling is harder than it looks. [VIDEO] (I've actually been so …
totalnovice on Hacker News · 2018-07
In Ask HN: Old CS lecturer looking for advice from current and recent studentsTeaching requires a set of distinct skills which are different from researching. Naturally not everyone is equally gifted or developed in all areas. One of the most valuable skills in life is the ability to adapt your mental models and present ideas at an audience-appropriate …
rectang on Hacker News · 2018-08
In Those Who Can Do, Can’t Teach
Summaries, classifications and recommendation records are from the HackerTube source dataset. Read about this library and its limitations.