Mudanças entre as edições de "SCC-505(gracan)"

De CoteiaWiki
Linha 1: Linha 1:
 
=== <font color = "green"> SCC-505 - INTRODUÇÃO À TEORIA DA COMPUTAÇÃO  </font>===
 
=== <font color = "green"> SCC-505 - INTRODUÇÃO À TEORIA DA COMPUTAÇÃO  </font>===
* Local:  Sala ( ) - Horário: SEXTA - 19 - 21h
+
* Local:  Sala (5003) - Horário: SEXTA - 19 - 21h
 
* Profa. '''Graça Nunes'''; gracan [arroba] icmc.usp.br; Sala: 4-201
 
* Profa. '''Graça Nunes'''; gracan [arroba] icmc.usp.br; Sala: 4-201
  

Edição das 13h03min de 18 de fevereiro de 2011

SCC-505 - INTRODUÇÃO À TEORIA DA COMPUTAÇÃO

  • Local: Sala (5003) - 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 3)


Média Final = (P1 + (P2 * 2) + (P3 * 3)) / 6


Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).


Aula a aula:

  1. -

Slides das Aulas

Listas de Exercícios

Notas