u/ericmoritzin r/haskell • Recommends
On “Lambda Calculus - Computerphile”
This video caused me to go on a 4+ hrs binge on these lectures. I finally understand Lambda Calculus.
link to this video
0:00 / 0:00
#lambdacalculus#turingmachines#currying
CSE 340 11-23-15 Lecture: "Lambda Calculus Pt. 1"
Adam Doupé
6.1K subscribers • 1 video on Hallway
- Recommended by 2 people: 2 in engineering communities.
- A classic. People kept recommending it from 2017 to 2020.
- Presented by Adam Doupé, Associate Professor at ASU
Intermediate. Assumes working knowledge.
37K views10 years ago2 recommendations
Computer scienceProgramming languagesComputation and complexityFunctional programming
Adam Doupé introduces lambda calculus, covering its relation to Turing machines, syntax, disambiguation rules, currying, and free variables.
Update lambda calculus lectures from 2016: youtu.be/KoIdCHDbpMI Recorded lecture for CSE 340 on 11/23/15 starting the Lambda Calculus topic. We covered the relation of lambda calculus to Turing Machines, history of lambda calculus, syntax of lambda calculus, disambiguation rules, informal description of the semantics of lambda calculus, currying, and free variables. Lecture slides and other course material found on the class page: adamdoupe.com/teaching/classes/cse340-principles-of-programm…Why it's here
2 people recommend thisWhat people say. Recommended as a great college lecture series for quickly learning lambda calculus.
u/ZeroSevenTenin r/compsci • Recommends
On “Could anyone assist in where I could get resources to learn all this quickly to complete work? Or if anyone could assist me with the work itself give me a pm”
You can look up videos on the halting problem
For complexity theory, look up what Big O, Big Theta, Big Omega, Little O, and Little Omega are
For Quantum Computing, there's this great video: link to this video
For lambda calculus, theres this great college video series: link to this video