Ciências da Computação

8503N3 - Comunicações por Computador Regime: S1 Tipo: Obrigatória Língua de Instrução: Português Horas/Semana: 56 Créditos: 5 Métodos de Ensino: 2 horas/semana de exposição teórica; 2 horas/semana de realização de trabalhos práticos. Programa: Introdução à comunicação de dados. Elementos protocolares. Controlo da ligação de dados. O protocolo HDLC. Redes de computadores. Protocolos da pilha TCP/IP. Interligação de redes TCP/IP. Métodos de Avaliação: Exame escrito (60%);  Componente Experimental (25%); Trabalho de desenvolvimento (15%) Pré-requisitos: Nenhuns. Resultados de Aprendizagem: Os alunos devem ser capazes de: (i) discutir os conceitos fundamentais sobre comunicação de dados, protocolos de comunicação, famílias de protocolos e sua arquitectura, incluindo os elementos protocolares mais comuns; (ii)  analisar e instanciar esses conceitos, em especial, no nível de ligação de dados; (iii)  ter uma visão global e crítica sobre as redes locais de computadores (com e sem fios) e do seu funcionamento; (iv) explicar em detalhe os principais protocolos TCP/IP e os princípios da interligação de redes TCP/IP. Bibliografia: MSL, Comunicações por Computador, Notas de apoio às aulas teóricas, Grupo de Comunicações por Computador, DI/UM, 2007. J. Kurose and K. Rose, Computer Networking: A Top Down Approach Featuring The Internet, Addison-Wesley, ISBN: 0-321-49770-8, 4th Edition 2008; W.Stallings, Data and Computer Communications, 8ª Edição, Prentice Hall, ISBN: 0- 13-2433109, 2007. A.S.Tanenbaum, Computer Networks, 4ª Edição, Prentice Hall, ISBN: 0130661023, 2003. E.Monteiro e F.Boavida, Engenharia de Redes Informáticas, 3ª Edição, FCA, 2000; Docentes: Maria Solange Pires Ferreira Rito Lima

8503N4 - Estruturas Algébricas Regime: S1 Tipo: Obrigatória Língua de Instrução: Português Horas/Semana: 6 Créditos: 7 Métodos de Ensino: Aulas teóricas (3 horas/semana); aulas teórico-práticas (3 horas/semana). Programa: Introdução à teoria de grupos. Introdução à teoria de anéis. Reticulados e álgebras de Boole. Introdução à álgebra universal. Métodos de Avaliação: Avaliação periódica/Exame final escrito. Pré-requisitos: Elementos das teorias de conjuntos e de números. Resultados de Aprendizagem: Um aluno com aprovação  a esta disciplina  deverá ser capaz de: 1 - compreender a noção de álgebra e, em particular, a noção de operação de aridade n,  sabendo efectuar cálculos com operações; 2 - distinguir algumas das classes importantes de álgebras mais importantes tais como grupos, anéis, reticulados e álgebras de Boole,  reconhecendo as suas propriedades fundamentais; 3 - reconhecer homomorfismos e interpretar propriedades com eles relacionadas; 4 - aplicar operadores sobre álgebras, identificando as álgebras obtidas; 5 - identificar álgebras quociente; 6 - resolver problemas e efectuar demonstrações de resultados básicos da disciplina. Bibliografia: B.A. Davey e H.A. Priestley. Introduction to lattices and order, Cambridge Univ. Press, 1990. J.B. Fraleigh. A First Course in Abstract Algebra, Addison-Wesley, 1982. T.W. Hungerford, Algebra, Springer, 1996. S. Burris e H. P. Sankappanavar, A Course in Universal Algebra, Springer-Verlag, 1981. Docentes: Carla Albertina Carvalhinho da Silva Mendes

