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

De CoteiaWiki
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/02/2011: A prova de recuperação (REC) será
+
***02/02/2011: A prova de recuperação (REC) será
−
realizada no dia 10/02/2011, às 10h00 na sala 6-305 (lab 7 - prédio 6) **
+
realizada no dia 10/02/2011, às 10h00 na sala 6-305 (lab 7 - prédio 6)**
 
*06/12/2010: Diponível Notas Finais (Ver [[#Notas]]). '''A revisão das provas e trabalhos será feita no dia 07/12 no horário de aula (10h10 - Sala 5004)'''.  O Exame de Recuperação será no dia 10/02/2010 (quinta-feira) às 10h10 (a sala será divulgada na página uma semana antes da prova).
 
*06/12/2010: Diponível Notas Finais (Ver [[#Notas]]). '''A revisão das provas e trabalhos será feita no dia 07/12 no horário de aula (10h10 - Sala 5004)'''.  O Exame de Recuperação será no dia 10/02/2010 (quinta-feira) às 10h10 (a sala será divulgada na página uma semana antes da prova).
 
*28/11/2010: Entrega T2 - O sistema estará disponível desde às 11h do dia 29/11 até às 11h do 01/12.
 
*28/11/2010: Entrega T2 - O sistema estará disponível desde às 11h do dia 29/11 até às 11h do 01/12.

Edição das 11h04min de 2 de fevereiro de 2011

  • 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
      • 02/02/2011: A prova de recuperação (REC) será

realizada no dia 10/02/2011, às 10h00 na sala 6-305 (lab 7 - prédio 6)**

  • 06/12/2010: Diponível Notas Finais (Ver #Notas). A revisão das provas e trabalhos será feita no dia 07/12 no horário de aula (10h10 - Sala 5004). O Exame de Recuperação será no dia 10/02/2010 (quinta-feira) às 10h10 (a sala será divulgada na página uma semana antes da prova).
  • 28/11/2010: Entrega T2 - O sistema estará disponível desde às 11h do dia 29/11 até às 11h do 01/12.
  • 13/11/2010: Disponível Notas da Prova 2 (Ver #Notas).
  • 25/10/2010: Disponível: Slides do Capítulo 5, Lista de Exercícios do Capítulo 5 e Trabalho em Grupo 2.
  • 21/10/2010: Disponível Notas do Trabalho 1 (Ver #Notas). Qualquer dúvida sobre as notas, mandar um e-mail para o monitor PAE.
  • 20/10/2010: Atendimento PAE hoje desde às 16h até 18h, mesmo local (Laboratório de ICMC Bloco 1, sala 1-114). Procurar por Carol Scarton.
  • 28/09/2010: O sistema BOCA estará disponível para teste no dia 29/09/2010 das 11 às 12h30.
  • 27/09/2010: Mudança de horário de atendimento aluno PAE (Ver #Informações Gerais). Indicações para Sistema BOCA (Ver #Sistema BOCA)
  • 24/09/2010: Atualização de datas de submissão do Trabalho 1 no sistema BOCA: 30/09 e 01/10.
  • 23/09/2010: Disponível Lista de Exercícios do Capítulo 4 e Slides do Capítulo 4.
  • 15/09/2010: Atualização do arquivo com as notas da Prova 1.
  • 13/09/2010: Disponível Notas da Prova 1, Lista de Exercícios do Capítulo 3 e Slides do Capítulo 3.
  • 30/08/2010: Atenção Mudança de horário de atendimento do Aluno PAE para semana de 30/08 até 03/09: 31/08 das 17 às 18h e 01/09 das 14 às 16h, mesmo local.
  • 24/08/2010: Disponível Trabalho em Grupo 1.
  • 17/08/2010: Disponível Lista de Exercícios do Capítulo 2 e Slides do Capítulo 2.
  • 16/08/2010: Mudança de horário de atendimento do Aluno PAE para o dia 18/08 (das 14 às 16h00, mesmo local).
  • 13/08/2010: Disponível Lista de Exercícios do Capítulo 1.
  • 02/08/2010: 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 at icmc dot usp dot br)

Aluno PAE: Fernando Alva Manchego (falva at icmc dot usp dot br)

Horário de Aulas: Ter. e Qui. 10:10 - 11:50. Sala 5-004

Horário Atendimento 
Professor: Terças, das 14 às 17h00. Local: Bloco 3, sala 3-153.
Aluno PAE: Marcar horário por e-mail. Local: Laboratório de ICMC Bloco 1, sala 1-114.

Programa do Curso

Programa do Curso (apresentação)

Material Didático

Trabalhos Práticos

Indicações Gerais

Sistema BOCA

Listas de Exercícios

Datas Importantes

Provas

  • 02/09/2010 - Prova 1
  • 21/10/2010 - Prova 2
  • 02/12/2010 - Prova 3

Apresentação dos trabalhos em grupo

  • 27/09/2010 a 01/10/2010 - Trabalho 1: O Sistema estará aberto nos dias 30/09 (desde às 10h) e 01/10
  • 29/11/2010 e 30/11/2010 - Trabalho 2

Notas

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=12721"