UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular OPÇÃO 3 - TEORIA DA COMPUTAÇÃO Ano Lectivo 2011/2012

Transcrição

1 Programa da Unidade Curricular OPÇÃO 3 TEORIA DA COMPUTAÇÃO Ano Lectivo 2011/ Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Informática 3. Ciclo de Estudos 1º 4. Unidade Curricular OPÇÃO 3 TEORIA DA COMPUTAÇÃO (26195) 5. Área Científica 6. Ano curricular 3º 7. Tipo de Unidade Curricular / Semestre 2º Semestre Thursday, February 16, /5

2 8. Tipo de aula e carga horária (tempo de trabalho) Aulas Teóricas: Aulas Práticas: Aulas Teóricopráticas: Orientação Tutorial: Créditos Coordenador da Área Científica 11. Regente Prof. Doutor JOSÉ COELHO RAMOS 12. Assistentes 13. Língua de ensino Português 14. Objectivos Gerais Desenvolver o conhecimento dos alunos na área da Teoria da Computação e criar competências nesse domínio. Possibilitar o seguimento das matérias de outras unidades curriculares e o acompanhamento dos desenvolvimentos tecnológicos. 15. Objectivos Específicos A unidade curricular tem as seguintes vertentes de estudo: Fundamentos da Teoria da Computação. Aplicações no domínio das Ciências Informáticas. 16. Competências a adquirir SABER: Conceitos fundamentais de Teoria da Computação. Aplicar esse conhecimento ao estudo das tecnologias nos diversos ramos da especialidade. FAZER: Criar uma base de competências nesta área de conhecimento. Desenvolver a capacidade da sua utilização no contexto das aplicações Thursday, February 16, /5

3 17. Metodologia de ensino 1. Sessões teórico práticas com exposição dos conteúdos programáticos, motivando a participação dos alunos. com análise e discussão de casos de aplicação. 2. Trabalho autónomo e individual dos alunos em seguimento das aulas. 3. Sessões para orientação tutorial, com realização de exercícios e trabalhos práticos. 18. Conteúdos Programáticos 1. Linguagens e gramáticas. 2. Expressões regulares e linguagens regulares. 3. Processadores de linguagens. Análise léxica, sintáctica e semântica. 4. Modelos deterministicos e não determinísticos. 5. Autómatos finitos. 6. Modelos de Mealy e Moore. 7. Classificação de Chomsky. Gramáticas independentes do contexto. 8. Autómatos de pilha. 9. Tese de ChurchTuring. 10. Máquina de Turing. 11. Aplicações em sistemas de informática. Redes de Petri. 19. Métodos de Avaliação Grau de assiduidade mediante o registo de presenças em aula. Realização de exercícios e trabalhos práticos, para desenvolvimento de competências. Acompanhamento do nível de aprendizagem e grau de participação dos alunos,mediante análise dos trabalhos realizados. 20. Recursos Didácticos Bibliografia Fichas de estudo (elaboradas pelo docente) Visionamento de vídeos Projecção computacional ou em acetatos de elementos complementares de estudo Recursos adequados à realização de trabalhos práticos. Thursday, February 16, /5

4 21. Palavras Chave Linguagens Gramáticas Autómatos Computação Sistemas 23. Bibliografia Principal 1ª Sernadas, Cristina Introdução à Teoria da Computação. Lisboa Presença 1993 Sipser, Michael Introduction to the Theory of Computation USA MITPWS Publishing company 1997 Ghezzi, C. ; Mandrioli, D. Theoretical Foundations of Computer Science UK John Wiley Bibliografia Complementar Crespo, R.G. Processadores de linguagens, da concepção à implementação 1998 Lisboa IST Press Thursday, February 16, /5

5 Ficha técnica MIP Título Autor Programa da unidade curricular 'OPÇÃO 3 TEORIA DA COMPUTAÇÃO': Ano Lectivo 2011/2012 Prof. Doutor JOSÉ COELHO RAMOS Classificação Descritores Colaborador(es) Data/Hora Formato de dados Estatuto de utilização Relação 7/29/2011 6:26:00PM Texto, PDF Acesso público Versão 1.0 (c) Universidade Lusíada de Lisboa, 2012 Thursday, February 16, /5