Lec 1 | MIT 6.042J Mathematics for Computer Science, Fall 2010
MIT OpenCourseWare3 HN recommenders · recommended in 3 months, 2017-2018
2.8M views · 13 years ago · lecture · evergreen
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.
39:49Lec 1 | MIT 18.06 Linear Algebra, Spring 2005
MIT OpenCourseWare
4.9M views • 17 years ago
1:12:56Lecture 1A | MIT 6.001 Structure and Interpretation, 1986
MIT OpenCourseWare
995K views • 17 years ago
53:30Lec 1 | MIT 6.00 Introduction to Computer Science and Programming, Fall 2008
MIT OpenCourseWare
6.6M views • 17 years ago
1:02:34MIT Godel Escher Bach Lecture 1
jasonofthel33t
557K views • 13 years ago
1:12:56Lecture 1A: Overview and Introduction to Lisp
MIT OpenCourseWare
420K views • 7 years ago
32:06Preface | MIT Calculus Revisited: Single Variable Calculus
MIT OpenCourseWare
358K views • 15 years ago
1:02:06Real Analysis, Lecture 1: Constructing the Rational Numbers
HarveyMuddCollegeEDU
613K views • 16 years ago
1:00:341. Introduction, Finite Automata, Regular Expressions
MIT OpenCourseWare
626K views • 5 years ago
58:22Lecture 1B | MIT 6.001 Structure and Interpretation, 1986
MIT OpenCourseWare
116K views • 17 years ago
51:32Great Impractical Ideas in Computer Science: PowerPoint Programming
Tom Wildenhain
2.2M views • 7 years ago
51:47Lecture 19: Dynamic Programming I: Fibonacci, Shortest Paths
MIT OpenCourseWare
2.9M views • 13 years ago
57:32Five Stages of Accepting Constructive Mathematics - Andrej Bauer
Institute for Advanced Study
34K views • 10 years ago
42:43"Propositions as Types" by Philip Wadler
Strange Loop Conference
143K views • 11 years ago
1:07:02Stanford Lecture: Don Knuth—"A Conjecture That Had To Be True" (2017)
Stanford Online
30K views • 8 years ago
1:19:35Lecture 1: Introduction
MIT 6.824: Distributed Systems
921K views • 6 years ago
1:24:38Lecture 7A: Metacircular Evaluator, Part 1
MIT OpenCourseWare
32K views • 7 years ago
1:30:50Lecture 7: Introduction to Galois Fields for the AES by Christof Paar
Introduction to Cryptography by Christof Paar
278K views • 12 years ago
1:24:38Lecture 7A | MIT 6.001 Structure and Interpretation, 1986
MIT OpenCourseWare
35K views • 17 years ago
1:02:041. Introduction for 15.S12 Blockchain and Money, Fall 2018
MIT OpenCourseWare
7.2M views • 6 years ago
17:05The essence of calculus
3Blue1Brown
11.9M views • 9 years ago
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