Скачать
Lambda Calculus: The foundation of functional programming, and the simplest programming language
Автор: Tony Zhang
Загружено: 15 июл. 2023 г.
Просмотров: 36 974 просмотра
Описание:
Lambda "Calculus" is a extremely concise way to represent logic and computing — just like a Turing machine. Instead of a Turing machine's mechanical and step by step way of computing, lambda calculus looks much more similar to regular math and "computes" by substituting and simplifying.
Timestamps:
00:00 intro
00:36 logical explanation
02:20 formal explanation
06:47 currying
08:47 church encoding for numbers
12:02 recursion
--------------
My website: https://tonyzhang.net
My Github: https://github.com/Tony1324
Contact me: [email protected]
Доступные форматы для скачивания:
Скачать видео mp4
-
Информация по загрузке:
