Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010
MIT OpenCourseWare3 HN recommenders · recommended in 3 months, 2017–2018
lecture · intro · evergreen · 2017–2018 on HN
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.
HN users recommend it as a good discrete math course for programmers, praising Leighton's relatable stories that motivate new concepts.
Up next
7 mo on HNThe Banach–Tarski Paradox
Vsauce
6 HN recommender · 2015–2024
4 mo on HNSalman Khan TED Talk 2011 (from ted.com)
Khan Academy
4 HN recommender · 2011–2012
2 mo on HNReading Silicon: How to Reverse Engineer Integrated Circuits
HACKADAY
2 HN recommender · 2018–2021
3 mo on HN17. Succinct Structures I
MIT OpenCourseWare
3 HN recommender · 2018–2022
3 mo on HNMeaningful Play: Getting Gamification Right
Google TechTalks
3 HN recommender · 2012–2014
4 mo on HNAlan Kay - Programming and Scaling
Colin McDonnell
4 HN recommender · 2016–2026
4 mo on HNTimes Tables, Mandelbrot and the Heart of Mathematics
Mathologer
4 HN recommender · 2017–2023
3 mo on HNStanford Seminar: Beyond Floating Point: Next Generation Computer Arithmetic
Stanford Online
5 HN recommender · 2017–2021
16 mo on HNHow to Speak
MIT OpenCourseWare
17 HN recommender · 2020–2025
15 mo on HN1. Introduction to Human Behavioral Biology
Stanford
15 HN recommender · 2012–2026
14 mo on HNLEADERSHIP LAB: The Craft of Writing Effectively
UChicago Social Sciences
15 HN recommender · 2019–2026
13 mo on HNMIT's Pathway to Fusion Energy (IAP 2017) - Zach Hartwig
MIT Plasma Science and Fusion Center
16 HN recommender · 2017–2023
3 comments from Hacker News
Teaching 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 level. It is useful in teaching; it is also useful in leadership, sales, design... As an exemplar, I submit Akamai CTO and MIT professor Tom Leighton. ▶ this video
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. ▶ this video (I've actually been so inspired by this approach that I sometimes incorporate it into conversation whenever I really want someone to understand something.) __ This is perhaps worth reading: Knuth - Theory and Practice. link Disclaimer: I have not read it yet.
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): ▶ this video