Type Theory Definition, History & Criticism
7:20
Type Theory Definition, History & Criticism
已浏览 9200 次2019年8月15日
Study.com
4 Types and Advantages of Theory of Computation | Analytics Steps
4 Types and Advantages of Theory of Computation | Analytics Steps
2021年7月19日
analyticssteps.com
GATE 2026 Theory of Computation Maha Revision Part 2 | TOC One Shot | TOC Ankit Doyla Sir
11:32:21
GATE 2026 Theory of Computation Maha Revision Part 2 | TOC One S…
已浏览 1.4万 次2 周前
YouTubeUnacademy GATE CSIT & DA
The Formal System of Type Theory
8:25
The Formal System of Type Theory
已浏览 2 次2 个月之前
YouTubeStaiblocks
#58 - Constructivism and Computation Content - Andrej Bauer
2:18:35
#58 - Constructivism and Computation Content - Andrej Bauer
2 个月之前
YouTubeType Theory Forall
Facts You Don't Know About Srinivasa Ramanujan
0:35
Facts You Don't Know About Srinivasa Ramanujan
已浏览 1188 次2 周前
YouTubePulse Short Films
"Propositions as Types" by Philip Wadler
"Propositions as Types" by Philip Wadler
已浏览 13.9万 次2015年9月26日
YouTubeStrange Loop Conference
15:56
计算机科学和数学基础的交织: 类型论
已浏览 1446 次2023年6月2日
bilibiliasdiqoweq
10:52
Complexity Theory Overview
已浏览 21.5万 次2017年5月17日
YouTubeSystems Innovation Network
13:54
Computer System Architecture
已浏览 84.4万 次2018年2月21日
YouTubeNeso Academy
57:06
Homotopy Type Theory for Mathematicians
已浏览 1303 次2021年1月29日
bilibiliPoincare
49:47
Lecture 1 | Programming Methodology (Stanford)
已浏览 255.9万 次2008年7月3日
YouTubeStanford
4:11
Social theories overview (part 1) | Society and Culture | MCAT | Kha…
已浏览 29.6万 次2013年9月17日
YouTubekhanacademymedicine
10:01
Trait theory | Behavior | MCAT | Khan Academy
已浏览 33.8万 次2013年9月17日
YouTubekhanacademymedicine
11:14
What is Computer Science?
已浏览 166.7万 次2017年2月28日
YouTubeZach Star
10:58
Map of Computer Science
已浏览 667.8万 次2017年9月6日
YouTubeDomain of Science
53:00
Foundations 2: Category Theory
已浏览 1.2万 次2020年12月7日
YouTubeRichard Southwell
11:35
Introduction to Theory of Computation
已浏览 399.2万 次2016年12月15日
YouTubeNeso Academy
47:01
Theoretical Computer Science. Chapter 0. Introduction.
已浏览 3万 次2021年2月9日
YouTubeNoson S. Yanofsky
5:53
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
已浏览 6.4万 次2017年10月6日
YouTubeComputerphile
54:39
[编程天眼]你确定真的了解类型么? Type Systems
已浏览 4453 次2022年8月2日
bilibili清华邓博士
16:01
计算机科学 ∩ 数学（什么是类型理论）Computer Science ∩ Mathemati…
已浏览 2652 次2023年6月29日
bilibili听AI的话
3:26
Why study theory of computation?
已浏览 15.6万 次2020年4月22日
YouTubelydia
11:44
Intro to Algorithms: Crash Course Computer Science #13
已浏览 191.9万 次2017年5月24日
YouTubeCrashCourse
6:44:39
Algorithms Course - Graph Theory Tutorial from a Google Engineer
已浏览 181.5万 次2019年10月9日
YouTubefreeCodeCamp.org
10:54
The Satisfiability Problem, and SAT is in NP
已浏览 6.7万 次2021年3月5日
YouTubeEasy Theory
17:05
Turing Machines - How Computer Science Was Created By Accident
已浏览 39.2万 次2020年2月4日
YouTubeUp and Atom
52:11
Turing and von Neumann - Professor Raymond Flood
已浏览 13.8万 次2016年4月26日
YouTubeGresham College
4:37
Evolutionary game theory | Individuals and Society | MCAT | K…
已浏览 8万 次2015年1月22日
YouTubekhanacademymedicine
1:30:37
Naïve Type Theory by Thorsten Altenkirch (University of Nottingh…
已浏览 2.8万 次2017年4月2日
YouTubeFOMUS 2016
观看更多视频
静态缩略图占位符