Mudanças entre as edições de "SCC-505(joaoluis)"
De CoteiaWiki
m (Protegeu "SCC-505(joaoluis)" ([edit=sysop] (indefinido) [move=sysop] (indefinido))) |
|||
(17 revisões intermediárias pelo mesmo usuário não estão sendo mostradas) | |||
Linha 1: | Linha 1: | ||
+ | <blockquote style="background: white; border: 1px solid red; padding: 1em;"> | ||
+ | <center> | ||
+ | <font size=+34 color=red> | ||
+ | *'''Prova de recuperação: dia 04/08/2010, às 19h00, sala 4-005 (ICMC bloco 4).''' | ||
+ | </font></center> | ||
+ | </blockquote> | ||
+ | |||
Objetivos | 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. | 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. | ||
Linha 16: | Linha 23: | ||
*03/05/2010: Slides e Listas de Exercícios dos capítulos 3 e 4 disponíveis. | *03/05/2010: Slides e Listas de Exercícios dos capítulos 3 e 4 disponíveis. | ||
*05/05/2010: ***ATENÇÃO*** AGUARDEM NOVAS INFORMAÇÕES SOBRE A SUBMISSÃO DO TRABALHO 1 EM BREVE. NINGUÉM SERÁ PREJUDICADO POR ESTE ATRASO! | *05/05/2010: ***ATENÇÃO*** AGUARDEM NOVAS INFORMAÇÕES SOBRE A SUBMISSÃO DO TRABALHO 1 EM BREVE. NINGUÉM SERÁ PREJUDICADO POR ESTE ATRASO! | ||
− | </blockquote> | + | *06/05/2010: Notas e Resolução P1 em "Notas". |
+ | *11/05/2010: ***ATENÇÃO*** O SISTEMA BOCA ABRIRÁ NESTA SEXTA-FEIRA, DIA 14/5, DAS 8H00 ÀS 23H59 PARA SUBMISSÃO DO TRABALHO 1. Quaisquer dúvidas sobre como proceder, favor procurar o monitor Wilker. | ||
+ | *17/05/2010: Descrição Trabalho 2 disponível. | ||
+ | *24/05/2010: ***ATENÇÃO*** NÃO HAVERÁ HORÁRIO DE ATENDIMENTO DO PROFESSOR NESTA QUARTA-FEIRA, DIA 26/5, DAS 18 ÀS 19H00. O HORÁRIO DE ATENDIMENTO DAS 10 ÀS 12H00 ESTÁ MANTIDO. | ||
+ | *26/06/2010: Notas P2 e média de provas disponíveis. Aguardem que em breve serão divulgadas as médias finais (com a inclusão das notas dos trabalhos). Lembrem-se de que a vista de provas será exclusivamente no dia 29/6 (terça-feira), das 10 às 12h00 ou das 18 às 19h00 na sala do professor (3-153). | ||
+ | *27/06/2010: Notas T1 e T2 e médias finais disponíveis. Quaisquer dúvidas sobre as notas dos trabalhos, favor procurar o Wilker. Prova de Recuperação (3,0 <= MF < 5,0): dia 04/8 (quarta-feira) às 19h00. O local será informado aqui uma semana antes. | ||
+ | *28/07/2010: Local da Prova de recuperação do dia 04/08/2010, às 19h00: sala 4-005 (ICMC bloco 4).'''</blockquote> | ||
== Informações Gerais == | == Informações Gerais == | ||
Linha 27: | Linha 40: | ||
'''Horário de Aulas''': 5as. feiras, das 21 às 22h40. | '''Horário de Aulas''': 5as. feiras, das 21 às 22h40. | ||
; Horário Atendimento do Professor: Quartas, das 10 às 12h00 e das 18 às 19h00. Local: sala 3-153. | ; Horário Atendimento do Professor: Quartas, das 10 às 12h00 e das 18 às 19h00. Local: sala 3-153. | ||
− | ; Horário Atendimento do Monitor: Terças e Quintas, das | + | ; Horário Atendimento do Monitor: Terças, das 17h30 às 19h00 e Quintas, das 17h00 às 18h30. Local: sala 3-010 ou 3-011. |
== Programa do Curso == | == Programa do Curso == | ||
Linha 44: | Linha 57: | ||
*[[Media:SCC505T1.pdf| Trabalho Prático em Grupo 1]] | *[[Media:SCC505T1.pdf| Trabalho Prático em Grupo 1]] | ||
+ | |||
+ | *[[Media:SCC505-T2.pdf| Trabalho Prático em Grupo 2]] | ||
== Listas de Exercícios == | == Listas de Exercícios == | ||
Linha 55: | Linha 70: | ||
== Notas == | == Notas == | ||
+ | |||
+ | *[[Media:SCC0505P1.pdf| Notas P1]] | ||
+ | |||
+ | *[[Media:RP1_SCC505a.pdf| Resolução P1]] | ||
+ | |||
+ | |||
+ | *[[Media:SCC0505_MP.pdf| Notas P2 e médias de provas]] | ||
+ | |||
+ | *[[Media:RP2_scc505.pdf| Resolução P2]] | ||
+ | |||
+ | *[[Media:NT1f.pdf| Notas T1]] | ||
+ | |||
+ | *[[Media:NT2.pdf| Notas T2]] | ||
+ | |||
+ | *[[Media:SCC0505_MFi.pdf| Médias Finais]] | ||
== Links Importantes == | == Links Importantes == | ||
Ementa do Curso [http://sistemas2.usp.br/jupiterweb/obterDisciplina?sgldis=SCC0505&verdis=1] | Ementa do Curso [http://sistemas2.usp.br/jupiterweb/obterDisciplina?sgldis=SCC0505&verdis=1] |
Edição atual tal como às 15h20min de 28 de julho de 2010
- Prova de recuperação: dia 04/08/2010, às 19h00, sala 4-005 (ICMC bloco 4).
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.
- 22/02/2010: Inicio do período letivo
- 24/03/2010: Lista de Exercicios capitulo 2 disponivel
- 24/03/2010: Descrição Trabalho 1 disponível
- 25/03/2010: ***ATENÇÃO*** Não haverá aulas hoje!
- 07/04/2010: Agora temos monitor! Veja o nome, e-mail e horário de atendimento abaixo.
- 09/04/2010: Capítulo 2 - versão 2 - disponível. Estude por esta versão!
- 13/04/2010: ***ATENÇÃO*** O horário de atendimento do Prof. João Luís amanhã (dia 14/4), excepcionalmente será das 14h00 às 16h00 e das 18h00 às 19h00.
- 19/04/2010: A submissão do trabalho 1 fica para os dias 29 e 30/4/2010.
- 19/04/2010: Conforme já avisado na última aula, o monitor Wilker atenderá excepcionalmente nesta semana, nos dias 19 e 20/4, sendo que no dia 20/4, o horário será ampliado (das 17 às 19h00).
- 25/04/2010: Na semana de 26 a 30/4 não haverá aulas e nem atendimento aos alunos. Motivo: participação do professor em evento científico.
- 03/05/2010: Slides e Listas de Exercícios dos capítulos 3 e 4 disponíveis.
- 05/05/2010: ***ATENÇÃO*** AGUARDEM NOVAS INFORMAÇÕES SOBRE A SUBMISSÃO DO TRABALHO 1 EM BREVE. NINGUÉM SERÁ PREJUDICADO POR ESTE ATRASO!
- 06/05/2010: Notas e Resolução P1 em "Notas".
- 11/05/2010: ***ATENÇÃO*** O SISTEMA BOCA ABRIRÁ NESTA SEXTA-FEIRA, DIA 14/5, DAS 8H00 ÀS 23H59 PARA SUBMISSÃO DO TRABALHO 1. Quaisquer dúvidas sobre como proceder, favor procurar o monitor Wilker.
- 17/05/2010: Descrição Trabalho 2 disponível.
- 24/05/2010: ***ATENÇÃO*** NÃO HAVERÁ HORÁRIO DE ATENDIMENTO DO PROFESSOR NESTA QUARTA-FEIRA, DIA 26/5, DAS 18 ÀS 19H00. O HORÁRIO DE ATENDIMENTO DAS 10 ÀS 12H00 ESTÁ MANTIDO.
- 26/06/2010: Notas P2 e média de provas disponíveis. Aguardem que em breve serão divulgadas as médias finais (com a inclusão das notas dos trabalhos). Lembrem-se de que a vista de provas será exclusivamente no dia 29/6 (terça-feira), das 10 às 12h00 ou das 18 às 19h00 na sala do professor (3-153).
- 27/06/2010: Notas T1 e T2 e médias finais disponíveis. Quaisquer dúvidas sobre as notas dos trabalhos, favor procurar o Wilker. Prova de Recuperação (3,0 <= MF < 5,0): dia 04/8 (quarta-feira) às 19h00. O local será informado aqui uma semana antes.
- 28/07/2010: Local da Prova de recuperação do dia 04/08/2010, às 19h00: sala 4-005 (ICMC bloco 4).
Índice
[ocultar]Informações Gerais
Título: Introdução à Teoria da Computação (SCC-505)
Professor: João Luis Garcia Rosa (joaoluis at icmc dot usp dot br)
Monitor: Wilker Aziz (will dot aziz at gmail dot com)
Horário de Aulas: 5as. feiras, das 21 às 22h40.
- Horário Atendimento do Professor
- Quartas, das 10 às 12h00 e das 18 às 19h00. Local: sala 3-153.
- Horário Atendimento do Monitor
- Terças, das 17h30 às 19h00 e Quintas, das 17h00 às 18h30. Local: sala 3-010 ou 3-011.
Programa do Curso
Programa do Curso (apresentação)
Material Didático
- Capítulo 1 - Linguagens Regulares e Autômatos Finitos
- Capítulo 2 - Linguagens Livres de Contexto e Autômatos de Pilha
- Capítulo 2 - Versão 2
- 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
Trabalhos Práticos
Listas de Exercícios
- Lista de Exercícios - Capítulo 1
- Lista de Exercícios - Capítulo 2
- Lista de Exercícios - Capítulo 3
- Lista de Exercícios - Capítulo 4
Datas Importantes
Notas
Links Importantes
Ementa do Curso [1]