Mudanças entre as edições de "Scc-205(sandra)B"

De CoteiaWiki
Linha 11: Linha 11:
 
Material de Apoio do Livro Texto de Ramos, Neto & Vega, 2009 (Linguagens Formais: Teoria, Modelagem e implementação): [http://www.univasf.edu.br/~marcus.ramos/livro-lfa/index.html]
 
Material de Apoio do Livro Texto de Ramos, Neto & Vega, 2009 (Linguagens Formais: Teoria, Modelagem e implementação): [http://www.univasf.edu.br/~marcus.ramos/livro-lfa/index.html]
  
−
=== <font color = "green"> Bibliografia Básica </font> ===
+
=== <font color = "green"> LIVROS TEXTOS </font> ===
  
−
* 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.
 
  
 +
• Rosa, J.L.G. Linguagens Formais e Autômatos.  Editora LTC, 2010.
 +
• Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata.
 +
• Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009.
 +
• Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto.
 +
• Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos.
 +
• Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html
 +
• Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira,  a sua versão reduzida e a segunda edição que traz exercícios).
 +
 +
=== <font color = "green"> BIBLIOGRAFIA COMPLEMENTAR </font> ===
 +
 +
 +
• Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central).
 +
• Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37.
 +
• Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998.
 +
• Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto.
 +
• Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979.
 +
• Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997.
 +
• Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989.
 +
• Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996.
 +
• Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998.
 +
• Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.
 
=== <font color = "green"> Avisos: </font> ===
 
=== <font color = "green"> Avisos: </font> ===
  

Edição das 02h21min de 2 de agosto de 2011

SCC-205 - TEORIA DA COMPUTAÇÃO E LINGUAGENS FORMAIS (TURMA B)

  • Local: Sala (4-005) - Horários: TERÇAS E QUINTAS - 10:10 - 11:50h
  • Profa. Sandra Aluisio; sandra [arroba] icmc.usp.br; Sala: 4-208

Material de Referência

http://wiki.icmc.usp.br/index.php/Scc-205(sandra)#Links_no_MERLOT

Material de Apoio do Livro Texto de Ramos, Neto & Vega, 2009 (Linguagens Formais: Teoria, Modelagem e implementação): [1]

LIVROS TEXTOS

• Rosa, J.L.G. Linguagens Formais e Autômatos. Editora LTC, 2010. • Hopcroft, Motwani & Ullman: Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 2001. Errata do livro em: http://www-db.stanford.edu/~ullman/ialc.html#errata. • Marcus Vinícius Midena Ramos, João José Neto & Ítalo Santiago Veja: Linguagens Formais - Teoria, Modelagem e Implementação, Editora: Bookman, 2009. • Divério & Menezes. Teoria da Computação – Máquinas Universais e Computabilidade. Série Livros Didáticos 5, IF UFRGS, 2ª edição, 2000, editora SagraLuzzatto. • Menezes, P.B. Linguagens Formais e Autômatos. Série Livros didáticos 3, IF UFRGS, 5ª edição, 2008, Editora Bookman. e-Book de Linguagens Formais & Autômatos. • Sipser, M. Introduction to the Theory of Computation. PWS, 1997. (2a edição). Errata do livro em: http://www-math.mit.edu/~sipser/itoc-errs1.2.html • Harel, D. Algorithmics – The Spirit of Computing. Addison-Wesley Publishing Company, 1992 (2ª edição). (Existem 3 edições similares do livro na Biblioteca do ICMC: a primeira, a sua versão reduzida e a segunda edição que traz exercícios).

BIBLIOGRAFIA COMPLEMENTAR

• Christos H. Papadimitriou, Computational Complexity, Addison-Wesley Publishing Company, 1995. (Biblioteca Central). • Cormen, T.H. Leiserson, C.E. and Rivest, R.L. Introduction to Algorithms. The Mit Press. 1990. (1ª edição). Capítulos 1, 2, 3, 4, 36, 37. • Savage, J.E. Models of Computation – Exploring the Power of Computing. Addison-Wesley, 1998. • Toscani & Veloso. Complexidade de Algoritmos. Série Livros Didáticos 13, IF UFRGS, 1ª edição, 2001, editora SagraLuzzatto. • Garey & Johnson. Computers and Intractability – a guide to the Theory of NP-Completeness, W.H. Freeman and Company, New York, 1979. • Jones, N. D. Computability and complexity – from a Programming Perspective. The Mit Press, 1997. • Drobot, V. Formal Languages and Automata Theory. Computer Science Press, 1989. • Sedgewick, R. and Flajolet, P. An Introduction to the Analysis of algorithms. Addison-Wesley P. Company, 1996. • Sudkamp, T. A. Languages and Machines – An Introduction to the Theory of Computer Science, 2a edition. Addison-Wesley, 1998. • Kozen, D.C. Automata and Computability. Springer-Verlag, 1997.

Avisos:

Avaliação:

3 Provas:

P1: 13 de setembro

P2: 20 de outubro

P3: 24 de novembro

SUB: 1/12 (necessariamente substitui a menor nota das provas anteriores)

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

Frequência:

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

Aula a aula:

  1. - 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso
  2. - 4/8 Visão Geral das 3 Teorias tratadas no Curso – objetivos de estudo

Listas de Exercícios

Notas

Disponível em "http://wiki.icmc.usp.br/index.php?title=Scc-205(sandra)B&oldid=18765"