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 Turing. Entender e saber utilizar a teoria das linguagens regulares. Compreender o conceito de computabilidade e seus limites. Entender e saber utilizar os mecanismos da lógica para raciocinar sobre programas imperativos. (Experimentar os conceitos e técnicas em ambiente simbólico interactivo) 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. Autómatos de pilha. Hierarquia de Chomsky. Apresentação

4 Programa (continuação)
Máquinas de Turing. 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. Correção de programas. Cálculo de Hoare para a verificação da correcção parcial e total de programas imperativos. Apresentação

5 Bibliografia N. D. Jones. Computability and Complexity from a Programming Perspective , MIT, N. Cutland. Computability: An Introduction to Recursive Function Theory, Cambridge University Press, 1980. M. Sipser. Introduction to the Theory of Computation, PWS Publishing Company, 1997. K. R. Apt, E.-R. Olderog. Verification of sequential and concurrent programs, Springer-Verlag, 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. C. Sernadas. Introdução à Teoria da Computação, Editorial Presença, 1993. Apresentação

6 Avaliação Avaliação por frequência
    Três provas de frequência (F1, F2 e F3), Avaliação contínua (AC) Nota final = 70%(F1+F2+F3)/ % AC Data das avaliações: F1 – 12 de Março F2 – 23 de Abril F3 – 23 de Maio Avaliação por Exame e Exame de Recurso   NE=nota do Exame escrito         Se NE >= 8,5 então a Nota Final é melhor nota entre a) e b) onde Nota Final = NE Nota Final = 70% NE+ 30% AC Senão Nota final = NE  (não há provas orais) Apresentação

7 Horário de Atendimento durante o período de aulas
Atendimento para esclarecimento de dúvidas durante o período de aulas (proposta) 5ª-feira das 11:15 às 12:15 no 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 Estas e outras informações bem como material de apoio à disciplina serão disponibilizados em (ou na página da docente se houver problemas no acesso ao Moodle) Apresentação

8 Funcionamento da Avaliação Contínua (AC)
Serão feitos pequenos exercícios na aula (alguns com consulta , outros sem) que serão entregues para avaliação. Contará também a participação na aula em outras actividades. A classificação dos trabalhos da AC tem 3 níveis: 0 – Se não fez ou se fez errado 0,5 - Se fez mas incompleto ou com pequenas incorrecções 1- Se fez correctamente e na totalidade No final é feita a média da AC e convertida para a escala [0-20]. As duas notas mais baixas não contam para o cálculo da média. A qualquer altura poderão contactar a docente para saber qual a sua AC até ao momento. Apresentação