Computer Science ∩ Mathematics (Type Theory) - Computerphile
15:56
Find in video from 02:08Type Theory and Constructive Mathematics
Computer Science ∩ Mathematics (Type Theory) - Computerphile
271.6K viewsJan 11, 2017
YouTubeComputerphile
Type Theory in Computer Science, Linguistics, Logic
40:14
Type Theory in Computer Science, Linguistics, Logic
40.4K views8 months ago
YouTubeAttic Philosophy
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
1:25:20
Find in video from 07:16Formal Type Theory
Computational Type Theory [1/5] - Robert Harper - OPLSS 2018
21K viewsAug 1, 2018
YouTubeOPLSS
Theory of Computation and Automata Theory ( Full Course )
11:38:43
Theory of Computation and Automata Theory ( Full Course )
52.3K viewsFeb 27, 2022
YouTubeNerd's lesson
Introduction to Theory of Computation
11:35
Find in video from 01:00Overview of Computer Science
Introduction to Theory of Computation
4M viewsDec 15, 2016
YouTubeNeso Academy
Introduction to Programming and Computer Science - Full Course
1:59:09
Find in video from 20:42Variables in Computer Science
Introduction to Programming and Computer Science - Full Course
10.8M viewsApr 21, 2020
YouTubefreeCodeCamp.org
100+ Computer Science Concepts Explained
13:08
100+ Computer Science Concepts Explained
3.1M viewsMay 4, 2022
YouTubeFireship
6:37
Regular Languages
1.2M viewsDec 22, 2016
YouTubeNeso Academy
25:42
Find in video from 17:18Types of Operating Systems
IGCSE-ICT: Chapter 1: Types and Components of Computer Systems
22.1K viewsMay 4, 2024
YouTubeJCS IG & A-level Tutorials
11:44
Intro to Algorithms: Crash Course Computer Science #13
1.9M viewsMay 24, 2017
YouTubeCrashCourse
16:49
COMPUTER SCIENCE explained in 17 Minutes
3.3M viewsMay 19, 2024
YouTubeWacky Science
5:18
Find in video from 02:17Two Types of Languages (Finite or Infinite)
Lec-3: What is Automata in TOC | Theory of Computation
1.4M viewsMar 2, 2020
YouTubeGate Smashers
10:58
Map of Computer Science
6.7M viewsSep 6, 2017
YouTubeDomain of Science
13:54
Find in video from 07:40Types of Multiprocessor Systems
Computer System Architecture
837.5K viewsFeb 21, 2018
YouTubeNeso Academy
3:26
Why study theory of computation?
161.2K viewsApr 22, 2020
YouTubelydia
13:04
Alan Turing: Crash Course Computer Science #15
900.1K viewsJun 7, 2017
YouTubeCrashCourse
10:02
Find in video from 01:02Types of Components
Introduction To Computer System | Beginners Complete Introduction …
1.1M viewsAug 29, 2021
YouTubeLearn Computer Science
3:15
Inside CSE's Theory of Computation Lab
2.9K viewsNov 12, 2024
YouTubeU-M Computer Science and Engineering
9:09
Find in video from 00:23Types of DFA Problems
Deterministic Finite Automata ( DFA ) with (Type 1: Strings ending with…
1.3M viewsJun 9, 2015
YouTubeThe BootStrappers
3:26
What is information theory? | Journey into information theory | …
311.2K viewsApr 28, 2014
YouTubeKhan Academy Labs
16:43
Find in video from 02:15Graph Theory in Mathematics
Data structures: Introduction to graphs
1M viewsSep 2, 2014
YouTubemycodeschool
8:05
Turing Machine - Introduction (Part 1)
1.4M viewsSep 3, 2017
YouTubeNeso Academy
20:12
1. Graph Introduction and Course Overview | Graph
81.2K viewsAug 29, 2024
YouTubeAditya Verma
5:41
Quantum Computers Explained: How Quantum Computing Works
720.6K viewsSep 23, 2024
YouTubeScience ABC
51:52
Find in video from 00:15Introduction to Theory of Computation
Mod-01 Lec-01 What is theory of computation?
299.9K viewsJun 27, 2014
YouTubenptelhrd
31:32
Find in video from 01:40Theoretical Computer Science Overview
What is Theoretical Computer Science?
59.5K viewsJan 26, 2022
YouTubeEasy Theory
47:01
Theoretical Computer Science. Chapter 0. Introduction.
30.4K viewsFeb 9, 2021
YouTubeNoson S. Yanofsky
24:31
Automata Theory - Languages
20.5K viewsFeb 1, 2021
YouTubeTheoretical Computer Science
17:46
Find in video from 00:51Was sind Typen?
Propositions as Types - Computerphile
103.5K viewsSep 27, 2017
YouTubeComputerphile
23:40
The Hardest Problem in Type Theory - Computerphile
137.7K viewsJul 30, 2021
YouTubeComputerphile
See more videos
Static thumbnail place holder