Mudanças entre as edições de "SCC-505-2012(erickrf)"
De CoteiaWiki
(Lista 1) |
|||
| (26 revisões intermediárias por 2 usuários não estão sendo mostradas) | |||
| Linha 10: | Linha 10: | ||
'''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br) | '''Aluno PAE''': Erick Rocha Fonseca (erickrf at icmc dot usp dot br) | ||
| − | :Horário de atendimento: Terças-feiras, 16h às 19h | + | :Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114. |
'''Horário das Aulas''': Quartas-feiras, 21h às 22h40. | '''Horário das Aulas''': Quartas-feiras, 21h às 22h40. | ||
'''Sala''': 5-003 | '''Sala''': 5-003 | ||
| + | |||
| + | <center><font size=+100>'''Quadro de Avisos'''</font></center> | ||
| + | <blockquote style="background: white; border: 1px solid black; padding: 1em;"> | ||
| + | *17/07/2012: ATENÇÃO: Prova de REcuperação será amanhã (dia 18/7) às 19h00 na mesma sala da aula (5-003). VEJA QUE O HORÁRIO DA PROVA É 19H00, DIFERENTE DO HORÁRIO DA AULA. | ||
| + | *04/07/2012: ***ATUALIZADA*** Notas Finais disponíveis. Vista da Prova 2: HOJE na aula. | ||
| + | *30/06/2012: Notas da Prova 2 disponíveis. Vista de Provas: aula de 04/07. | ||
| + | *15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick. | ||
| + | *A prova substitutiva será realizada no dia 06/06/2012 | ||
| + | </blockquote> | ||
== Material == | == Material == | ||
| Linha 20: | Linha 29: | ||
* [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]] | * [[Media:SCC0505-2012Cap0.pdf| Programa do Curso (Apresentação)]] | ||
* [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]] | * [[Media:SCC0505-2012Cap1.rar| Capítulo 1 - Linguagens Regulares e Autômatos Finitos]] | ||
| + | * [[Media:SCC0505Cap2.pdf| Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha]] | ||
| + | * [[Media:SCC0505Cap3_2012.pdf| Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente]] | ||
| + | * [[Media:SCC0505Cap4.pdf| Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade]] | ||
== Listas de Exercícios == | == Listas de Exercícios == | ||
* [[Media:Lista1-SCC505-2012.pdf| Lista 1]] | * [[Media:Lista1-SCC505-2012.pdf| Lista 1]] | ||
| + | * [[Media:Lista2-SCC0505.pdf| Lista 2]] | ||
| + | * [[Media:Lista3-SCC0505_2012.pdf| Lista 3]] | ||
| + | * [[Media:Lista4-SCC0505_2012.pdf| Lista 4]] | ||
| + | |||
| + | == Trabalhos == | ||
| + | |||
| + | * [[Media:T1SCC505_2012.pdf| Trabalho 1]] | ||
| + | * [[Media:T2SCC505_2012.pdf| Trabalho 2]] (Submissão: 28 a 29 de junho) | ||
| + | |||
| + | == Provas == | ||
| + | |||
| + | * Data da primeira prova: 02/05 | ||
| + | * Data da segunda prova: 27/06 | ||
| + | * Data da recuperação: 18/07, às 19h. | ||
| + | |||
| + | == Notas == | ||
| + | |||
| + | * [[Media:SCC0505P1_2012.pdf| Notas Prova 1 e Trabalho 1]] | ||
| + | * [[Media:P1Sub_SCC505_2012.pdf| Notas da prova substitutiva]] | ||
| + | * [[Media:SCC0505_2012P2.pdf| Notas Prova 2 e Médias das Provas]] | ||
| + | * [[Media:Notas-t2.pdf| Notas Trabalho 2]] | ||
| + | * [[Media:SCC0505_2012MFA.pdf| Médias Finais Atualizadas]] | ||
Edição atual tal como às 13h30min de 17 de julho de 2012
Índice
Introdução à Teoria da Computação
Objetivos
Dar ao aluno noção formal de algoritmo, computabilidade e do problema de decisão, de modo a deixá-lo consciente das limitações da ciência da computação: Ineficiência e Intratabilidade; e Problemas Não Computáveis e Indecidíveis. Aparelhá-lo com as ferramentas de modo a habilitá-lo a melhor enfrentar a solução de problemas com o auxílio do computador via Teoria das Linguagens Formais e dos Autômatos.
Informações Gerais
Professor: João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
- Horário de atendimento: Quintas-feiras, 16h às 19h
Aluno PAE: Erick Rocha Fonseca (erickrf at icmc dot usp dot br)
- Horário de atendimento: Terças-feiras, 16h às 19h, sala 1-114.
Horário das Aulas: Quartas-feiras, 21h às 22h40.
Sala: 5-003
- 17/07/2012: ATENÇÃO: Prova de REcuperação será amanhã (dia 18/7) às 19h00 na mesma sala da aula (5-003). VEJA QUE O HORÁRIO DA PROVA É 19H00, DIFERENTE DO HORÁRIO DA AULA.
- 04/07/2012: ***ATUALIZADA*** Notas Finais disponíveis. Vista da Prova 2: HOJE na aula.
- 30/06/2012: Notas da Prova 2 disponíveis. Vista de Provas: aula de 04/07.
- 15/05/2012: Notas da Prova 1 e do Trabalho 1 disponíveis (abaixo). Vista de provas: até o dia 24/05/2012, na sala do professor. Dúvidas em relação à nota do trabalho: ver com Erick.
- A prova substitutiva será realizada no dia 06/06/2012
Material
- Programa do Curso (Apresentação)
- Capítulo 1 - Linguagens Regulares e Autômatos Finitos
- Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha
- Capítulo 3 - Linguagens Sensíveis ao Contexto e Autômatos Limitados Linearmente
- Capítulo 4 - Máquinas de Turing e a Teoria da Computabilidade
Listas de Exercícios
Trabalhos
- Trabalho 1
- Trabalho 2 (Submissão: 28 a 29 de junho)
Provas
- Data da primeira prova: 02/05
- Data da segunda prova: 27/06
- Data da recuperação: 18/07, às 19h.
