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 http://www.uac.pt/~efreire/ Objectivos, Programa, Bibliografia e Avaliação
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
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
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
Bibliografia N. D. Jones. Computability and Complexity from a Programming Perspective , MIT, 1997. 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
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)/3 + 30% 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
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 http://moodle.uac.pt/ (ou na página da docente se houver problemas no acesso ao Moodle) Apresentação
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