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

Transcrição

1 Programa da Unidade Curricular COMPLEMENTOS DE PROGRAMAÇÃO Ano Lectivo 2016/ 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 quarta-feira, 27 de Julho 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 os 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 o paradigma funcional, comparando-os com outros Introduzir a prática do paradigma funcional com Lisp Caracterizar o paradigma lógico, comparando-os com outros Introduzir a prática do paradigma lógico 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 e 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 dos modelos funcional e lógico. quarta-feira, 27 de Julho de /6

3 17. Metodologia de ensino UNIVERSIDADE LUSÍADA DE LISBOA 1. As aulas teóricas abordam as matérias com apontamentos específicos, com exemplos práticos e refrências bibliográficas. 2. As aulas práticas são dedicadas à prática dos paradigmas funcional e lógico com a utilização das 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 Princípios fundamentais do Lisp Apresentação e estudo prático da linguagem Lisp Átomos Operações lógicas; selecção simples e múltipla 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 Novos exercícios em Prolog 19. Métodos de Avaliação quarta-feira, 27 de Julho de /6

4 A Avaliação Contínua (AC) segue o regulamento de avaliação da Universidade Lusíada de Lisboa, com ênfase nas seguintes componentes obrigatórias: 1. Dois Testes escritos; 2. Trabalhos práticos. A presença nas aulas deve ser >= 60% para validar a AC. 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 Paradigmas da Programação quarta-feira, 27 de Julho 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 Visual-prolog.com livro digital 2010 Autor(es): Edição: Editora: Boer, Thomas W. A Beginners' Guide to Visual Prolog pdf Visual-prolog.com livro digital 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 quarta-feira, 27 de Julho de /6

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