Mudanças entre as edições de "SCC-205"
(→2º Semestre 2010) |
|||
| Linha 3: | Linha 3: | ||
== 2º Semestre 2010 == | == 2º Semestre 2010 == | ||
| + | *[[scc-205(joaoluis)|Teoria da Computação e Linguagens Formais]] - (turma BCC-A) - Profa. João Luís Garcia Rosa | ||
*[[scc-205(sandra)|Teoria da Computação e Linguagens Formais]] - (turma BCC-B) - Profa. Sandra Maria Aluisio | *[[scc-205(sandra)|Teoria da Computação e Linguagens Formais]] - (turma BCC-B) - Profa. Sandra Maria Aluisio | ||
Edição das 08h48min de 3 de agosto de 2010
No Jupiter-web: [ementa]
Índice
2º Semestre 2010
- Teoria da Computação e Linguagens Formais - (turma BCC-A) - Profa. João Luís Garcia Rosa
- Teoria da Computação e Linguagens Formais - (turma BCC-B) - Profa. Sandra Maria Aluisio
- 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.
- 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: Quartas, das 09 às 12h00. Local: Bloco 3, sala 3-153.
- Aluno PAE: Sextas, das 09 às 12h00. Local: Laboratório de ICMC Bloco 1, sala 1-114.
Programa do Curso
Programa do Curso (apresentação)
Material Didático
Trabalhos Práticos
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
- 22/11/2010 a 26/11/2010 - Trabalho 2
