SCC-505-2012(erickrf)

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)

Aluno PAE: Erick Rocha Fonseca (erickrf at icmc dot usp dot br)