Mudanças entre as edições de "SCC-5832(JoaoLuis)"
De CoteiaWiki
(23 revisões intermediárias pelo mesmo usuário não estão sendo mostradas) | |||
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;"> | ||
+ | *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. | *13/03/2012: Início do período letivo. | ||
*10/03/2011: Slides do capítulos 0 disponíveis. | *10/03/2011: Slides do capítulos 0 disponíveis. | ||
Linha 35: | Linha 55: | ||
== Material Didático == | == Material Didático == | ||
+ | |||
+ | Capítulo 1 - Linguagens Regulares e Autômatos Finitos: http://dl.dropbox.com/u/2246874/SCC5832Cap1.pdf | ||
+ | *[[Media:SCC5832Cap2.pdf|Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]] | ||
+ | *[[Media:SCC5832Cap3_2012.pdf|Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]] | ||
+ | *[[Media:SCC5832Cap4_2012.pdf|Capítulo 4 - Linguagens Recursivamente Enumeráveis e Máquinas de Turing]] | ||
+ | *[[Media:SCC5832Cap5_2012.pdf|Capítulo 5 - Computabilidade e Complexidade]] | ||
== Listas de Exercícios == | == Listas de Exercícios == | ||
+ | |||
+ | *[[Media:Lista1-SCC5832.pdf|Lista de Exercícios do Capítulo 1]] | ||
+ | *[[Media:Lista2-SCC5832.pdf|Lista de Exercícios do Capítulo 2]] | ||
+ | *[[Media:Lista3-SCC5832_2012.pdf|Lista de Exercícios do Capítulo 3]] | ||
+ | *[[Media:Lista4-SCC5832_2012.pdf|Lista de Exercícios do Capítulo 4]] | ||
+ | *[[Media:Lista5-SCC5832_2012.pdf|Lista de Exercícios do Capítulo 5]] | ||
== Datas Importantes == | == Datas Importantes == | ||
− | === Provas e | + | |
+ | === Provas e Trabalhos === | ||
*08/05/2012 - Prova 1 | *08/05/2012 - Prova 1 | ||
+ | *05/06/2012 - Subst. Prova 1 | ||
*26/06/2012 - Prova 2 | *26/06/2012 - Prova 2 | ||
+ | |||
*Submissão do Trabalho T1: 27/4. | *Submissão do Trabalho T1: 27/4. | ||
*Submissão do Trabalho T2: 25/5. | *Submissão do Trabalho T2: 25/5. | ||
− | *Submissão do Trabalho T3: | + | *Submissão do Trabalho T3: 29/6. |
*Apresentação do Trabalho T4: 29/6. | *Apresentação do Trabalho T4: 29/6. | ||
=== Trabalhos === | === Trabalhos === | ||
+ | |||
+ | *[[Media:SCC5832T1_2012.pdf|Descrição do Trabalho 1]] | ||
+ | *[[Media:SCC5832T2_2012.pdf|Descrição do Trabalho 2]] | ||
+ | *[[Media:SCC5832T3_2012V2.pdf|Descrição do Trabalho 3 (versão 2)]] | ||
== Notas == | == Notas == | ||
+ | |||
+ | *[[Media:TeoCompP1.pdf|Notas da Prova 1]] | ||
+ | *[[Media:TeoComp_2012P1SV2.pdf|Notas *Alteradas* da Substitutiva da Prova 1]] | ||
+ | *[[Media:TeoComp_2012P2.pdf|Notas da Prova 2]] | ||
+ | *[[Media:TeoComp_2012MF.pdf|Notas dos Trabalhos e Médias Finais]] |
Edição atual tal como às 18h03min de 5 de julho 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.
- 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.