lambda calculus
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
227K views • 9 years ago
Fullstack Academy
Gabriel Lebec's Fullstack Academy talk introduces lambda calculus syntax, the history of mathematical logic, and the essence of functional programming using JavaScript. It also covers combinators, currying and Church encodings.
32:06Preface | MIT Calculus Revisited: Single Variable Calculus
358K views • 15 years ago
MIT OpenCourseWare
The preface to Herb Gross's MIT OpenCourseWare 'Calculus Revisited: Single Variable Calculus', an older black-and-white lecture series. It introduces his approach to teaching calculus from the basics.
51:32Great Impractical Ideas in Computer Science: PowerPoint Programming
2.2M views • 7 years ago
Tom Wildenhain
Tom Wildenhain's guest lecture for CMU's Esoteric Programming Languages course shows that PowerPoint transitions and slides are Turing complete without macros, building up to a mind-bending fractal ending.
Topic match · Computability & complexity theory
1:02:34MIT Godel Escher Bach Lecture 1
557K views • 13 years ago
jasonofthel33t
The first lecture of an MIT course on Douglas Hofstadter's Godel, Escher, Bach, covering themes like self-reference, recursion and incompleteness. The full lecture series is on YouTube.
Topic match · Computability & complexity theory
1:46:33Lecture 1 | The Theoretical Minimum
969K views • 14 years ago
Stanford
Leonard Susskind opens Stanford Continuing Studies' Theoretical Minimum series with an introduction to quantum mechanics, a course for people who want real physics rather than popularization. It assumes some calculus and linear algebra.