computer science ∩ mathematics (type theory) - computerphile
Published 7 years ago • 263K plays • Length 15:56Download video MP4
Download video MP3
Similar videos
-
23:40
the hardest problem in type theory - computerphile
-
12:33
why information theory is important - computerphile
-
17:46
propositions as types - computerphile
-
5:53
homotopy type theory: vladimir voevodsky - computerphile
-
13:31
homotopy type theory discussed - computerphile
-
18:02
automated mathematical proofs - computerphile
-
14:48
uses of information theory - computerphile
-
19:38
how cpus do math(s) - computerphile
-
5:09
computers suck at division (a painful discovery)
-
21:48
programming with math | the lambda calculus
-
8:40
secret key exchange (diffie-hellman) - computerphile
-
15:46
mechanising (graphical) mathematical proofs - computerphile
-
0:24
how important is math as a developer?
-
28:58
computer science and homotopy theory - vladimir voevodsky
-
12:40
lambda calculus - computerphile
-
9:32
10 math concepts for programmers
-
6:57
chomsky hierarchy - computerphile
-
0:28
learn computer science with this book
-
1:12:49
prof. alex simpson - the intertwined foundations of mathematics and computer science
-
9:27
automata & python - computerphile
-
10:40
barber & russell paradoxes (history of undecidability part 2) - computerphile
-
17:19
regular expressions - computerphile