8503N5 - Lógica Regime: S1 Tipo: Obrigatória Língua de Instrução: Português Horas/Semana: 56 Créditos: 5 Métodos de Ensino: 2 horas/semana – aulas teóricas. 2 horas/semana – aulas teórico-práticas. Programa: Sintaxe e semântica da Lógica Clássica Proposicional; formas normais conjuntivas e disjuntivas; sistema formal de dedução natural; Teoremas da correcção e completude. Sintaxe, semântica de Tarski  e dedução natural para a Lógica Clássica de Primeira Ordem; Introdução à Lógica Intuicionista Proposicional: semântica de Kripke; Dedução natural;  interpretação de Godel em Lógica Clássica. Métodos de Avaliação: Avaliação periódica (2 testes escritos) ou exame final escrito. Pré-requisitos: Noções elementares de Teoria de Conjuntos. Resultados de Aprendizagem: Com a aprovação na disciplina, o aluno deverá ser capaz de: 1. manipular sintaxe formal da lógica proposicional e lógica de 1ª ordem; 2. usar fórmulas da lógica de 1ª ordem para representar frases  em linguagem natural; 3. dar significado a fórmulas e decidir o seu valor lógica, no contexto de uma interpretação; 4. explicar e construir demonstrações  formais em dedução natural proposicional e de 1ª ordem; 5. descrever algumas das consequências dos teoremas da correcção e completude; 6. explicar diferenças entre validade intuicionista e validade clássica. Bibliografia: 1. Logic and structure, van Dalen, Springer 2. Language, Proof and Logic, Barwise and Etchemendy, CSLI Publications Docentes: Luís Filipe Ribeiro Pinto Carla Albertina Carvalhinho da Silva Mendes

