Mudanças entre as edições de "SCE-5832(gracan)"
De CoteiaWiki
(→Aula a aula:) |
(→Listas de Exercícios) |
||
| Linha 28: | Linha 28: | ||
=== <font color = "green"> Listas de Exercícios </font> === | === <font color = "green"> Listas de Exercícios </font> === | ||
| − | - | + | - Lista 0- Análise de Algoritmos: [[Arquivo:GNLista0AnaliseAlg.pdf]] |
| − | - | + | - Lista 1- Automatos Finitos: [[Arquivo:GNLista1AFDeAFND.pdf]] |
| + | |||
| + | - Lista 2- Gramáticas Livres de Contexto: [[Arquivo:GNLista2GLC.pdf]] | ||
| + | |||
| + | - Lista 3- Automatos a Pilha: [[Arquivo:GNLista3AP.pdf]] | ||
| + | |||
| + | - Lista 4- Linguagens Livres de Contexto: [[Arquivo:GNLista4LLC.pdf]] | ||
| + | |||
| + | - Lista 5- Máquinas de Turing: [[Arquivo:GNLista5MT.pdf]] | ||
| + | |||
| + | - Lista 6- Decidibilidade: [[Arquivo:GNLista6Decidib.pdf]] | ||
=== <font color = "green"> Notas </font> === | === <font color = "green"> Notas </font> === | ||
Edição das 12h59min de 24 de fevereiro de 2010
Índice
[ocultar]SCE5832 -TEORIA DA COMPUTAÇÃO
- Local: Sala (..... ) - Horário: QUA - 9 - 12h
- Profa. Graça Nunes; gracan [arroba] icmc.usp.br; Sala: 4-201
Avisos:
- Data de Início das aulas: 08/março
Aula a aula:
- - 10 Mar – Apresentação da Disciplina (Prof. João Luis Rosa)
- - 17 Março – Noções de Complexidade
- - 24 Março – Conceitos de Linguagens Formais. Autômatos Finitos (1)
- - 31 Março – Semana Santa - não há aula
- - 7 Abril - Autômatos Finitos Determinísticos e Não-Determinísticos (2)
- - 14 Abril - Expressões Regulares e Propriedades (Lema do Bombeamento)
- - 28 Abril - 1a. Prova
- - 5 Maio – Propriedades de Decisão das LR. Minimização de AF.
- - 12 Maio - Gramáticas Livres de Contexto e Autômatos a Pilha
- - 19 Maio - Linguagens Livres de Contexto
- - 26 Maio - 2a. Prova
- - 2 Junho - Indecidibilidade e Máquinas de Turing
- - 9 Junho - Poder Computacional das Máquinas de Turing
- - 16 Junho - Indecidibilidade
- - 23 Junho - Intratabilidade
- - 30 Junho - 3a. Prova
Listas de Exercícios
- Lista 0- Análise de Algoritmos: Arquivo:GNLista0AnaliseAlg.pdf
- Lista 1- Automatos Finitos: Arquivo:GNLista1AFDeAFND.pdf
- Lista 2- Gramáticas Livres de Contexto: Arquivo:GNLista2GLC.pdf
- Lista 3- Automatos a Pilha: Arquivo:GNLista3AP.pdf
- Lista 4- Linguagens Livres de Contexto: Arquivo:GNLista4LLC.pdf
- Lista 5- Máquinas de Turing: Arquivo:GNLista5MT.pdf
- Lista 6- Decidibilidade: Arquivo:GNLista6Decidib.pdf
Notas
-
-
