Mudanças entre as edições de "Scc-205(joaoluis)"
(→Notas) |
(→Informações Gerais) |
||
| Linha 19: | Linha 19: | ||
'''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 | + | '''Professor''': Dr. João Luis Garcia Rosa (joaoluis@icmc.usp.br) |
| − | '''Aluno PAE''': Cristiano Bacelar de Oliveira (cbacelar | + | '''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á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: | + | : Professor: Quinta, das 15h00 às 18h00. Local: Bloco 4, sala 4-127. |
| − | : Aluno PAE: | + | : Aluno PAE: Terça, das 14 às 17h00. Local: ICMC - Bloco 6, sala 6-205. |
| − | + | : Monitor: Segunda, das 20h00 às 23h00. Local: A definir. | |
| − | : | ||
== Programa do Curso == | == Programa do Curso == | ||
Edição das 17h49min de 31 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@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ário Atendimento
- Professor: Quinta, das 15h00 às 18h00. Local: Bloco 4, sala 4-127.
- Aluno PAE: Terça, das 14 às 17h00. Local: ICMC - Bloco 6, sala 6-205.
- Monitor: Segunda, das 20h00 às 23h00. Local: A definir.
Programa do Curso
Programa do Curso (apresentação)
Material Didático
- O material está disponível através do Dropbox.
Link: https://www.dropbox.com/sh/rtszzifu0j735qz/ALFB-ZCE0G/SCC-205
Trabalhos Práticos
Indicações Gerais
- A definir.
Sistema BOCA
Listas de Exercícios
Datas Importantes
Provas
- 3 provas:
P1 = 30/8 P2 = 16/10 P3 = 29/11
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
