UNIVERSIDADE LUSÍADA DE LISBOA. Programa da Unidade Curricular COMPLEMENTOS DE PROGRAMAÇÃO Ano Lectivo 2010/2011

Transcrição

1 Programa da Unidade Curricular COMPLEMENTOS DE PROGRAMAÇÃO Ano Lectivo 2010/ Unidade Orgânica Ciências da Economia e da Empresa (1º Ciclo) 2. Curso Engenharia Informática 3. Ciclo de Estudos 1º 4. Unidade Curricular COMPLEMENTOS DE PROGRAMAÇÃO (L9013) 5. Área Científica 6. Ano curricular 2º 7. Tipo de Unidade Curricular / Semestre 1º Semestre terça-feira, 14 de Setembro de /6

2 8. Tipo de aula e carga horária (tempo de trabalho) Aulas Teóricas: Aulas Práticas: Aulas Teórico-práticas: 30,00 Orientação Tutorial: 20,00 9. Créditos 6, Coordenador da Área Científica 11. Regente Prof. Doutor PAULO ANTONIO ENES DA SILVEIRA 12. Assistentes 13. Língua de ensino Português 14. Objectivos Gerais 1. Introduzir aos paradigmas funcional e lógico, com prática das linguagens Lisp e Prolog. 2. Conhecer modelos e técnicas de programação que ainda não se abordaram nas disciplinas anteriores de programação. 15. Objectivos Específicos 1.1. Caracterizar do paradigma funcional, comparando-os com outros Introduzir a prática do paradigma funcional com Lisp Caracterizar o paradigma lógico, comparando-os com os outros Introduzir a prática do paradigma funcional com Prolog Conhecer as abordagens da programação funcional e lógica na resolução de problemas Reconhecer as categorias de problemas que encontram a solução adequada nos modelos funcional ou lógico. 16. Competências a adquirir 1. Conhecimento dos paradigmas da programação funcional e lógico. 2. Ter conhecimento básico de Lisp e Prolog. 3. Saber identificar categorias de problemas a resolver com recurso à programação do modelo funcional ou lógico. terça-feira, 14 de Setembro de /6

3 17. Metodologia de ensino 1. As aulas teóricas abordam as matérias com exemplos práticos, com apontamentos e refrências bibliográficas. 2. As aulas práticas são dedicadas à prática dos paradigmas funcional e lógico com as linguagens Lisp e Prolog. 18. Conteúdos Programáticos I. Paradigma funcional 1. Caracterização do paradigma funcional e sua comparação com outros paradigmas 2. Estudo de Lisp 2.1. Princípios fundamentais do Lisp 2.2. Apresentação e estudo prático da linguagem Lisp Átomos Operações lógicas; selecção simples e multipla Definição de funções Funções recursivas Funções lambda Tipos aglomerados; Listas Definição e utilização de Macros II. Paradigma lógico 1. Caracterização do paradigma lógico e sua comparação com outros paradigmas 2. Estudo de Prolog 2.1. O Sistema formal do Prolog Horn Clause Logic Factos, Regras e Teoria Goals Exercícios em Prolog 2.2. O Motor de Inferência do Prolog Funcionamento do Motor de Inferência Operações de Resolução e de Unificação Bactracking 3.3. Recursividade Aplicação da recursividade na construção de teorias Exercícios em Prolog 19. Métodos de Avaliação terça-feira, 14 de Setembro de /6

4 Avaliação Contínua (AC) 1. Testes escritos: 30%; 2. Trabalhos: 25%; 3. Oral: 25%; 4. Conferências, visitas: 10%; 5. Outros (componente prática): 10%. As componentes 1 e 2 são obrigatórias. Na ausência de outras a distribuição de ponderações será feita de forma proporcional. A presença nas aulas deve ser >= 70% para validar a AC. Deve consultar-se o novo regulamento de avaliação. 20. Recursos Didácticos Computadores nas aulas práticas com os compiladores Lisp (Lisp Works) e Prolog (Visual Prolog ); Dispositivo projector de conteúdos digitais (Data-show), ligado ao computador. 21. Palavras Chave Programação funcional; Lisp; Programação lógica; Prolog. terça-feira, 14 de Setembro de /6

5 23. Bibliografia Principal Autor(es): SEIBEL, Peter Pratical Common Lisp Edição: Berkeley Editora: Apress 2005 Autor(es): Edição: Editora: COSTA, Eduardo Visual Prolog 7.3 for Tyros livro digital 2010 Autor(es): Edição: Editora: 24. Bibliografia Complementar Autor(es): Dershem, H. Jipping, M. Programming Languages: Structures and Models Edição: 2.ª 1990 Boston Editora: Wadsworth Publishing Company Autor(es): Luger, George Stubblefield, William The Java, PROLOG and LISP Companion Edição: 6.ª 2008 Editora: Addison Wesley terça-feira, 14 de Setembro de /6

6 Ficha técnica MIP Título Autor Programa da unidade curricular 'COMPLEMENTOS DE PROGRAMAÇÃO': Ano Lectivo 2010/2011 Prof. Doutor PAULO ANTONIO ENES DA SILVEIRA Classificação Descritores Colaborador(es) Data/Hora Formato de dados Estatuto de utilização Relação :06:00 Texto, PDF Acesso público Versão 1,0 (c) Universidade Lusíada de Lisboa, 2010 terça-feira, 14 de Setembro de /6