Programa da Unidade Curricular COMPLEMENTOS DE PROGRAMAÇÃO Ano Lectivo 2009/2010 1. 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 Friday, March 05, 2010 1/6
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.00 10. 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. 1.2. Introduzir a prática do paradigma funcional com Lisp. 1.3. Caracterizar o paradigma lógico, comparando-os com os outros. 1.4. Introduzir a prática do paradigma funcional com Prolog. 2.1. Conhecer as abordagens da programação funcional e lógica na resolução de problemas. 2.2. 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. Friday, March 05, 2010 2/6
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 2.2.1. Átomos 2.2.2. Operações lógicas; selecção simples e multipla 2.2.3. Definição de funções 2.2.4. Funções recursivas 2.2.5. Funções lambda 2.2.6. Tipos aglomerados; Listas 2.2.7. 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 2.1.1. Horn Clause Logic 2.1.2. Factos, Regras e Teoria 2.1.3. Goals 2.1.4. Exercícios em Prolog 2.2. O Motor de Inferência do Prolog 2.2.1. Funcionamento do Motor de Inferência 2.2.2. Operações de Resolução e de Unificação 2.2.3. Bactracking 3.3. Recursividade 3.3.1. Aplicação da recursividade na construção de teorias 3.3.2. Exercícios em Prolog 19. Métodos de Avaliação Friday, March 05, 2010 3/6
Avaliação Contínua (AC) vale 60% da nota final (NF) se AC>= 8 e AC>Frequência(F): 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. Se F>AC, prevalece a nota da F. A não aprovação na AC e F leva a Exame. 20. Recursos Didácticos Computadores nas aulas práticas com os compiladores Lisp (LispWorks) e Prolog (VisualProlog); Dispositivo projector de conteúdos digitais (Data-show), ligado ao computador. 21. Palavras Chave Programação funcional; Lisp; Programação lógica; Prolog. Friday, March 05, 2010 4/6
23. Bibliografia Principal Autor(es): SEIBEL, Peter Pratical Common Lisp Edição: Berkeley Editora: Apress Ano: 2005 Autor(es): COSTA, Eduardo Visual Prolog for Tyros Edição: Ano: 2007 Editora: livro digital Autor(es): Edição: Editora: Ano: 24. Bibliografia Complementar Autor(es): Dershem, H. Jipping, M. Programming Languages: Structures and Models Edição: 2.ª Ano: 1990 Boston Editora: Wadsworth Publishing Company Autor(es): Luger, George Stubblefield, William The Java, PROLOG and LISP Companion Edição: 6.ª Ano: 2008 Editora: Addison Wesley Friday, March 05, 2010 5/6
Ficha técnica MIP Título Autor Programa da unidade curricular 'COMPLEMENTOS DE PROGRAMAÇÃO': Ano Lectivo 2009/2010 Prof. Doutor PAULO ANTONIO ENES DA SILVEIRA Classificação Descritores Colaborador(es) Data/Hora Formato de dados Estatuto de utilização Relação - - - 10/7/2009 4:20:00PM Texto, PDF Acesso público Versão 1.0 (c) Universidade Lusíada de Lisboa, 2010 Friday, March 05, 2010 6/6