Type Theory Definition, History & Criticism
7:20
Type Theory Definition, History & Criticism
已浏览 6400 次2019年8月15日
Study.com
The Formal System of Type Theory
8:25
The Formal System of Type Theory
已浏览 2 次5 个月之前
YouTubeStaiblocks
UGC NET Computer Science | Discrete Structures - Graph Theory | UGC NET CS 2026 | Muneeb Sir
52:45
UGC NET Computer Science | Discrete Structures - Graph Theory | UGC NET CS 2026 | Muneeb Sir
已浏览 128 次1 周前
YouTubeUnacademy Live NTA UGC NET
[编程天眼]你确定真的了解类型么? Type Systems
54:39
[编程天眼]你确定真的了解类型么? Type Systems
已浏览 4459 次2022年8月2日
bilibili清华邓博士
计算机科学和数学基础的交织: 类型论
15:56
计算机科学和数学基础的交织: 类型论
已浏览 1463 次2023年6月2日
bilibiliasdiqoweq
Game Theory
1:04:14
Game Theory
已浏览 11.4万 次2015年6月5日
YouTubeMIT OpenCourseWare
Systems Theory Overview
4:11
Systems Theory Overview
已浏览 11.7万 次2014年5月4日
YouTubeSystems Innovation Network
14:08
Graph Theory Introduction
已浏览 18.3万 次2018年3月30日
YouTubeWilliamFiset
10:52
Complexity Theory Overview
已浏览 21.8万 次2017年5月17日
YouTubeSystems Innovation Network
3:17
Introductory Computer Practice N4
已浏览 4387 次2020年10月12日
YouTubeMacmillan Education South Africa
13:54
Computer System Architecture
已浏览 86.1万 次2018年2月21日
YouTubeNeso Academy
43:06
1. What is Computation?
已浏览 216.6万 次2019年7月31日
YouTubeMIT OpenCourseWare
4:18
Behavioral theory | Behavior | MCAT | Khan Academy
已浏览 59.5万 次2013年9月17日
YouTubekhanacademymedicine
12:38
Complexity 1 Introduction to complexity
已浏览 10万 次2016年11月10日
YouTubeRobEdwards
10:58
Map of Computer Science
已浏览 670.6万 次2017年9月6日
YouTubeDomain of Science
53:00
Foundations 2: Category Theory
已浏览 1.3万 次2020年12月7日
YouTubeRichard Southwell
11:35
Introduction to Theory of Computation
已浏览 409.6万 次2016年12月15日
YouTubeNeso Academy
47:01
Theoretical Computer Science. Chapter 0. Introduction.
已浏览 3.1万 次2021年2月9日
YouTubeNoson S. Yanofsky
7:00
Fact vs. Theory vs. Hypothesis vs. Law… EXPLAINED!
已浏览 196.5万 次2015年9月21日
YouTubeBe Smart
5:53
Homotopy Type Theory: Vladimir Voevodsky - Computerphile
已浏览 6.4万 次2017年10月6日
YouTubeComputerphile
3:26
Why study theory of computation?
已浏览 16.8万 次2020年4月22日
YouTubelydia
1:09:24
Algorithmic Game Theory (Lecture 1: Introduction and Examples)
已浏览 25万 次2013年9月25日
YouTubeTim Roughgarden Lectures
11:44
Intro to Algorithms: Crash Course Computer Science #13
已浏览 193.3万 次2017年5月24日
YouTubeCrashCourse
6:44:39
Algorithms Course - Graph Theory Tutorial from a Google Engineer
已浏览 183万 次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.6万 次2020年2月4日
YouTubeUp and Atom
16:01
计算机科学 ∩ 数学（什么是类型理论）Computer Science ∩ Mathematics (Type Theory)
已浏览 2662 次2023年6月29日
bilibili听AI的话
52:11
Turing and von Neumann - Professor Raymond Flood
已浏览 14.3万 次2016年4月26日
YouTubeGresham College
4:37
Evolutionary game theory | Individuals and Society | MCAT | Khan Academy
已浏览 8.1万 次2015年1月22日
YouTubekhanacademymedicine
10:41
Introduction to the Theory of Computation (Full Course)
已浏览 7517 次2020年5月20日
YouTubeEasy Theory
展开