Mudanças entre as edições de "SCC-505(gracan)"
De CoteiaWiki
| Linha 21: | Linha 21: | ||
3 Provas: | 3 Provas: | ||
| − | 05 de maio (peso 1) | + | P1: 05 de maio (peso 1) |
| − | 02 de junho (peso 2) | + | P2: 02 de junho (peso 2) |
| − | 30 de junho (peso 2) | + | P3: 30 de junho (peso 2) |
| + | |||
| + | Média Final = (P1 + (P2 * 2) + (P3 * 2)) / 5 | ||
<!--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 frequência em 70% das aulas ministradas (incluindo dias de provas). | |
| − | |||
Edição das 10h59min 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:
P1: 05 de maio (peso 1)
P2: 02 de junho (peso 2)
P3: 30 de junho (peso 2)
Média Final = (P1 + (P2 * 2) + (P3 * 2)) / 5
Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).
Aula a aula:
- -
