Mudanças entre as edições de "Scc-205(sandra)B"
De CoteiaWiki
(→Material de Referência) |
|||
| Linha 10: | Linha 10: | ||
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"> Bibliografia Básica </font> === | ||
| Linha 32: | Linha 30: | ||
P1: 13 de setembro | P1: 13 de setembro | ||
| − | P2: | + | P2: 20 de outubro |
P3: 24 de novembro | P3: 24 de novembro | ||
| + | SUB: 1/12 ('''necessariamente''' substitui a menor nota das provas anteriores) | ||
Média Final = (P1 + P2 + P3) / 3 | Média Final = (P1 + P2 + P3) / 3 | ||
| − | |||
| − | |||
=== <font color = "green"> Frequência: </font> === | === <font color = "green"> Frequência: </font> === | ||
| Linha 53: | Linha 50: | ||
=== <font color = "green"> Notas </font> === | === <font color = "green"> Notas </font> === | ||
| − | |||
| − | |||
| − | |||
| − | |||
Edição das 01h46min de 2 de agosto de 2011
Índice
[ocultar]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]
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: 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:
- - 2/8 Organização do Curso; Critério de Avaliação; Motivação para o Curso
- - 4/8 Visão Geral das 3 Teorias tratadas no Curso – objetivos de estudo
