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 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)

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. Autómatos de pilha. Hierarquia de Chomsky.

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

5 Apresentação 5  N. D. Jones. Computability and Complexity from a Programming Perspective, MIT,  N. Cutland. Computability: An Introduction to Recursive Function Theory, Cambridge University Press,  M. Sipser. Introduction to the Theory of Computation, PWS Publishing Company,  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,  D. Mandrioli e C. Ghezzi. Theoretical Foundations of Computer Science, John Wiley,  C. Sernadas. Introdução à Teoria da Computação, Editorial Presença, Bibliografia

6 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)/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 a)Nota Final = NE b)Nota Final = 70% NE+ 30% AC Senão Nota final = NE (não há provas orais)

7 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)

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


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