Curso de Teoria da Computação - Máquina de Turing
20:15
Curso de Teoria da Computação - Formas Normais
22:16
Máquinas de Turing I
19:41
Curso de Teoria da Computação - Algoritmo CYK
24:33
Máquinas de Turing
47:24
Sir Roger Penrose - The palatial twistor approach to Einstein lambda vacuums
17:41
Complexidade de Algoritmos em 3 simples passos utilizando a Notação Big O.
18:27
Richard Feynman: Can Machines Think?
31:18