Type Theory in Computer Science, Linguistics, Logic
40:14
YouTubeAttic Philosophy
Type Theory in Computer Science, Linguistics, Logic
Type theory is one of the central ideas in theoretical computer science and formal linguistics. But what is it, where did it come from, and how does it work? We'll find out answers to all these questions in this video! The video and audio go out of sync for a bit (at 1:41) – sorry! That's my editing to blame, hope it's not too distracting ...
已浏览 3.7万 次5 个月之前
Typing Speed Test
Typing Speed Test: How To Type Super Fast?
7:42
Typing Speed Test: How To Type Super Fast?
YouTubeText
已浏览 16.1万 次2023年11月14日
Typing Test Pro - Create Professional Pre-employment Typing Tests to Assess Typing Speed + Accuracy
2:00
Typing Test Pro - Create Professional Pre-employment Typing Tests to Assess Typing Speed + Accuracy
YouTubeTypingMaster Team
已浏览 1.4万 次2023年4月24日
Test Your Typing Speed Online | Top Websites
0:38
Test Your Typing Speed Online | Top Websites
YouTubeTechnical Freaks
已浏览 4361 次2023年3月9日
热门视频
A Level Computer Science 9618 Paper 2: Data Types
3:55
A Level Computer Science 9618 Paper 2: Data Types
YouTubeHaguin School
已浏览 6734 次2023年2月13日
Introduction to Computer Science (CS 101) for Beginners - Free Course | Treehouse
21:12
Introduction to Computer Science (CS 101) for Beginners - Free Course | Treehouse
YouTubeTreehouse
已浏览 30.3万 次2021年8月5日
Map of Computer Science
10:58
Map of Computer Science
YouTubeDomain of Science
已浏览 662.2万 次2017年9月6日
Typing Games
Typing Land - A fun and exciting FREE typing game
0:49
Typing Land - A fun and exciting FREE typing game
YouTubehigopage
已浏览 15.3万 次2021年10月23日
6 Best Free Typing Games for 2021 | Typing Games 2021
11:36
6 Best Free Typing Games for 2021 | Typing Games 2021
YouTubeSalih Tutorials
已浏览 7.2万 次2021年1月9日
Top 5 Typing Games You Can Play Right Now For Free!
0:19
Top 5 Typing Games You Can Play Right Now For Free!
YouTubeThinkBlend
已浏览 931 次6 个月之前
A Level Computer Science 9618 Paper 2: Data Types
3:55
A Level Computer Science 9618 Paper 2: Data Types
已浏览 6734 次2023年2月13日
YouTubeHaguin School
Introduction to Computer Science (CS 101) for Beginners - Free Course | Treehouse
21:12
Introduction to Computer Science (CS 101) for Beginners - Free Cour…
已浏览 30.3万 次2021年8月5日
YouTubeTreehouse
Map of Computer Science
10:58
Map of Computer Science
已浏览 662.2万 次2017年9月6日
YouTubeDomain of Science
Computer Science ∩ Mathematics (Type Theory) - Computerphile
15:56
Computer Science ∩ Mathematics (Type Theory) - Computerphile
已浏览 27.2万 次2017年1月11日
YouTubeComputerphile
2.2.2 Data Types - Revise GCSE Computer Science
6:06
2.2.2 Data Types - Revise GCSE Computer Science
已浏览 9314 次2021年3月9日
YouTubeRevise Computer Science
Introduction to Programming and Computer Science - Full Course
1:59:09
Introduction to Programming and Computer Science - Full Course
已浏览 1033.7万 次2020年4月21日
YouTubefreeCodeCamp.org
Computer Science Terminology
14:01
Computer Science Terminology
已浏览 21.2万 次2018年11月8日
YouTubefreeCodeCamp.org
5:45
What is computer science? | Intro to CS - Python | Khan Academy
已浏览 6.5万 次2024年6月26日
YouTubeKhan Academy
1:30:49
Class 11 NCERT Computer Science Chapter 5 | Introduction to Data Ty…
已浏览 1.5万 次2021年11月11日
YouTubeMagnet Brains
3:59
classifications of computer by Type
已浏览 2.3万 次2022年12月28日
YouTubeTECHEDUFY HQ
2:27
Computer Science Basics: Sequences, Selections, and Loops
已浏览 38.9万 次2018年10月3日
YouTubeLearnFree
13:08
100+ Computer Science Concepts Explained
已浏览 310.3万 次2022年5月4日
YouTubeFireship
2:21
Computer Science Basics: Programming Languages
已浏览 19万 次2018年10月3日
YouTubeLearnFree
10:10
Data Types, Variables & Constants
已浏览 13.5万 次2017年11月6日
YouTubeMrBrownCS
2:14:41
Introduction to Computer Science: Lecture no 1 - Computers and Digi…
已浏览 12.6万 次2020年10月17日
YouTubeAhmed Taha
1:10
What is Computer Science
已浏览 5.5万 次2017年11月16日
YouTubeUniversity of Glasgow
10:02
Introduction To Computer System | Beginners Complete Introduction …
已浏览 104.7万 次2021年8月29日
YouTubeLearn Computer Science
2:30
Computer Science Basics: Algorithms
已浏览 66.5万 次2018年10月3日
YouTubeLearnFree
57:04
Class 11 NCERT Computer Science Chapter 7 | Functions - Introductio…
已浏览 1.3万 次2021年12月4日
YouTubeMagnet Brains
11:14
What is Computer Science?
已浏览 166.3万 次2017年2月28日
YouTubeZach Star
44:48
Class 11 NCERT Computer Science Chapter 1 | Introduction to Compu…
已浏览 60.8万 次2021年10月14日
YouTubeMagnet Brains
12:57
Computer Science Careers and Subfields
已浏览 56.8万 次2017年8月21日
YouTubeZach Star
9:40
Computer Science Vs Computer Engineering: How to Pick the Righ…
已浏览 119.3万 次2017年3月7日
YouTubeZach Star
16:49
COMPUTER SCIENCE explained in 17 Minutes
已浏览 304.4万 次2024年5月19日
YouTubeWacky Science
58:03
Plus One Computer Science | Data Types and Operations | Chapter 6 …
已浏览 8.9万 次2023年11月12日
YouTubeExam Winner Plus One
27:18
AP Computer Science A - Unit 1: Primitive Types
已浏览 8.4万 次2021年2月13日
YouTubeBill Barnum
11:19
IGCSE Computer Science 2023-25 ​​- SOFTWARE: Video 4 - Programmi…
已浏览 2.3万 次2022年8月11日
YouTubeMr Bulmer's Learning Zone
10:48
Why Study Computer Science? | College Majors | College Degrees …
已浏览 6.5万 次2022年7月1日
YouTubeStudy Hall
9:13
IGCSE Computer Science 2023-25 ​​- Topic 8: Programming (1) - Progra…
已浏览 2.9万 次2023年1月16日
YouTubeMr Bulmer's Learning Zone
观看更多视频
静态缩略图占位符