Mudanças entre as edições de "SCC-5832(JoaoLuis)"
De CoteiaWiki
| Linha 15: | Linha 15: | ||
<center><font size=+100>'''Quadro de Avisos'''</font></center> | <center><font size=+100>'''Quadro de Avisos'''</font></center> | ||
<blockquote style="background: white; border: 1px solid black; padding: 1em;"> | <blockquote style="background: white; border: 1px solid black; padding: 1em;"> | ||
| + | *16/05/2012: Notas da P1 disponíveis. | ||
*08/05/2012: Descrição do Trabalho 2 disponível. | *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. | *08/05/2012: Slides dos capítulos 3, 4 e 5 disponíveis e listas de exercícios 3, 4 e 5 disponíveis. | ||
| Linha 75: | Linha 76: | ||
== Notas == | == Notas == | ||
| + | |||
| + | *[[Media:TeoCompP1.pdf|Notas da Prova 1]] | ||
Edição das 19h37min de 16 de maio de 2012
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.
- 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
- 26/06/2012 - Prova 2
- Submissão do Trabalho T1: 27/4.
- Submissão do Trabalho T2: 25/5.
- Submissão do Trabalho T3: 22/6.
- Apresentação do Trabalho T4: 29/6.
