Computer Science ∩ Mathematics (Type Theory) - Computerphile
15:56
Find in video from 02:08Type Theory and Constructive Mathematics
Computer Science ∩ Mathematics (Type Theory) - Computerphile
275.8K viewsJan 11, 2017
YouTubeComputerphile
Type Theory in Computer Science, Linguistics, Logic
40:14
Type Theory in Computer Science, Linguistics, Logic
41K views9 months ago
YouTubeAttic Philosophy
Foundations 6: Simple Type Theory
2:14:49
Foundations 6: Simple Type Theory
8.6K viewsJan 26, 2021
YouTubeRichard Southwell
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
21.1K viewsAug 1, 2018
YouTubeOPLSS
Homotopy Type Theory Discussed - Computerphile
13:31
Find in video from 00:23the theoretical foundations on which computer science is based,
Homotopy Type Theory Discussed - Computerphile
72.1K viewsOct 13, 2017
YouTubeComputerphile
The Hardest Problem in Type Theory - Computerphile
23:40
The Hardest Problem in Type Theory - Computerphile
137.7K viewsJul 30, 2021
YouTubeComputerphile
Foundations 7: Dependent Type Theory
2:37:00
Foundations 7: Dependent Type Theory
9.5K viewsFeb 8, 2021
YouTubeRichard Southwell
11:38:43
Theory of Computation and Automata Theory ( Full Course )
53.3K viewsFeb 27, 2022
YouTubeNerd's lesson
10:58
Map of Computer Science
6.7M viewsSep 6, 2017
YouTubeDomain of Science
11:35
Find in video from 01:00Overview of Computer Science
Introduction to Theory of Computation
4M viewsDec 15, 2016
YouTubeNeso Academy
16:49
COMPUTER SCIENCE explained in 17 Minutes
3.4M 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:02
Introduction To Computer System | Beginners Complete Introduction …
1.1M viewsAug 29, 2021
YouTubeLearn Computer Science
11:44
Intro to Algorithms: Crash Course Computer Science #13
1.9M viewsMay 24, 2017
YouTubeCrashCourse
3:26
Why study theory of computation?
164.9K viewsApr 22, 2020
YouTubelydia
20:52
Find in video from 12:55Automata and Its Types
Introduction to Automata Theory & Formal Languages | Theory of Co…
14.2K viewsApr 19, 2023
YouTubeTopGATE
1:06:29
Find in video from 01:03What is Theoretical Computer Science?
CMU CS251 - What is theoretical computer science?
16.7K viewsFeb 1, 2022
YouTubeAnil Ada
3:15
Inside CSE's Theory of Computation Lab
3K viewsNov 12, 2024
YouTubeU-M Computer Science and Engineering
5:08
Theory of Computation: A Beginner's Guide to Automata, Co…
671 views9 months ago
YouTubeCodeLucky
8:05
Turing Machine - Introduction (Part 1)
1.4M viewsSep 3, 2017
YouTubeNeso Academy
7:24
Concept of Finite Automata (FA) |definition| types of FA | Theory of …
12.8K viewsJan 1, 2024
YouTubeCSE ACADEMY
31:32
Find in video from 01:40Theoretical Computer Science Overview
What is Theoretical Computer Science?
60.3K viewsJan 26, 2022
YouTubeEasy Theory
14:36
Computer Science Fields Explained: The Tech That Powers Our World
4.4K viewsMar 1, 2025
YouTubeWhiteboardDoodles
5:41
Quantum Computers Explained: How Quantum Computing Works
737.8K viewsSep 23, 2024
YouTubeScience ABC
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
11:14
What is Computer Science?
1.7M viewsFeb 28, 2017
YouTubeZach Star
22:34
ICT IGCSE Chapter 1 - Types and components of computer system…
83.2K viewsFeb 13, 2024
YouTubeYAHMAD
50:15
Theory of Computation 01 | Introduction to TOC | Computer S…
29.5K views5 months ago
YouTubeUnacademy GATE CSIT & DA
47:01
Theoretical Computer Science. Chapter 0. Introduction.
30.9K viewsFeb 9, 2021
YouTubeNoson S. Yanofsky
2:05:19
Theoretical Computer Science from the Category Theory Perspective
562 views9 months ago
YouTubeNoson S. Yanofsky
See more videos
Static thumbnail place holder