SCC-5832(JoaoLuis)
De CoteiaWiki
SCC-5832 - Teoria da Computação - prof. João Luís
Objetivos: Apresentar ao aluno conceitos fundamentais das disciplinas de teoria da computação, linguagens formais e lógica. Capacitar o aluno a compreender e utilizar estes conceitos.
Justificativa: O estudo destes aspectos fundamentais da ciência da computação deve auxiliar na formação da base teórica necessária às demais disciplinas do curso.
- 05/07/2012: Notas dos Trabalhos e Nota Final Disponíveis. O trabalho opcional 4 foi usado para alteração de nível, quando possível (até 0,5 ponto).
- 28/06/2012: Notas da P2 disponíveis.
- 19/06/2012: Aula extra: dia 25/06 (segunda-feira), das 15 às 18h00 na sala 2-3001 (terceiro piso da biblioteca).
- 19/06/2012: Notas da Sub-P1 alteradas. Questão 1 anulada.
- 12/06/2012: Nova versão da especificação do Trabalho 3 disponível.
- 11/06/2012: Notas da Sub-P1 disponíveis.
- 29/05/2012: Descrição do Trabalho 3 disponível.
- 24/05/2012: *** URGENTE URGENTÍSSIMO *** Caso haja, nessa turma, alguém interessado em ser PAE da disciplina Teoria da Computação e Linguagens Formais do Bach. Ciência da Computação do próximo semestre, favor entrar em contato com o Prof. João Luís o mais rápido possível!
- 23/05/2012: *** ATENÇÃO *** Boca aberto! Login e senha para o Trabalho 2 no Boca será, de novo, número USP e número USP.
- 23/05/2012: *** ATENÇÃO *** CORREÇÃO: A documentação do Trabalho 2 deverá ser entregue na primeira aula após o final do prazo de submissão do trabalho, ou seja, no dia 29/05/2012 e não no dia 05/06, como consta da especificação do trabalho.
- 23/05/2012: A cadeia vazia (lambda) possivelmente encontrada em transições, representará apenas o final da cadeia. Ou seja, lambda não ocorrerá no meio da cadeia (veja exemplo, linha 17. 1 - Z 1 -. Nesse caso, o primeiro '-' representa o elemento após o final da cadeia).
- 16/05/2012: Notas da P1 disponíveis.
- 08/05/2012: Descrição do Trabalho 2 disponível.
- 08/05/2012: Slides dos capítulos 3, 4 e 5 disponíveis e listas de exercícios 3, 4 e 5 disponíveis.
- 26/04/2012: O Boca está funcionando agora (10h00).
- 24/04/2012: *** ATENÇÃO*** Login e senha para o Trabalho 1 no Boca será número USP e número USP. O sistema deverá abrir às 0h00 de quinta-feira, com possibilidade de abertura já na quarta à noite.
- 26/03/2012: Slides do capítulo 2 e Lista de Exercícios 2 disponível.
- 20/03/2012: Lista de Exercícios 1 disponível.
- 19/03/2012: Descrição do Trabalho 1 disponível.
- 13/03/2012: Link para os slides do cap. 1 disponível.
- 13/03/2012: Início do período letivo.
- 10/03/2011: Slides do capítulos 0 disponíveis.
Índice
Informações Gerais
Título: Teoria da Computação (SCC-5832)
Professor: João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
Horário de Aulas: Terças-feiras, 9h00 - 12h00. Sala 3-012
- Horário Atendimento
- Professor: Quintas, das 16 às 19h00. Local: Bloco 4, sala 4-127.
Programa do Curso
Material Didático
Capítulo 1 - Linguagens Regulares e Autômatos Finitos: http://dl.dropbox.com/u/2246874/SCC5832Cap1.pdf
- Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha
- Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente
- Capítulo 4 - Linguagens Recursivamente Enumeráveis e Máquinas de Turing
- Capítulo 5 - Computabilidade e Complexidade
Listas de Exercícios
- Lista de Exercícios do Capítulo 1
- Lista de Exercícios do Capítulo 2
- Lista de Exercícios do Capítulo 3
- Lista de Exercícios do Capítulo 4
- Lista de Exercícios do Capítulo 5
Datas Importantes
Provas e Trabalhos
- 08/05/2012 - Prova 1
- 05/06/2012 - Subst. Prova 1
- 26/06/2012 - Prova 2
- Submissão do Trabalho T1: 27/4.
- Submissão do Trabalho T2: 25/5.
- Submissão do Trabalho T3: 29/6.
- Apresentação do Trabalho T4: 29/6.
