V
主页
数学编程:lambda演算详解 - Eyesomorphic
发布人
Programming with Math | The Lambda Calculus https://www.youtube.com/watch?v=ViPNHMSUcog 视频讲述了Lambda Calculus(lambda演算),一种理论上的编程语言,它仅由三个符号和一个计算规则构成,却能实现所有其他编程语言的功能。Lambda演算的核心是函数理论,通过抽象输入和输出的关系来表示,如将任意输入x映射为其平方。这种函数被称为lambda抽象,通过希腊字母lambda标记函数,输入变量后跟输出。 视频介绍了Lambda抽象的表示法,以及如何通过类型系统(Curry-Howard对应)进行逻辑推理,甚至用于编写数学证明(如Lean和Agda这样的证明助手)。Lambda Calculus展示了数学与计算机科学的紧密联系,尽管它不是现代编程语言,但其理论价值丰富,能帮助我们严谨地理解和构建程序。 视频最后提到,Lambda Calculus的研究可能在未来影响数学教学方式,通过计算机代码而非传统笔纸。作者鼓励对这个主题感兴趣的人订阅频道,探索更多关于数学和理论计算机科学的内容。 项目地址:https://github.com/liuzhao1225/YouDub-webui YouDub 是一个开创性的开源工具,旨在将 YouTube 和其他平台上的高质量视频翻译和配音成中文版本。该工具结合了最新的 AI 技术,包括语音识别、大型语言模型翻译,以及 AI 声音克隆技术,提供与原视频相似的中文配音,为中文用户提供卓越的观看体验。
打开封面
下载高清视频
观看高清视频
视频下载器
原 函 数
《11分钟内解释每个逻辑谬误》 - The Paint Explainer
公式法是一元二次方程的噩梦(?)
古希腊掌管找规律的先辈
拉马努金如何理解中学问题?
理解物理学最重要的数学公式 - Physics with Elliot
81种数学符号的介绍
理解傅立叶变换,从量子力学开始 - Physics with Elliot
【漫士】这期视频将用数学拯救你的选择困难症
周期性边界条件为何是有效的?
自学C语言最恐怖的地方是什么?
一米的绳子, 围成什么图形面积最大
意识的源头:从不自觉到自觉 - Kurzgesagt – In a Nutshell
小波:数学显微镜 - Artem Kirsanov
做数学题容易失误的地方🤔
白子教你用配方法解一元二次方程
此题不会 直接报废
为什么 0!=1?
当你遇到了一个屎山代码后……
我制作了一个零玩家游戏:失控的细胞自动机 - Sam Hogan
上数学课时我的脑子:
ASCII、Unicode和UTF-8编码详解,一次彻底弄明白!简单易懂
MCBE 最小最优12箱容检编码单片
数学与物理学中的所有重要公式:深入解析与应用 - ThoughtThrill
易支付渠道搭建,更高级的圈钱
核稳定性的数学之美:精妙的解释 - Highly Entropic Mind
学员冒充我名字开发抢票神器,源码还开源git上。
我建造了世界上最大的Minecraft箱子:Carvs的壮举 - Carvs
【中配】每种战争策略解释:8分钟(第二部分) - The Paint Explainer
你以为的竞赛生高考VS实际的竞赛生高考
8位元Minecraft可能吗?- Inkbox - Inkbox
《气死改卷老师》
幂运算 球在太大之前能逃脱吗#几何图形
【中配】如何自学纯数学:一步步指南 - Aleph 0
"东方第一几何学家"——苏步青!
史上最难游戏制作:我挑战极限 - Sam Hogan
幂运算 篮球每次掉入框中都会翻倍弹出#星球动画 #几何图形
我翻译过最好的四维可视化视频
一条视频,让你学会直线平分问题
霸 体 螺 旋 丸 公 式