Mudanças entre as edições de "SCC-505(gracan)"
De CoteiaWiki
| Linha 19: | Linha 19: | ||
=== <font color = "green"> Avaliação: </font> === | === <font color = "green"> Avaliação: </font> === | ||
| − | 3 Provas | + | 3 Provas: |
| − | 05 de maio | + | 05 de maio (peso 1) |
| − | 02 de junho | + | 02 de junho (peso 2) |
| − | 30 de junho | + | 30 de junho (peso 2) |
| − | Seja MP a média aritmética das 3 provas, e seja CF o conceito final. | + | <!--Seja MP a média aritmética das 3 provas, e seja CF o conceito final. --> |
| − | |||
| − | + | <!--Será exigida freqüência em 70% das aulas ministradas (incluindo dias de provas).--> | |
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
| − | |||
=== <font color = "green"> Aula a aula: </font> === | === <font color = "green"> Aula a aula: </font> === | ||
| Linha 53: | Linha 45: | ||
=== <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 0- Análise de Algoritmos: [[Arquivo:GNLista0AnaliseAlg.pdf]]--> |
| − | + | <!--- Lista 1- Automatos Finitos: [[Arquivo:GNLista1AFDeAFND.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 2- Gramáticas Livres de Contexto: [[Arquivo:GNLista2GLC.pdf]] | + | <!--- Lista 4- Linguagens Livres de Contexto: [[Arquivo:GNLista4LLC.pdf]]--> |
| − | + | <!--- Lista 5- Máquinas de Turing: [[Arquivo:GNLista5MT.pdf]]--> | |
| − | - Lista 3- Automatos a Pilha: [[Arquivo:GNLista3AP.pdf]] | + | <!--- Lista 6- Decidibilidade: [[Arquivo:GNLista6Decidib.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 10h21min de 14 de fevereiro de 2011
Índice
[ocultar]SCC-505 - INTRODUÇÃO À TEORIA DA COMPUTAÇÃO
- Local: Sala ( ) - Horário: SEXTA - 19 - 21h
- Profa. Graça Nunes; gracan [arroba] icmc.usp.br; Sala: 4-201
Bibliografia Básica
- Hopcroft, J. E., Ullman, J. D. Formal Languages and Their Relation to Automata.
Addison-Wesley Publishing Company, 1969.
- Hopcroft, J. E., Motwani, R., and Ullman, J. D. Introduction to Automata Theory, Languages, and Computation.
3rd. edition. Addison-Wesley, 2007.
- Moll, R. N., Arbib, M. A., and Kfoury, A. J. An Introduction to Formal Language Theory.
Springer-Verlag, 1988.
- Sipser, M. Introduction to the Theory of Computation. Second Edition, Thomson, 2006.
- Rosa, J.L.G. Linguagens Formais e Autômatos. LTC, 2010.
Avisos:
- Data de Início das aulas: 21/fevereiro
Avaliação:
3 Provas:
05 de maio (peso 1)
02 de junho (peso 2)
30 de junho (peso 2)
Aula a aula:
- -
