Mudanças entre as edições de "SCC-505-2012(erickrf)"
De CoteiaWiki
m (moveu SCC-505(2012) para SCC-505-2012(erickrf): Nom de usuário entre parênteses.) |
|||
| Linha 13: | Linha 13: | ||
'''Sala''': 5-003 | '''Sala''': 5-003 | ||
| + | |||
| + | == Material == | ||
| + | |||
| + | * [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]] | ||
Edição das 23h31min de 27 de fevereiro de 2012
Introdução à Teoria da Computação
Objetivos
Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.
Informações Gerais
Professor: João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
Aluno PAE: Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
Horário das Aulas: Quartas-feiras, 21h às 22h40.
Sala: 5-003
