Mudanças entre as edições de "Scc-205(gracan)A"
De CoteiaWiki
(→Avaliação:) |
(→Frequência) |
||
Linha 31: | Linha 31: | ||
Obs.: Haverá uma '''prova substitutiva, no dia 1o. de dezembro''', para aqueles que perderem alguma das provas - e só para esses. | Obs.: Haverá uma '''prova substitutiva, no dia 1o. de dezembro''', para aqueles que perderem alguma das provas - e só para esses. | ||
− | === <font color = "green"> Frequência </font> === | + | === <font color = "green"> Frequência: </font> === |
Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas). | Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas). | ||
+ | |||
+ | === <font color = "green"> Aula a aula: </font> === | ||
+ | |||
+ | #- ''25 fev'' - Apresentação do curso; Procedimentos e Algoritmos | ||
+ | #- ''4 mar'' - Provando propriedades de procedimentos; Complexidade de Algoritmos | ||
+ | #- ''11 mar''- Complexidade de Algoritmos; Problemas Tratáveis e Intratáveis | ||
+ | #- ''18 mar'' - Problemas P e NP | ||
+ | #- ''25 mar'' - Máquinas de Turing (1) | ||
+ | #- ''01 abr'' - 1a. Prova (peso 1) | ||
+ | #- ''8 abr'' - Correção da prova e Máquinas de Turing (2) | ||
+ | #- ''15 abr'' - cont. Máquinas de Turing (2) | ||
+ | #- ''29 abr'' - Computabilidade e Decidibilidade | ||
+ | #- ''06 mai'' - Linguagens e Gramáticas - Hierarquia de Chomsky | ||
+ | #- ''13 mai'' - 2a. Prova (peso 2) | ||
+ | #- ''20 mai'' - Linguagens Livres de Contexto (cont.) | ||
+ | #- ''27 mai'' - Linguagens Regulares | ||
+ | #- ''3 jun'' - Autômatos Finitos | ||
+ | #- ''10jun'' - Automatos com Pilha & LLC; Aut. Linearmente Limitado & LSC |
Edição das 15h17min 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.: Haverá uma prova substitutiva, no dia 1o. de dezembro, para aqueles que perderem alguma das provas - e só para esses.
Frequência:
Será exigida frequência em 70% das aulas ministradas (incluindo dias de provas).
Aula a aula:
- - 25 fev - Apresentação do curso; Procedimentos e Algoritmos
- - 4 mar - Provando propriedades de procedimentos; Complexidade de Algoritmos
- - 11 mar- Complexidade de Algoritmos; Problemas Tratáveis e Intratáveis
- - 18 mar - Problemas P e NP
- - 25 mar - Máquinas de Turing (1)
- - 01 abr - 1a. Prova (peso 1)
- - 8 abr - Correção da prova e Máquinas de Turing (2)
- - 15 abr - cont. Máquinas de Turing (2)
- - 29 abr - Computabilidade e Decidibilidade
- - 06 mai - Linguagens e Gramáticas - Hierarquia de Chomsky
- - 13 mai - 2a. Prova (peso 2)
- - 20 mai - Linguagens Livres de Contexto (cont.)
- - 27 mai - Linguagens Regulares
- - 3 jun - Autômatos Finitos
- - 10jun - Automatos com Pilha & LLC; Aut. Linearmente Limitado & LSC