MIT » Engenharia Elétrica e Ciência da Computação » Autômatas, Computabilidade e Complexidade, Primavera 2002
| |
|
|
|
| |
Nível:
Pré-Graduação |
|
| |
|
|
| |
Instrutor(es)
Prof. Ronald Rivest |
|
| |
|
|
| |
Revisado
por:
Anna Beatriz de Castro Santos
Tradução
Quality Plus Translation Ltda
|
|
| |
Duração:
Palestras
Duas sessões semanais de 1 hora e meia cada
Conferências
Uma sessão semanal de 1 hora
|
|
| |
|
6.045J Autômatas, Computabilidade e Complexidade, Primavera 2002
Untitled Document
Destaques
deste Curso
O
6.045J é um curso de aprofundamento da "Teoria da Ciência da Computação".
Este curso apresenta praticamente todo o seu material on-line, incluindo um
conjunto completo de atribuições
de tarefas e provas.
Descrição
do Curso
Este
curso apresenta os modelos matemáticos básicos da computação e a representação
finita dos objetos infinitos. Os tópicos abordados incluem: autômatos finitos
e linguagens regulares, linguagens livres de contexto, máquinas de Turing, funções
recursivas parciais, Tese de Church, indecidibilidade, capacidade de redução
e completabilidade, complexidade do tempo e NP-complete, computação probabilística
e sistemas de prova interativa.
| 
