Ciência da Computação ∩ Matemática (Teoria dos Tipos) - Computerphile
Vídeos relacionados
40:14
Type Theory in Computer Science, Linguistics, Logic
23:40
The Hardest Problem in Type Theory - Computerphile
14:37
The "Trick" that Compilers Use for Long Division - Computerphile
17:46
Propositions as Types - Computerphile
18:02
Automated Mathematical Proofs - Computerphile
53:44
Building the PERFECT Linux PC with Linus Torvalds
33:01
The Most Controversial Idea In Math
12:16
🇩🇪 German industry JUST died (it’s WORSE than you think)
14:55
The Most Difficult Program to Compute? - Computerphile
41:15
The Story of Information Theory: from Morse to Shannon to ENTROPY
15:02
Computing Limit - Computerphile
26:20