Mudanças entre as edições de "SCC-505(joaoluis)"
De CoteiaWiki
(Criou página com '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: Inefic…') |
|||
| Linha 17: | Linha 17: | ||
== Programa do Curso == | == Programa do Curso == | ||
| − | [[Media: | + | [[Media:SCC0505Cap0.pdf|Programa do Curso (apresentação)]] |
== Material Didático == | == Material Didático == | ||
| − | *[[Media: | + | *[[Media:SCC0505Cap1.pdf| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]] |
| − | *[[Media: | + | *[[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]] |
== Trabalhos Práticos == | == Trabalhos Práticos == | ||
Edição das 18h32min de 24 de fevereiro de 2010
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.
- 22/02/2010: Inicio do período letivo
Índice
Informações Gerais
Título: Introdução à Teoria da Computação (SCC-505)
Professor: João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
Horário de Aulas: 5as. feiras, das 21 às 22h40.
- Horário Atendimento do Professor
- Quartas, das 10 às 12h00 e das 18 às 19h00.
Programa do Curso
Programa do Curso (apresentação)
Material Didático
- Capítulo 1 - Linguagens Regulares e Autômatos Finitos
- Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha
Trabalhos Práticos
Listas de Exercícios
Datas Importantes
Notas
Links Importantes
Ementa do Curso [1]
