Material de apoio

Material de apoio

Material conjuntos contáveis e conjuntos incontáveis:

Material Auxiliar 1

Material Auxiliar 2

Vídeos com Jeffrey Ullman (Universidade de Stanford) sobre assuntos do curso:

DFAs (vídeo aula no coursera) (útil nas aulas 1 e 2)

NFAs (vídeo aula no coursera) (útil na aula 2)

Expressões Regulares (vídeo aula no coursera) (útil na aula 3)

Lema do bombeamento (vídeo aula no coursera) (útil na aula 4)

Gramáticas 1 (vídeo aula no coursera) (útil na aula 4)

Gramáticas 2 (vídeo aula no coursera) (útil na aula 4)

PDAs (vídeo aula no coursera) (útil na aula 4)

PDAs e Gramáticas (vídeo aula no coursera) (útil na aula 4)

Máquinas de Turing 1 (vídeo aula no coursera) (útil na aula 5)

Máquinas de Turing 2 (vídeo aula no coursera) (útil na aula 5)

Máquinas de Turing 3 (vídeo aula no coursera) (útil na aula 6)

Complexidade Computacional 1 (vídeo aula no coursera) (útil na aula 8)

Complexidade Computacional 2 (vídeo aula no coursera) (útil na aula 8)

Complexidade Computacional 3 (vídeo aula no coursera) (útil na aula 9)

Curso de Teoria da Computação com Scott Aaronson (atualmente na University of Texas) -- Curso ministrado no MIT):

Página no MIT Opencourseware (útil em todo curso)