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
41K 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
Foundations 7: Dependent Type Theory
2:37:00
Foundations 7: Dependent Type Theory
9.5K viewsFeb 8, 2021
YouTubeRichard Southwell
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
Foundations 6: Simple Type Theory
2:14:49
Foundations 6: Simple Type Theory
8.6K viewsJan 26, 2021
YouTubeRichard Southwell
ICT IGCSE 0417 Paper 1 Theory: Types and components of a computer system (Part 2)
52:42
Find in video from 02:55Types of Computer Memory
ICT IGCSE 0417 Paper 1 Theory: Types and components of a compute…
19.6K viewsApr 13, 2021
YouTubeedubbey
11:38:43
Theory of Computation and Automata Theory ( Full Course )
53.3K viewsFeb 27, 2022
YouTubeNerd's lesson
10:02
Introduction To Computer System | Beginners Complete Introduction To …
1.1M viewsAug 29, 2021
YouTubeLearn Computer Science
13:04
Alan Turing: Crash Course Computer Science #15
901.8K viewsJun 7, 2017
YouTubeCrashCourse
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
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
47:01
Theoretical Computer Science. Chapter 0. Introduction.
30.9K viewsFeb 9, 2021
YouTubeNoson S. Yanofsky
20:52
Find in video from 12:55Automata and Its Types
Introduction to Automata Theory & Formal Languages | Theory of Comp…
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
5:08
Theory of Computation: A Beginner's Guide to Automata, Computability, & …
671 views9 months ago
YouTubeCodeLucky
2:05:19
Theoretical Computer Science from the Category Theory Perspective
562 views9 months ago
YouTubeNoson S. Yanofsky
10:58
Map of Computer Science
6.7M viewsSep 6, 2017
YouTubeDomain of Science
16:49
COMPUTER SCIENCE explained in 17 Minutes
3.4M viewsMay 19, 2024
YouTubeWacky Science
7:24
Concept of Finite Automata (FA) |definition| types of FA | Theory of Co…
12.8K viewsJan 1, 2024
YouTubeCSE ACADEMY
31:32
Find in video from 01:40Theoretical Computer Science Overview
What is Theoretical Computer Science?
59.9K 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
11:35
Find in video from 01:00Overview of Computer Science
Introduction to Theory of Computation
4M viewsDec 15, 2016
YouTubeNeso Academy
11:14
What is Computer Science?
1.7M viewsFeb 28, 2017
YouTubeZach Star
8:05
Turing Machine - Introduction (Part 1)
1.4M viewsSep 3, 2017
YouTubeNeso Academy
50:15
Theory of Computation 01 | Introduction to TOC | Computer Scien…
29.5K views5 months ago
YouTubeUnacademy GATE CSIT & DA
2:16:58
Theory of Computation 02 | Basics of TOC Part 01 | Computer Science & I…
18.9K views4 months ago
YouTubeUnacademy GATE CSIT & DA
3:15
Inside CSE's Theory of Computation Lab
2.9K viewsNov 12, 2024
YouTubeU-M Computer Science and Engineering
See more videos
Static thumbnail place holder