SCC-505(joaoluis)
De CoteiaWiki
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
- 24/03/2010: Lista de Exercicios capitulo 2 disponivel
- 24/03/2010: Descrição Trabalho 1 disponível
- 25/03/2010: ***ATENÇÃO*** Não haverá aulas hoje!
- 07/04/2010: Agora temos monitor! Veja o nome, e-mail e horário de atendimento abaixo.
- 09/04/2010: Capítulo 2 - versão 2 - disponível. Estude por esta versão!
- 13/04/2010: ***ATENÇÃO*** O horário de atendimento do Prof. João Luís amanhã (dia 14/4), excepcionalmente será das 14h00 às 16h00 e das 18h00 às 19h00.
Índice
[ocultar]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)
Monitor: Wilker Aziz (will dot aziz at gmail dot com)
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. Local: sala 3-153.
- Horário Atendimento do Monitor
- Terças e Quintas, das 17h30 às 19h00. Local: sala 3-010 ou 3-011.
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
- Capítulo 2 - Versão 2
Trabalhos Práticos
Listas de Exercícios
Datas Importantes
Notas
Links Importantes
Ementa do Curso [1]