8504N1 - Cálculo de Programas Regime: S2 Tipo: Obrigatória Língua de Instrução: Português Horas/Semana: 70 60 Créditos: 6 Métodos de Ensino: Aulas teóricas, teórico-práticas e práticas. Programa: Combinadores e Leis de Cálculo da Programação Funcional. Estruturas de dados indutivas regulares e sua Állgebra de programação. Introdução à programação genérica. Motivação. Teoria e método em programação. Cálculo e raciocínio sobre programas. Composicionalidade. Combinadores de programas. Modularidade e reutilização. «Pacotes» de programação. * Programação funcional: sua motivação e antecendentes históricos. Composição de funções. Noções de abstracção e de isomorfismo. Inferência de tipos segundo o método Hindley-Milner. * Iniciação à estruturação de dados. Combinadores básicos e suas propriedades estruturais (reflexão, fusão, absorção, cancelamento e de functorialidade). Álgebra de um tipo de dados. Lei da troca. * Introdução às estruturas de dados indutivas regulares. Álgebras de functores. A triologia «cata-ana-hilo». Recursividade polinomial. Caso de estudo: algoritmos de ordenação. * Regras para codificação de estruturas de dados funcionais na linguagem de programação C. * Parametrização e polimorfismo. Programação genérica. Functores de tipo. Introdução ao politipismo. * Programação modular. * Programação funcional com mónadas. `Input/output'. Excepções. Métodos de Avaliação: Exame escrito e trabalho prático. Provas individuais sem consulta e trabalhos práticos Pré-requisitos: Conhecimentos básicos de programação funcional e estruturas de dados. Programação Funcional Resultados de Aprendizagem: Ser capaz de estabelecer raciocínios equacionais simples sobre programas funcionais. Escrever programas funcionais com recurso a padrões de recursividade do tipo "fold" e "unfold" sobre tipos de dados regulares arbitrários.   Ser capaz de estabelecer raciocí­nios equacionais simples sobre programas recursivos genéricos nos tipos de dados.  Interpretar programas funcionais arbitrários como hilomorfismos. É objectivo desta disciplina o ensino de um método construtivo de programação que se baseia no desenvolvimento de programas de uso genérico que são componíveis entre si. Dá-se particular ênfase ao estudo de combinadores de programas e suas propriedades básicas, sendo desta forma introduzidas as bases da Álgebra da Programação. Com aprovação nesta disciplina os alunos ficam com uma bagagem que lhes permite escrever com facilidade programas arbitrariamente complexos, de uso geral, com elevados índices de reutilização. As técnicas que se ensinam para raciocinar sobre programas conduzem a soluções finais eficientes que se podem transportar para outros paradigmas de programação de uso mais generalizado. Bibliografia: J.N. Oliveira, An Introduction to Pointfree Programming, DIUM 1999. J.N. Oliveira, Recursion in the Pointfree Style, DIUM 1999. [Bir98] R. Bird. Introduction to Functional Programming Using Haskell . Series in Computer Science. Prentice-Hall International, 2nd edition, 1998. C. A. R. Hoare, series editor. [Hu00] P. Hudak. The Haskell School of Expression - Learning Functional Programming Through Multimedia . Cambridge University Press, 1st edition, 2000. ISBN 0-521-64408-9. [Ol99a] J.N. Oliveira. An Introduction to Pointfree Programming. 37p., Departamento de Informática, Universidade do Minho, 1999. [Ol99b] J.N. Oliveira. Recursion in the Pointfree Style. 33p., Departamento de Informática, Universidade do Minho, 1999. [Ol01a] J.N. Oliveira. A Quick Look at Monads, 2001. Departamento de Informática, Universidade do Minho. Chapter of book in preparation. [VB00] J.M. Valença and J.B. Barros. Fundamentos da Computação II: Programação funcional. Universidade Aberta, 2000. ISBN 972-674-318-4, 234 p. Docentes: José Nuno Fonseca Oliveira Olga Maria Pacheco Jorge Miguel Matos Sousa Pinto

8504N2 - Lógica Computacional Regime: S2 Tipo: Obrigatória Língua de Instrução: Português Horas/Semana: 70 Créditos: 6 Métodos de Ensino: Aulas teóricas, teórico-práticas e práticas. Programa: Lógica proposicional:  Cálculo de Sequentes; Tableaux, Resolution, Davis-Putnam; BDDs. Lógica de primeira ordem: Cálculo de Sequentes; Formas Prenex/Herbrand/Skolen; Resolução proposicional em LPO; Unificação de fórmulas; Resolução de Primeira Ordem. Cláusulas de Horn e resolução SLD. Analogia de Curry-Howard: Sistemas de anotação para a dedução natural; Igualdade de derivações e processo de normalização; Lambda-calculus com tipos simples e analogia de Curry-Howard. Programação Lógica: Utilização do Prolog; Processo de Inferência e “backtracking”; Predicado Cut; Predicados de ordem superior; estratégia gerar-e-testar. Métodos de Avaliação: Exame escrito. Pré-requisitos: Noções elementares de Matemática Discreta e Lógica. Resultados de Aprendizagem: Tirar partido de métodos eficientes para verificar a validade de fórmulas de lógica proposicional. Justificar o mecanismo de resolução na verificação de inconsistência de teorias lógicas de primeira ordem. Explorar as características da linguagem Prolog para resolver problemas de complexidade intermédia. Bibliografia: Proof Theory and Automated Deduction. Jean Goubault-Larrecq & Ian Mackie , Kluwer Academic Publishers, 1997. From Logic to Logic Programming. Kees Doets, MIT Press, 1994. Proofs and Types. Jean-Yves Girard & Yves Lafont & Paul Taylor, Cambridge University Press, 1990. Docentes: José Carlos Bacelar Almeida.

8504N3 - Processamento de Linguagens e Compiladores Regime: S2 Tipo: Obrigatória Língua de Instrução: Português Horas/Semana: 70 Créditos: 6 Métodos de Ensino: Aulas Teóricas (2h/semana); Teórico-Prática(1h/semana), Laboratoriais(2h/semana). Programa: Introdução ao Processamento de Linguagens: Revisão da noção de interpretador e compilador; Arquitectura de um processador de linguagens: análise léxica, análise sintáctica e análise semântica; Conceito de Linguagem e de Gramática; Os vários tipos de linguagens e gramáticas: hierarquia de Chomsky. Linguagens Regulares e Análise Léxica: conceito; Especificação de linguagens regulares com expressões regulares; Reconhecimento de linguagens especificadas com expressões regulares: o conceito de autómato; Conversão de Expressões Regulares em Autómatos Finitos Determinísticos; A ferramenta flex como gerador de autómatos; Utilização do flex como gerador de processadores para linguagens regulares. Linguagens não Regulares e Análise Sintáctica: Linguagens e Gramáticas Independentes de Contexto; Estrutura e funcionamento de um parser; Parsing Top-Down e a verificação da condição LL(1); Conflitos LL(1) e a sua resolução; Parsing Top-Down: o recursivo-descendente, o dirigido por tabela; Parsing Bottom-UP: estrutura e funcionamento; Autómatos LR(0) e os conflitos shift/reduce e reduce/reduce; Autómato SLR(1) e a resolução de conflitos LR(0); Autómato LALR(1); Utilização da ferramenta yacc como gerador de parsers Bottom-UP. Análise Semântica e Transformação (reacção) especificada via Gramáticas Tradutoras (GT) ---Tradução Dirigida pela Sintaxe: Como construir a representação intermédia: árvore de sintaxe abstracta; Conceito de gramática concreta e gramática abstracta; Derivação da representação intermédia a partir da gramática abstracta; Construção da representação intermédia em processadores gerados pelo yacc; Transformações sobre a representação intermédia. Métodos de Avaliação: 60% (Exame ou Teste) + 40% (Projecto Laboratorial) Pré-requisitos: Programação Imperativa Resultados de Aprendizagem: Competências Genéricas: a capacidade de comunicação escrita e oral na apresentação e discussão dos processos usados e resultados obtidos; a capacidade de utilização de utilitários genéricos de informática em ambiente Linux e de elaboração de documentos anotados. Competências específicas de Processamento de Linguagens: a capacidade de especificar linguagens de domínio específico através de .gramáticas e/ou expressões regulares; a capacidade de desenvolver processadores para essas linguagens; a capacidade de transformar qualquer formato textual num outro formato; a capacidade de especificar e implementar “front-ends” e “back-ends” para qualquer tipo de aplicação. Bibliografia: Aho , Sethi , Ullman , Compiler Principles, Techniques and Tools , Addison-Wesley , 1986 . R. G. Crespo , Processadores de Linguagens: da concepção à implementação , IST-Press , 1998 Pittman , Peters , The Art of Compiler Design: theory and pratice , Prentice-Hall , 1992 . Docentes: José Carlos Ramalho José João Almeida

8504N4 - Programação Orientada aos Objectos Regime: S2 Tipo: Obrigatória Língua de Instrução: Português Horas/Semana: 70 Créditos: 6 Métodos de Ensino: Teóricas (2h/semana); Teorico-Prática(1h/semana), Laboratoriais(2h/semana). Programa: O Paradigma da programação por Objectos: Abstracção de Dados, enacapsulamento e Modularidade. Objectos: estrutura e comportamento. Mensagens. Classes, hierarquia e herança. Herança versus Composição. Classes abstractas. O princípio da substituição. Dynamic binding. Polimorfismo. JAVA5: Plataforma J2SE5: JDK5, JVM e byte-code. Construções básicas: tipos primitivos e operadores. Estruturas de controlo. I/O básico. Arrays. Nível dos objectos: Classes e instâncias. Construtores. Métodos e variáveis de instância. Modificadores de acesso. Importação normal e estática. Métodos e variáveis de classe. Métodos Vararg. Hierarquia de classes e herança. Overloading e overriding de métodos. Classes Abstractas. Interfaces e tipos definidos pelo utilizador. Tipo estático e dinâmico. Dynamic method lookup. Polimorfismo e extensibilidade. JCF: tipos parametrizados. Colecções genéricas. Interfaces parametrizadas. Iteradores. Tipos List, Map e Set. Tipos Enumerados. Streams: de caracteres, de bytes e de objectos. Classes Genéricas. BlueJ: Estudo e uso prático do IDE BlueJ. Métodos de Avaliação: Projecto de grupo(45%) e exame teórico(55%). Pré-requisitos: Conhecimentos prévios de programação e estruturas de dados. Resultados de Aprendizagem: a) Compreender os conceitos fundamentais da PPO( Objectos, Classes, Herança e Polimorfismo); b) Compreender como os conceitos básicos da PPO são implementados em construções JAVA; c) Compreender princípios e técnicas a empregar em programação de larga escala; d) Desenvolver o modelo de classes e interfaces para um dado problema de software (modelação); e) Desenvolver e implementar aplicações Java de média escala, seguras, robustas e extensíveis. Bibliografia: JAVA5 e Programação por Objectos, F. Mário Martins, Editora FCA, Série Tecnologias de Informação, Setembro de 2006. - An Introduction to Object Oriented Programming, T. Budd, Addison-Wesley, 2nd Edition, 1997. - Java in a Nutshell, D. Flanagan, O´Reilly & Associates, 3th. Edition, 1999. - Core Java, G. Cornell, C. Horstmann, Prentice-Hall, 1996. Docentes: Fernando Mário Junqueira Martins António Manuel Nestor Ribeiro António José Borba Ramires Fernandes

8504N5 - Sistemas Operativos Regime: S2 Tipo: Obrigatória Língua de Instrução: Português Horas/Semana: 56 Créditos: 6 Métodos de Ensino: Aulas teóricas e exercícios práticos. Programa: Introdução aos sistemas operativos e programação de sistemas. Gestão de processos e noções de programação concorrente. Gestão de memoria, ficheiros e periféricos. Estudo de casos. Métodos de Avaliação: Exames escritos. Pré-requisitos: Nenhuns. Resultados de Aprendizagem: Compreender o papel do sistema operativo num sistema informático. Demonstrar conhecimento da arquitectura e operação de sistemas operativos actuais. Perceber o conceito de processo/tarefa e a forma como um sistema operativo gere múltiplas actividades. Discutir compromissos, mecanismos e estratégias de gestão de recursos. Escrever programas multi-tarefa simples utilizando correctamente primitivas de sincronização e comunicação. Bibliografia: ·Operating System Concepts (7ª ed), Avi Silberschatz, Peter Baer Galvin, Greg Gagne, John Wiley & Sons , 2005. Advanced Programming in the UNIX Environment, W. Richard Stevens, Stephen A. Rago, Addison Wesley, 2005 Docentes: Paulo Sérgio Soares Almeida António Luís Pinto Ferreira Sousa

8505N1 - Análise Numérica Regime: S1 Tipo: Obrigatória Língua de Instrução: Horas/Semana: 70 Créditos: 7 Métodos de Ensino: Aulas teóricas (2 horas por semana) e aulas de resolução de problemas em laboratório de computação com recurso ao Matlab (3 horas por semana). Programa: Erros e estabilidade numérica. Interpolação polinomial. Quadratura (fórmulas de Newton-Cotes). Equações não-lineares. Sistemas de equações lineares (métodos directos). Métodos de Avaliação: Resolução de problemas no laboratório de computação ao longo do semestre (de duas em duas semanas, aproximadamente). Pré-requisitos: Álgebra Linear, Cálculo com funções de várias variáveis reais, Programação. Resultados de Aprendizagem: 1. Analisar, em casos simples, os erros numéricos cometidos em aritmética de ponto flutuante. - 2. Resolver problemas usando métodos numéricos de interpolação polinomial, de quadratura, de solução de equações não lineares e de sistemas de equações. – 3. Avaliar os algoritmos do ponto de vista da sua eficiência computacional e estabilidade numérica. – 4. Implementar no Matlab os métodos estudados. – 5. Seleccionar rotinas do Matlab para resolver problemas e discutir os resultados obtidos. – 6. Interpretar os erros dos resultados numéricos em termos do condicionamento do problema e da estabilidade do algoritmo. Bibliografia: 1-Cálculo Científico com Matlab e Octave, A. Quarteroni, F. Saleri, Springer-Verlag Itália, 2006 (tradução de A. Sequeira); 2-Métodos Numéricos, Heitor Pina, McGraw-Hill de Portugal, 1995. Docentes: Rui Ralha

8505N2 - Bases de Dados Regime: S1. Tipo: Obrigatória.   Língua de Instrução:  Português. Horas/Semana: 56.   Créditos: 5.   Métodos de Ensino:   - Aulas teóricas (2horas/semana) e aulas teórico-práticas (2horas/semana). Programa:   - Introdução aos Sistemas de Bases de Dados. - O Modelo Relacional. - Álgebra Relacional e Cálculo de Predicados. - Desenho e Arquitectura de Sistemas de Bases de Dados. - A Linguagem SQL. - Administração de Bases de Dados. - Segurança, Recuperação e Protecção de Dados. - Bases de Dados Distribuídas. - Aplicações de Sistemas de Bases de Dados na Web. - Novas Áreas Aplicacionais de Bases de Dados. - Ferramentas e Ambientes para Sistemas de Bases de Dados. Métodos de Avaliação:   - 2 testes escritos e 1 trabalho prático. Pré-requisitos:   Nenhuns. Resultados de Aprendizagem:   No final da disciplina os alunos deverão: - Conhecer a terminologia e os conceitos gerais relacionados com o domínio dos sistemas de bases de dados. - possuir as bases necessárias para o desenvolvimento de processos de análise, planeamento, desenho e concepção de modelos para bases de dados relacionais centralizadas ou para bases de dados distribuídas. - Conhecer os conceitos básicos, arquitecturas e funcionalidades dos sistemas de bases de dados, com particular ênfase nos sistemas relacionais. - Saber, com pormenor, o modelo relacional – fundamentos teóricos , álgebra relacional, linguagens, aplicações práticas e ferramentas. - Saber administrar e aplicar modelos de segurança, recuperação e privacidade de dados em sistemas de gestão de bases de dados. - Saber lidar com questões relacionadas com a recuperação, concorrência, segurança e integridade em ambientes de sistemas de bases de dados. - Conhecer alguns dos sistemas de gestão e desenvolvimento de bases de dados relacionais actualmente disponíveis no mercado. Bibliografia: - Connolly, T., Begg, C., Database Systems, A Practical Approach to Design, Implementation, and Management , Addison-Wesley, 3ª Edição, 2002. - Garcia-Molina, H., Ullman, J.,  Widom, J., Database Systems: The Complete Book, Prentice Hall, 2001. - Teorey, T., Database Modeling and Design: The Fundamental Principles, II Ediçao, Morgan Kaufmann, 1994. - Date C., An Introduction to Database Systems , Volume I, VI Edição, Addison-Wesley Systems Programming Series, 1996. - Date, C.J., Darwen, H., A Guide to the SQL Standard , IV Edição, Addison-Wesley Inc, 1997. - Ramakrishman, R., Database Management Systems, McGraw-Hill International Editions, 1998. Docentes: Orlando Belo

8505N3 - Computabilidade Regime: S1 Tipo: Obrigatória Língua de Instrução: Português Horas/Semana: 56 Créditos: 6 Métodos de Ensino: 2 horas/semana - aulas teóricas; 2 hora/semana - aulas teórico-práticas. Programa: Máquinas de Turing e funções computáveis.  Funções parciais recursivas. Tese de Church. Linguagens recursivas e linguagens recursivamente enumeráveis. Decidibilidade e semi-decidibilidade. Conjuntos recursivos e conjuntos recursivamente enumeráveis. Classes de complexidade P e NP. Problemas NP-completos. Métodos de Avaliação: Exame final. Projecto individual durante o semestre. Avaliação periódica com a realização de dois testes sumativos/ Exame final escrito. Pré-requisitos: Nenhuns. Conhecimentos básicos de teoria de linguagens e autómatos adquiridos na disciplina de Teoria das Linguagens. Resultados de Aprendizagem: No final desta disciplina, o aluno deverá ser capaz de: - Compreender os conceitos de Máquina de Turing e função parcial recursiva e descrever nestes modelos de computação soluções computacionais para problemas simples. - Conhecer alguma da evidência para a Tese de Church e reconhecer a importância e as implicações desta. - Aplicar funções universais em argumentos de computabilidade e explicar as principais ideias subjacentes à construção destas funções. - Argumentar sobre a indecidibilidade de problemas em teoria da computabilidade. - Relacionar os conceitos de decidibilidade e semi-decidibilidade de problemas. - Compreender o conceito de problema NP-completo e conhecer alguns exemplos deste tipo de problemas. Bibliografia: J. Hopcroft e J. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979. N. Cutland, Computability, Cambridge, 1994. M. Davis, Computability and Unsolvability, McGraw Hill, 1982. Docentes: José Carlos Cruz da Costa José Carlos Soares Espírito Santo

8505N4 - Geometria Regime: S1 Tipo: Obrigatória Língua de Instrução: Horas/Semana: 56 Créditos: 6 Métodos de Ensino: Aulas teóricas e práticas Programa: Espaços afins e euclidianos. Transformações geométricas. Curvas e superfícies. Métodos de Avaliação: Avaliação periódica realizada através de vários trabalhos individuais a realizar ao longo do semestre/ Exame final escrito. Pré-requisitos: Noções básicas de álgebra linear. Resultados de Aprendizagem: Os alunos que completem este curso com sucesso devem ser capazes de: - resolver problemas de incidência e métricos; - identificar transformações geométricas simples e analisar as suas propriedades; -descrever a estrutura iferenciável de curvas e superfícies; - utilizar noções básicas de geométrica projectiva em problemas práticos. Bibliografia: “Geometry and its Applications”, W. Meyer, Harcout Academic Press (1999); “Mathematics for 3D Game Programming and Computer Graphics”, E. Lengyel, Charles River Media (2002); “Géométrie”, M. Audin, Éditions Belin (1998) Docentes: Lucia Fernandez Suarez

8505N5 - Programação Concorrente