Mudanças entre as edições de "SCC-505(gracan)"
De CoteiaWiki
(→SCC-505 - INTRODUÇÃO À TEORIA DA COMPUTAÇÃO) |
(→SCC-505 - INTRODUÇÃO À TEORIA DA COMPUTAÇÃO) |
||
| Linha 6: | Linha 6: | ||
* Hopcroft, J. E., Ullman, J. D. Formal Languages and Their Relation to Automata. | * Hopcroft, J. E., Ullman, J. D. Formal Languages and Their Relation to Automata. | ||
| − | Addison-Wesley Publishing Company, | + | 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. | * Hopcroft, J. E., Motwani, R., and Ullman, J. D. Introduction to Automata Theory, Languages, and Computation. | ||
3rd. edition. Addison-Wesley, 2007. | 3rd. edition. Addison-Wesley, 2007. | ||
| − | |||
| − | |||
* Sipser, M. Introduction to the Theory of Computation. Second Edition, Thomson, 2006. | * Sipser, M. Introduction to the Theory of Computation. Second Edition, Thomson, 2006. | ||
* Rosa, J.L.G. Linguagens Formais e Autômatos. LTC, 2010. | * Rosa, J.L.G. Linguagens Formais e Autômatos. LTC, 2010. | ||
Edição das 17h26min de 24 de fevereiro de 2011
Índice
SCC-505 - INTRODUÇÃO À TEORIA DA COMPUTAÇÃO
- Local: Sala (5003) - Horário: SEXTA - 19 - 20:40h
- 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:
- 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 3)
Média Final = (P1 + (P2 * 2) + (P3 * 3)) / 6
Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).
Material de Referência
Aula a aula:
- -
