Mudanças entre as edições de "Scc-205(gracan)A"
De CoteiaWiki
(→Avisos:) |
(→Avaliação:) |
||
| Linha 29: | Linha 29: | ||
Média Final = (P1 + P2 + P3) / 3 | Média Final = (P1 + P2 + P3) / 3 | ||
| − | Obs.: Aqueles que não alcançarem média 5.0, poderão fazer a '''prova substitutiva, no dia 1o. de dezembro'''. | + | Obs.: Aqueles que não alcançarem média 5.0, e apenas esses, poderão fazer a '''prova substitutiva, no dia 1o. de dezembro'''. |
Esta prova substitui, de fato, a menor nota das 3 provas anteriores | Esta prova substitui, de fato, a menor nota das 3 provas anteriores | ||
Edição das 15h12min de 26 de julho de 2011
Índice
SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA A)
- Local: Sala () - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h
- 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, 1979.
- Hopcroft, J. E., Ullman, J. D. and Motwani, R. Introdução à Teoria de Autômatos, Linguagens e Computação. Tradução da 2a. edição.
Editora Campus, 2001.
- Hopcroft, J. E., Motwani, R., and Ullman, J. D. Introduction to Automata Theory, Languages, and Computation.
3rd. edition. Addison-Wesley, 2007.
- Sipser, M. Introduction to the Theory of Computation. Second Edition, Thomson, 2006.
- Rosa, J.L.G. Linguagens Formais e Autômatos. LTC, 2010.
Avisos:
Avaliação:
3 Provas:
P1: 1o. de setembro
P2: 18 de outubro
P3: 29 de novembro
Média Final = (P1 + P2 + P3) / 3
Obs.: Aqueles que não alcançarem média 5.0, e apenas esses, poderão fazer a prova substitutiva, no dia 1o. de dezembro. Esta prova substitui, de fato, a menor nota das 3 provas anteriores
Frequência
Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).
