Mudanças entre as edições de "Scc-205(joaoluis)"

De CoteiaWiki
(→‎Material Didático)
 
(128 revisões intermediárias por 3 usuários não estão sendo mostradas)
Linha 11: Linha 11:
 
<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;">
−
*02/08/2010: Inicio do período letivo.
+
*12/12/2012: ***ATENÇÃO*** A prova de recuperação (REC) será no dia 19/12 (quarta-feira) às 10h00 na sala 4-001.
 +
*03/12/2012: Notas T2, T3, P3 e MF disponíveis. Vista de Provas P3 e T3: APENAS dia 06/12, no horário da aula (10h10). Foi atribuída nota zero ao T3 nos casos onde foi detectado trechos copiados de sites.
 +
*26/11/2012: ***ATENÇÃO*** A prova P3 da próxima quinta-feira, dia 29, às 10h10 será na sala 5-003.
 +
*21/11/2012: ATENÇÃO! O Sistema BOCA será aberto para submissão dos trabalhos a partir da 0:00h do dia 22/11/2012 e ficará disponível por 48 horas.
 +
*05/11/2012: Notas da Prova 2 disponíveis. Vista de Prova: até dia 14/11.
 +
*30/10/2012: ATENÇÃO! Excepcionalmente, o atendimento PAE dos dias 31/10 e 07/11 será adiado para os dias 01/11 e 8/11, respectivamente, no horário de 16h às 19hr.
 +
*18/10/2012: Disponíveis slides do Capítulo 5 + Lista de exercícios.
 +
*09/10/2012: Especificações do Trabalho 2 disponíveis.
 +
*08/10/2012: Notas do Trabalho 1 disponíveis.
 +
*27/09/2012: ATENÇÂO! A data de entrega do relatório sobre o Trabalho 1 é dia 02/10/12. Será atribuída nota ZERO a quem não entregar o relatório no dia 02/10/12, independente dos casos de teste que acertou.
 +
*26/09/2012: ATENÇÃO! O Sistema BOCA será aberto para submissão dos trabalhos a partir da 0:00h do dia 27/09/2012 e ficará disponível por 48 horas.
 +
*14/09/2012: Criados login(Nº USP) e senha(Nº USP) dos alunos para acesso ao Sistema BOCA.
 +
*10/09/2012: Slides e Listas de Exercícios dos capítulos 3 e 4 disponíveis.
 +
*10/09/2012: Notas da Prova 1 disponíveis. Vista de Prova: até dia 21/9.
 +
*21/08/2012: ATENÇÃO! Excepcionalmente, não haverá atendimento PAE entre os dias 27/08/2012 e 10/09/2012.
 +
*14/08/2012: Disponíveis slides do Capítulo 2 + Lista de exercícios.
 +
*08/08/2012: Especificações do Trabalho 1 disponíveis.
 +
*31/07/2012: Disponível Lista de Exercícios do Capítulo 1.
 +
*31/07/2012: Inicio do período letivo.
 
</blockquote>
 
</blockquote>
  
Linha 17: Linha 35:
 
'''Título''': Teoria da Computação e Linguagens Formais (SCC-205) - Turma A - Ciências de Computação
 
'''Título''': Teoria da Computação e Linguagens Formais (SCC-205) - Turma A - Ciências de Computação
  
−
'''Professor''': Dr. João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
+
'''Professor''': Dr. João Luis Garcia Rosa (joaoluis@icmc.usp.br)
  
−
'''Aluno PAE''': Fernando Alva Manchego (falva at icmc dot usp dot br)
+
'''Aluno PAE''': Cristiano Bacelar de Oliveira (cbacelar@icmc.usp.br)
  
−
'''Horário de Aulas''': Ter. e Qui. 10:10 - 11:50. Sala 5-004
+
'''Monitor''': Gabriel (gabriel.zerbetto@gmail.com)
  
−
; Horário Atendimento :  
+
'''Horário de Aulas''': Terça (08:10 - 9:50) e Quinta (10:10 - 11:50). Sala 5-004.
−
: Professor: Terças, das 14 às 17h00. Local: Bloco 3, sala 3-153.
+
 
−
: Aluno PAE: Quartas, das 16 às 19h00. Local: Laboratório de ICMC Bloco 1, sala 1-114.
+
'''Horários de atendimento''':  
 +
 
 +
