Objectivos, Programa, Bibliografia e Avaliação

Apresentação em tema: "Objectivos, Programa, Bibliografia e Avaliação"— Transcrição da apresentação:

1 Objectivos, Programa, Bibliografia e Avaliação
Teoria da Computação Licenciatura em Ciência e Tecnologia da Computação Licenciatura em Engenharia Informática e de Computadores (Prep.) Docente: Elisabete Raposo Freire Objectivos, Programa, Bibliografia e Avaliação

2 Objectivos Aprender a trabalhar com modelos computacionais comuns, desde os autómatos finitos às máquinas de registos. Entender e saber utilizar a teoria das linguagens regulares. Compreender o conceito de computabilidade e seus limites. Apresentação

3 Programa Autómatos finitos deterministas. Propriedades de fecho de linguagens regulares. Equivalência e minimização de autómatos finitos deterministas. Lema da bombagem para linguagens regulares. Autómatos finitos não deterministas. Equivalência de autómatos finitos deterministas e não deterministas relativamente às linguagens reconhecidas. Gramática, gramática livre de contexto e gramática regular. Expressões regulares. Raciocínio sobre expressões regulares. Conversão entre as diferentes representações de linguagens regulares. Apresentação

4 Programa (continuação)
Máquina URM. Funções computáveis e predicados decidíveis. A classe das funções parciais recursivas: definição indutiva (estudo detalhado da composição, recursão e minimização). Teorema de Kleene: identidade das classes das funções computáveis pela máquina URM e das funções parciais recursivas. Gödelização de programas URM. Existência de funções não computáveis: diagonalização. O teorema s-m-n e o teorema de Rice. Funções universais e programa universal. Problemas clássicos da computabilidade e da decidibilidade e aplicações. Apresentação

5 Bibliografia N. Cutland. Computability: An Introduction to Recursive Function Theory, Cambridge University Press, 1980. C. Sernadas. Introdução à Teoria da Computação, Editorial Presença, 1993. M. Sipser. Introduction to the Theory of Computation, PWS Publishing Company, 1997. J. Hopcroft, R. Motwani e J. Ullman. Introduction to Automata Theory, Languages, and Computation, Addison Wesley, 2001. D. Mandrioli e C. Ghezzi. Theoretical Foundations of Computer Science, John Wiley, 1987. Apresentação

6 Avaliação Avaliação por frequência
Os alunos têm de frequentar pelo menos 50% das aulas Nota final = % Prova de Frequência 1 + 30% Prova de Frequência 2 + 30% Prova de Frequência 3 +10% avaliação contínua Datas das Provas de Frequência 15 Março, 24 Abril e 29 Maio Exame e Época de Recurso Nota Final =Nota do Exame escrito (Não há provas orais) Apresentação

7 Horário de Atendimento durante o período de aulas
Horário de atendimento durante o período de aulas (proposta) 2ª feira das 09:15 às 10:15 Local: Gabinete da docente Nota: As sessões de dúvidas consideram-se encerradas se 15min após o seu início nenhum aluno tiver comparecido. Carga horária semanal: aulas teóricas 3horas aulas práticas 2horas estudo recomendado 3horas Apresentação