A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Teoria da Computação Licenciatura em Ciência e Tecnologia da Computação Licenciatura em Engenharia Informática e de Computadores (Prep.) Docente: Elisabete.

Apresentações semelhantes


Apresentação em tema: "Teoria da Computação Licenciatura em Ciência e Tecnologia da Computação Licenciatura em Engenharia Informática e de Computadores (Prep.) Docente: Elisabete."— Transcrição da apresentação:

1 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 Apresentaçã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.

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

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

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

6 Apresentação 6 Avaliação Avaliação por frequência Os alunos têm de frequentar pelo menos 50% das aulas Nota final = 30% Prova de Frequência % Prova de Frequência % 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)

7 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


Carregar ppt "Teoria da Computação Licenciatura em Ciência e Tecnologia da Computação Licenciatura em Engenharia Informática e de Computadores (Prep.) Docente: Elisabete."

Apresentações semelhantes


Anúncios Google