Mudanças entre as edições de "SCC-205"
De CoteiaWiki
| Linha 7: | Linha 7: | ||
| − | + | 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. | |
<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. |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
</blockquote> | </blockquote> | ||
== Informações Gerais == | == Informações Gerais == | ||
| − | '''Título''': | + | '''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 at icmc dot usp dot br) | ||
| − | '''Aluno PAE''': | + | '''Aluno PAE''': Fernando Alva Manchego (falva at icmc dot usp dot br) |
| − | '''Monitor''': | + | '''Monitor''': |
'''Horário de Aulas''': | '''Horário de Aulas''': | ||
| Linha 53: | Linha 37: | ||
*[[Media:SCC120Cap1.pdf| Capítulo 1 - Introdução à Computação e Introdução à Programação]] | *[[Media:SCC120Cap1.pdf| Capítulo 1 - Introdução à Computação e Introdução à Programação]] | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
== Trabalhos Práticos == | == Trabalhos Práticos == | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
*Tutorial para submissão dos trabalhos | *Tutorial para submissão dos trabalhos | ||
| Linha 86: | Linha 45: | ||
== Listas de Exercícios == | == Listas de Exercícios == | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
== Datas Importantes == | == Datas Importantes == | ||
=== Provas === | === 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 | ||
== Notas == | == Notas == | ||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
== Links Importantes == | == Links Importantes == | ||
| − | Ementa do Curso [http://sistemas2.usp.br/jupiterweb/obterDisciplina?sgldis= | + | Ementa do Curso [http://sistemas2.usp.br/jupiterweb/obterDisciplina?sgldis=SCC0205&nomdis=] |
| − | No Jupiter-web: [[http://sistemas2.usp.br/jupiterweb/obterDisciplina?sgldis= | + | No Jupiter-web: [[http://sistemas2.usp.br/jupiterweb/obterDisciplina?sgldis=SCC0205&nomdis=]] |
Edição das 17h34min de 2 de agosto de 2010
- 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.
Í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: Fernando Alva Manchego (falva at icmc dot usp dot br)
Monitor:
Horário de Aulas:
- Horário Atendimento
- Professor: Quartas, das 10 às 12h00 e das 18 às 19h00. Local: Bloco 3, sala 3-153.
- Aluno PAE: Sextas, das 15 às 18h00. Local: Laboratório de ICMC Bloco 1, sala 1-114.
- Monitor: Quartas, das 15 às 18h00. Local: Sala do lado da biblioteca do ICMC. Envie e-mail antes para agendar horário.
Programa do Curso
Programa do Curso (apresentação)
Material Didático
Trabalhos Práticos
- Tutorial para submissão dos trabalhos
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
Notas
Links Importantes
Ementa do Curso [1]
No Jupiter-web: [[2]]
