SCC-505(joaoluis)

• 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.

Quadro de Avisos

• 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).

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

• Trabalho Prático em Grupo 1

• Trabalho Prático em Grupo 2

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

Notas

• Notas P1

• Resolução P1

• Notas P2 e médias de provas

• Resolução P2

• Notas T1

• Notas T2

• Médias Finais

Links Importantes

Ementa do Curso [1]