* Professor:
 +
  Quinta, das 15h00 às 18h00. Local: Bloco 4, sala 4-127.
 +
* Aluno PAE:
 +
  Quarta, das 14 às 17h00. Local: ICMC - Bloco 6, sala 6-205.
 +
* Monitor:
 +
  Segunda, das 20h00 às 23h00. Local: Sala  3-011.
  
 
== Programa do Curso ==
 
== Programa do Curso ==
  
−
[[Media:SCC205Cap0.pdf|Programa do Curso (apresentação)]]
+
[[Media:SCC205Cap0_2012.pdf|Programa do Curso (apresentação)]]
  
 
== Material Didático ==
 
== Material Didático ==
  
 +
<!--
 +
*[[Media:SCC205Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
 
*[[Media:SCC205Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
 
*[[Media:SCC205Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]]
 
*[[Media:SCC205Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
 
*[[Media:SCC205Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
 +
*[[Media:SCC205Cap3.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
 +
*[[Media:SCC205Cap4.pdf| Capítulo 4 - Linguagens Recursivamente Enumeráveis e Máquinas de Turing]]
 +
*[[Media:SCC205Cap5.pdf| Capítulo 5 - Computabilidade e Complexidade]]
 +
-->
 +
* O material do Capítulo 1 está disponível através do Dropbox.
 +
Link: https://www.dropbox.com/sh/rtszzifu0j735qz/ALFB-ZCE0G/SCC-205
 +
 +
*[[Media:SCC205Cap2_2012.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]]
 +
*[[Media:SCC205Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]]
 +
*[[Media:SCC205Cap4_2012.pdf| Capítulo 4 - Linguagens Recursivamente Enumeráveis e Máquinas de Turing]]
 +
*[[Media:SCC205Cap5_2012.pdf| Capítulo 5 - Computabilidade e Complexidade]]
  
 
== Trabalhos Práticos ==
 
== Trabalhos Práticos ==
−
*Os grupos para os trabalhos serão compostos de no máximo três pessoas.
+
=== Trabalho 1 ===
−
*A especificação do Trabalho 1 será colocada em breve nesta página.
+
* [[Media:T1SCC205_2012.pdf|Especificações do Trabalho 1]]
 +
* Orientações Gerais:
 +
Os grupos para os trabalhos devem ser compostos preferencialmente por três alunos.
 +
Todos os trabalhos deverão ser submetidos ao corretor automático BOCA.
 +
Período de submissão: 27 e 28 de Setembro de 2012.
 +
A entrega do relatório é OBRIGATÓRIA e deverá ser feita na aula do dia 02/10/12.
 +
Será atribuída nota ZERO a quem não entregar o relatório no dia 02/10/12, independente dos casos de teste que acertou.
 +
O relatório deve ser feito de acordo com os critérios estabelecidos na especificação do trabalho.
 +
 
 +
=== Trabalho 2 ===
 +
* [[Media:T2SCC205_2012.pdf|Especificações do Trabalho 2]]
 +
* Orientações Gerais:
 +
Os grupos para os trabalhos devem ser compostos preferencialmente por três alunos.
 +
Todos os trabalhos deverão ser submetidos ao corretor automático BOCA.
 +
Período de submissão: 22 e 23 de Novembro de 2012.
 +
A entrega do relatório é OBRIGATÓRIA e deverá ser feita na aula do dia 27/11/12.
 +
Será atribuída nota ZERO a quem não entregar o relatório no dia 27/11/12, independente dos casos de teste que acertou.
 +
O relatório deve ser feito de acordo com os critérios estabelecidos na especificação do trabalho.
 +
 
 +
=== Trabalho 3 ===
 +
 
 +
*Trabalho sobre Alan Turing.
 +
*Orientações Gerais
 +
 
 +
Trabalho individual.
 +
A entrega do trabalho é OPCIONAL e deverá ser feita na aula do dia 29/11/12.
 +
O trabalho não será aceito caso seja identificado copy & paste de páginas da internet ou plágio de qualquer natureza.
 +
O número de páginas é livre, mas orienta-se algo em torno de 5 a 10 páginas, preferencialmente.
 +
Procure utilizar fontes confiáveis, como livros e artigos sobre a História da Computação, realizando as devidas citações.
 +
Sugestão de site para pesquisa: history.acm.org
 +
 
 +
Estrutura sugerida:
 +
  -Introdução
 +
  -Biografia de Alan Turing
 +
  -Contribuições para a Ciência da Computação
 +
  -Centenário de Alan Turing
 +
  -Conclusão
 +
  -Referências
 +
 
 +
<!--
 +
* Os grupos para os trabalhos serão compostos de no máximo três pessoas.
 +
*[[Media:SCC205-T1.pdf|Trabalho em Grupo 1]]
 +
*[[Media:SCC205-T2.pdf|Trabalho em Grupo 2]]
 +
-->
 +
 
 +
=== Sistema BOCA ===
 +
* [http://caravelas.icmc.usp.br/boca/index.php Sistema BOCA - SCC205]
 +
 
 +
<!--
 +
* [http://blacklabel.intermidia.icmc.usp.br/boca/scc0205 Sistema BOCA - SCC205]
 +
* [[Media:SCC205-Usuarios.pdf|Lista de Usuários]]. Os alunos devem testar o usuário e senha respectivo e informar ao aluno PAE se existisse algum problema.
 +
-->
  
 
== Listas de Exercícios ==
 
== Listas de Exercícios ==
 +
 +
* [[Media:Lista1-SCC205_2012.pdf|Lista de Exercícios Capítulo 1]]
 +
* [[Media:Lista2-SCC205_2012.pdf|Lista de Exercícios Capítulo 2]]
 +
* [[Media:Lista3-SCC205_2012.pdf|Lista de Exercícios Capítulo 3]]
 +
* [[Media:Lista4-SCC205_2012.pdf|Lista de Exercícios Capítulo 4]]
 +
* [[Media:Lista5-SCC205_2012.pdf|Lista de Exercícios Capítulo 5]]
 +
 +
<!--
 +
* [[Media:Lista1-SCC205.pdf|Lista de Exercícios Capítulo 1]]
 +
* [[Media:Lista2-SCC205.pdf|Lista de Exercícios Capítulo 2]]
 +
* [[Media:Lista3-SCC205.pdf|Lista de Exercícios Capítulo 3]]
 +
* [[Media:Lista4-SCC205.pdf|Lista de Exercícios Capítulo 4]]
 +
* [[Media:Lista5-SCC205.pdf|Lista de Exercícios Capítulo 5]]
 +
-->
  
 
== Datas Importantes ==
 
== Datas Importantes ==
 
=== Provas ===
 
=== Provas ===
−
*02/09/2010 - Prova 1
+
* 3 provas:
−
*21/10/2010 - Prova 2
+
P1 = 30/08
−
*02/12/2010 - Prova 3
+
P2 = 18/10
 +
P3 = 29/11
 +
 
 +
* Prova de recuperação
 +
Data: 19/12
 +
Hora: 10h00
 +
Local: A definir.
  
 
=== Apresentação dos trabalhos em grupo ===
 
=== Apresentação dos trabalhos em grupo ===
−
*27/09/2010 a 01/10/2010 - Trabalho 1
+
* 2 trabalhos em grupo, com implementação:
−
*22/11/2010 a 26/11/2010 - Trabalho 2
+
Submissão do Trabalho T1 : 27/9.
 +
Submissão do Trabalho T2 : 22/11.
 +
 
 +
*Trabalho Extra (Alan Turing) - opcional T3 : 29/11
 +
Acréscimo de 0,5 na média.
  
 
== Notas ==
 
== Notas ==
−
*As fórmulas para o cálculo das notas estão especificadas no Programa da Disciplina.
+
* MP = Média Ponderada das Provas:
 +
  P1 ∗ 0, 4 + P2 ∗ 0, 3 + P3 ∗ 0, 3
 +
 
 +
* MT = Média Aritmética dos Trabalhos
 +
 
 +
* MF = Média Final:
 +
  Se MP ≥ 5, 0 e MT ≥ 5, 0 então MF = (7*MP + 3*MT)/10
 +
  Senão MF = menor valor entre MP e MT
 +
 
 +
* [[Media:SCC0205NotasP1.pdf|Notas da Prova 1]]
 +
* [[Media:SCC0205Notas-Trabalho_1.pdf|Notas do Trabalho 1]]
 +
* [[Media:SCC0205NotasP2.pdf|Notas da Prova 2]]
 +
* [[Media:SCC0205MF_2012.pdf|Notas P3, T3 e Médias Finais]]
  
 
== Links úteis ==
 
== Links úteis ==
 
*Ementa Sistema Júpiter [http://sistemas2.usp.br/jupiterweb/obterDisciplina?sgldis=SCC0205&nomdis=]
 
*Ementa Sistema Júpiter [http://sistemas2.usp.br/jupiterweb/obterDisciplina?sgldis=SCC0205&nomdis=]
 
*Ferrameta JFLAP [http://www.jflap.org/]
 
*Ferrameta JFLAP [http://www.jflap.org/]

Edição atual tal como às 11h10min de 12 de dezembro de 2012

  • SCC-205 - Teoria da Computação e Linguagens Formais - Turma A - prof. João Luís


Linguagens Regulares: Autômatos finitos determinísticos e não-determinísticos; expressões regulares; técnicas para identificar e descrever linguagens regulares; técnicas para mostrar que uma linguagem não é regular; propriedades de tais linguagens. 2. Linguagens Livres de Contexto: Gramáticas Livres de Contexto; derivações; árvores de derivação; ambigüidade; autômatos a pilha; propriedades de tais linguagens; técnicas para mostrar que uma linguagem não é livre de contexto. Linguagens Dependentes de Contexto e Linguagens com Estrutura de Frase: Máquinas de Turing; definições básicas e sua relação com a noção de um algoritmo/programa. Poder das Máquinas de Turing e Tese de Church-Turing. Indecibilidade: Máquinas de Turing Universais; Limitações sobre a nossa habilidade de computar; problemas indecidíveis. Teoria de Complexidade: Complexidade de Tempo, Complexidade de Espaço, Intratabilidade.

Quadro de Avisos
  • 12/12/2012: ***ATENÇÃO*** A prova de recuperação (REC) será no dia 19/12 (quarta-feira) às 10h00 na sala 4-001.
  • 03/12/2012: Notas T2, T3, P3 e MF disponíveis. Vista de Provas P3 e T3: APENAS dia 06/12, no horário da aula (10h10). Foi atribuída nota zero ao T3 nos casos onde foi detectado trechos copiados de sites.
  • 26/11/2012: ***ATENÇÃO*** A prova P3 da próxima quinta-feira, dia 29, às 10h10 será na sala 5-003.
  • 21/11/2012: ATENÇÃO! O Sistema BOCA será aberto para submissão dos trabalhos a partir da 0:00h do dia 22/11/2012 e ficará disponível por 48 horas.
  • 05/11/2012: Notas da Prova 2 disponíveis. Vista de Prova: até dia 14/11.
  • 30/10/2012: ATENÇÃO! Excepcionalmente, o atendimento PAE dos dias 31/10 e 07/11 será adiado para os dias 01/11 e 8/11, respectivamente, no horário de 16h às 19hr.
  • 18/10/2012: Disponíveis slides do Capítulo 5 + Lista de exercícios.
  • 09/10/2012: Especificações do Trabalho 2 disponíveis.
  • 08/10/2012: Notas do Trabalho 1 disponíveis.
  • 27/09/2012: ATENÇÂO! A data de entrega do relatório sobre o Trabalho 1 é dia 02/10/12. Será atribuída nota ZERO a quem não entregar o relatório no dia 02/10/12, independente dos casos de teste que acertou.
  • 26/09/2012: ATENÇÃO! O Sistema BOCA será aberto para submissão dos trabalhos a partir da 0:00h do dia 27/09/2012 e ficará disponível por 48 horas.
  • 14/09/2012: Criados login(Nº USP) e senha(Nº USP) dos alunos para acesso ao Sistema BOCA.
  • 10/09/2012: Slides e Listas de Exercícios dos capítulos 3 e 4 disponíveis.
  • 10/09/2012: Notas da Prova 1 disponíveis. Vista de Prova: até dia 21/9.
  • 21/08/2012: ATENÇÃO! Excepcionalmente, não haverá atendimento PAE entre os dias 27/08/2012 e 10/09/2012.
  • 14/08/2012: Disponíveis slides do Capítulo 2 + Lista de exercícios.
  • 08/08/2012: Especificações do Trabalho 1 disponíveis.
  • 31/07/2012: Disponível Lista de Exercícios do Capítulo 1.
  • 31/07/2012: Inicio do período letivo.

Informações Gerais

Título: Teoria da Computação e Linguagens Formais (SCC-205) - Turma A - Ciências de Computação

Professor: Dr. João Luis Garcia Rosa (joaoluis@icmc.usp.br)

Aluno PAE: Cristiano Bacelar de Oliveira (cbacelar@icmc.usp.br)

Monitor: Gabriel (gabriel.zerbetto@gmail.com)

Horário de Aulas: Terça (08:10 - 9:50) e Quinta (10:10 - 11:50). Sala 5-004.

Horários de atendimento:

  • Professor:
 Quinta, das 15h00 às 18h00. Local: Bloco 4, sala 4-127.
  • Aluno PAE:
 Quarta, das 14 às 17h00. Local: ICMC - Bloco 6, sala 6-205.
  • Monitor:
 Segunda, das 20h00 às 23h00. Local: Sala  3-011.

Programa do Curso

Programa do Curso (apresentação)

Material Didático

  • O material do Capítulo 1 está disponível através do Dropbox.

Link: https://www.dropbox.com/sh/rtszzifu0j735qz/ALFB-ZCE0G/SCC-205

Trabalhos Práticos

Trabalho 1

Os grupos para os trabalhos devem ser compostos preferencialmente por três alunos.
Todos os trabalhos deverão ser submetidos ao corretor automático BOCA.
Período de submissão: 27 e 28 de Setembro de 2012.
A entrega do relatório é OBRIGATÓRIA e deverá ser feita na aula do dia 02/10/12.
Será atribuída nota ZERO a quem não entregar o relatório no dia 02/10/12, independente dos casos de teste que acertou.
O relatório deve ser feito de acordo com os critérios estabelecidos na especificação do trabalho.

Trabalho 2

Os grupos para os trabalhos devem ser compostos preferencialmente por três alunos.
Todos os trabalhos deverão ser submetidos ao corretor automático BOCA.
Período de submissão: 22 e 23 de Novembro de 2012.
A entrega do relatório é OBRIGATÓRIA e deverá ser feita na aula do dia 27/11/12.
Será atribuída nota ZERO a quem não entregar o relatório no dia 27/11/12, independente dos casos de teste que acertou.
O relatório deve ser feito de acordo com os critérios estabelecidos na especificação do trabalho.

Trabalho 3

  • Trabalho sobre Alan Turing.
  • Orientações Gerais
Trabalho individual.
A entrega do trabalho é OPCIONAL e deverá ser feita na aula do dia 29/11/12.
O trabalho não será aceito caso seja identificado copy & paste de páginas da internet ou plágio de qualquer natureza.
O número de páginas é livre, mas orienta-se algo em torno de 5 a 10 páginas, preferencialmente.
Procure utilizar fontes confiáveis, como livros e artigos sobre a História da Computação, realizando as devidas citações.
Sugestão de site para pesquisa: history.acm.org

Estrutura sugerida:
 -Introdução
 -Biografia de Alan Turing
 -Contribuições para a Ciência da Computação
 -Centenário de Alan Turing
 -Conclusão
 -Referências


Sistema BOCA


Listas de Exercícios


Datas Importantes

Provas

  • 3 provas:
P1 = 30/08
P2 = 18/10
P3 = 29/11
  • Prova de recuperação
Data: 19/12
Hora: 10h00
Local: A definir.

Apresentação dos trabalhos em grupo

  • 2 trabalhos em grupo, com implementação:
Submissão do Trabalho T1 : 27/9.
Submissão do Trabalho T2 : 22/11.
  • Trabalho Extra (Alan Turing) - opcional T3 : 29/11
Acréscimo de 0,5 na média.

Notas

  • MP = Média Ponderada das Provas:
 P1 ∗ 0, 4 + P2 ∗ 0, 3 + P3 ∗ 0, 3
  • MT = Média Aritmética dos Trabalhos
  • MF = Média Final:
 Se MP ≥ 5, 0 e MT ≥ 5, 0 então MF = (7*MP + 3*MT)/10
 Senão MF = menor valor entre MP e MT

Links úteis

  • Ementa Sistema Júpiter [1]
  • Ferrameta JFLAP [2]
Disponível em "http://wiki.icmc.usp.br/index.php?title=Scc-205(joaoluis)&oldid=32052"