可计算性与复杂度理论视频
浏览可计算性与复杂度理论相关视频，查看概览、创作者与 Hacker News 原讨论链接。
本分类共 34 个视频，按推荐分排序。
本主题视频
53:21Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich
59:2328c3: The Science of Insecurity
42:43"Propositions as Types" by Philip Wadler
46:19Break Me00 The MoVfuscator Turning mov into a soul crushing RE nightmare Christopher Domas
34:00Math's Fundamental Flaw
5:34On The Turing Completeness of PowerPoint (SIGBOVIK)
1:30Life in life
1:02:15Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript
14:27All the Numbers - Numberphile
10:44P vs. NP and the Computational Complexity Zoo
40:50Ruby Manor 3 - Programming with Nothing by Tom Stuart
3:26:34David Beazley - Lambda Calculus from the Ground Up - PyCon 2019
51:32Great Impractical Ideas in Computer Science: PowerPoint Programming
48:36Matt Might - Winning the War on Error Solving the Halting Problem and Curing Cancer
3:11:09Stephen Wolfram: Cellular Automata, Computation, and Physics | Lex Fridman Podcast #89
1:06:45Let's #TalkConcurrency Panel Discussion with Sir Tony Hoare, Joe Armstrong, and Carl Hewitt
3:38:43Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234
17:58What P vs NP is actually about
4:22SIGBOVIK 2007: Generalized Super Mario Bros. is NP-Complete
1:00:341. Introduction, Finite Automata, Regular Expressions
1:02:34MIT Godel Escher Bach Lecture 1
22:54I Built a COMPUTER in Magic: The Gathering
7:42Extremely Large Numbers 1 - Introduction
4:23:39Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124
6:14Turing & The Halting Problem - Computerphile
6:54Does John Conway hate his Game of Life?
28:28What is PLUS times PLUS?
1:06:43Scott Aaronson | How Much Math Is Knowable?
2:02Find the Longest Path
1:25