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;"> | ||
| − | + | ||
| − | * | + | *31/07/2012: Disponível Lista de Exercícios do Capítulo 1. |
| − | + | *31/07/2012: Inicio do período letivo. | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | * | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</blockquote> | </blockquote> | ||
| Linha 39: | Linha 23: | ||
'''Aluno PAE''': Cristiano Bacelar de Oliveira (cbacelar at icmc dot usp dot br) | '''Aluno PAE''': Cristiano Bacelar de Oliveira (cbacelar at icmc dot usp dot br) | ||
| − | '''Horário de Aulas''': | + | '''Horário de Aulas''': Terça(08:10 - 9:50) e Quinta (10:10 - 11:50). Sala 5-004. |
; Horário Atendimento : | ; Horário Atendimento : | ||
: Professor: Terças, das 14 às 17h00. Local: Bloco 3, sala 3-153. | : 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 | + | : Aluno PAE: Marcar horário por e-mail. Local: Laboratório de ICMC Bloco 6, sala 6-205. |
== Programa do Curso == | == Programa do Curso == | ||
| Linha 76: | Linha 60: | ||
== Datas Importantes == | == Datas Importantes == | ||
=== Provas === | === Provas === | ||
| − | * | + | * A definir |
| − | |||
| − | |||
=== Apresentação dos trabalhos em grupo === | === Apresentação dos trabalhos em grupo === | ||
| − | * | + | * A definir |
| − | |||
== Notas == | == Notas == | ||
* As fórmulas para o cálculo das notas estão especificadas no Programa da Disciplina. | * As fórmulas para o cálculo das notas estão especificadas no Programa da Disciplina. | ||
| − | |||
| − | |||
| − | |||
| − | |||
== 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 das 16h03min de 30 de julho 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.
- 31/07/2012: Disponível Lista de Exercícios do Capítulo 1.
- 31/07/2012: Inicio do período letivo.
Índice
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: Cristiano Bacelar de Oliveira (cbacelar at icmc dot usp dot br)
Horário de Aulas: Terça(08:10 - 9:50) e Quinta (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 6, sala 6-205.
Programa do Curso
Programa do Curso (apresentação)
Material Didático
- Capítulo 1 - Linguagens Regulares e Autômatos Finitos
- 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
Trabalhos Práticos
Indicações Gerais
- Os grupos para os trabalhos serão compostos de no máximo três pessoas.
- Trabalho em Grupo 1
- Trabalho em Grupo 2
Sistema BOCA
- Sistema BOCA - SCC205
- 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
- Lista de Exercícios Capítulo 1
- Lista de Exercícios Capítulo 2
- Lista de Exercícios Capítulo 3
- Lista de Exercícios Capítulo 4
- Lista de Exercícios Capítulo 5
Datas Importantes
Provas
- A definir
Apresentação dos trabalhos em grupo
- A definir
Notas
- As fórmulas para o cálculo das notas estão especificadas no Programa da Disciplina.
