SCC-505(joaoluis)

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.

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 e Quintas, das 17h30 às 19h00. 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

Trabalhos Práticos

• Trabalho Prático em Grupo 1

Listas de Exercícios

• Lista de Exercícios - Capítulo 1
• Lista de Exercícios - Capítulo 2

Links Importantes

Ementa do Curso [1]