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
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
20.4K viewsAug 1, 2018
YouTubeOPLSS
Type Theory in Computer Science, Linguistics, Logic
40:14
Type Theory in Computer Science, Linguistics, Logic
32.8K views5 months ago
YouTubeAttic Philosophy
Foundations 6: Simple Type Theory
2:14:49
Foundations 6: Simple Type Theory
7.9K viewsJan 26, 2021
YouTubeRichard Southwell
The Hardest Problem in Type Theory - Computerphile
23:40
The Hardest Problem in Type Theory - Computerphile
132.7K viewsJul 30, 2021
YouTubeComputerphile
Foundations 8: Formal Type Theory and Homotopy Type Theory and Idris
2:27:51
Foundations 8: Formal Type Theory and Homotopy Type Theory and Id…
5.4K viewsFeb 22, 2021
YouTubeRichard Southwell
100+ Computer Science Concepts Explained
13:08
Find in video from 00:01Introduction to Computer Science
100+ Computer Science Concepts Explained
3.1M viewsMay 4, 2022
YouTubeFireship
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
Find in video from 00:01Introduction to Theory of Computation
Why study theory of computation?
154.5K viewsApr 22, 2020
YouTubelydia
10:58
Find in video from 00:01Introduction to Computer Science
Map of Computer Science
6.6M viewsSep 6, 2017
YouTubeDomain of 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
13:04
Find in video from 00:02Introduction to Crash Course Computer Science
Alan Turing: Crash Course Computer Science #15
890.9K viewsJun 7, 2017
YouTubeCrashCourse
11:44
Intro to Algorithms: Crash Course Computer Science #13
1.9M viewsMay 24, 2017
YouTubeCrashCourse
13:57
Introduction to Theory of Computation || GATECSE || TOC
443.9K viewsMar 19, 2020
YouTubeTHE GATEHUB
22:34
Find in video from 00:01Introduction to Computer Systems
ICT IGCSE Chapter 1 - Types and components of computer system…
71.6K viewsFeb 13, 2024
YouTubeYAHMAD
14:36
Computer Science Fields Explained: The Tech That Powers Our World
2.8K views9 months ago
YouTubeWhiteboardDoodles
3:15
Inside CSE's Theory of Computation Lab
2.5K viewsNov 12, 2024
YouTubeU-M Computer Science and Engineering
11:35
Find in video from 01:00Overview of Computer Science
Introduction to Theory of Computation
3.9M viewsDec 15, 2016
YouTubeNeso Academy
5:41
Find in video from 00:01What is a Quantum Computer?
Quantum Computers Explained: How Quantum Computing Works
645.2K viewsSep 23, 2024
YouTubeScience ABC
2:16:58
Theory of Computation 02 | Basics of TOC Part 01 | Computer Scienc…
11.6K views1 month ago
YouTubeUnacademy GATE CSIT & DA
6:40
Lecture 1_ Introduction to theory of automata
51.2K viewsMar 24, 2020
YouTubeA Z Computing
1:59:09
Find in video from 20:42Variables in Computer Science
Introduction to Programming and Computer Science - Full Course
10.4M viewsApr 21, 2020
YouTubefreeCodeCamp.org
10:02
Find in video from 00:01Introduction to Computer System
Introduction To Computer System | Beginners Complete Introduction …
1.1M viewsAug 29, 2021
YouTubeLearn Computer Science
26:13
Find in video from 00:01Introduction to Grammar Types
Chomsky Classification of Grammar || GATECSE || TOC
237.4K viewsApr 10, 2020
YouTubeTHE GATEHUB
29:24
Find in video from 00:04Introduction to Set Theory
Set Theory | All-in-One Video
1.6M viewsAug 3, 2021
YouTubeDr. Will Wood
30:00
Find in video from 06:16Types of Secondary Storage
OCR GCSE Computer Science Paper 1 in 30 mins
304.6K viewsSep 9, 2022
YouTubeMrBrownCS
1:04:40
Theory of Computation (TOC) | Basics of TOC | Lec 1 | GATE Com…
114.9K viewsJul 20, 2020
YouTubeUnacademy Computer Science
1:06:29
Find in video from 01:03What is Theoretical Computer Science?
CMU CS251 - What is theoretical computer science?
14K viewsFeb 1, 2022
YouTubeAnil Ada
3:59
Find in video from 00:31Analog Computer
classifications of computer by Type
23.6K viewsDec 28, 2022
YouTubeTECHEDUFY HQ
1:17:27
Discrete Mathematics 09 | Types Of Relations | CS & IT | GATE 2026 Cr…
925 views3 weeks ago
YouTubeGATE Wallah - EE, EC, CS & IN
See more videos
Static thumbnail place holder