Matemática Computacional
Áreas Científicas |
Classificação |
Área Científica |
OFICIAL |
Matemática |
Ocorrência: 2019/2020 - 1S 
Ciclos de Estudo/Cursos
Língua de trabalho
Português - Suitable for English-speaking students
Objetivos
Módulo de Álgebra/Geometria Computacional:
Introdução de conceitos básicos da Álgebra Computacional, e ainda de bases de Gröbner.
Módulo de Algebra Linear Numérica:
Estudar métodos construtivos de resolução numérica dos seguintes problemas de Álgebra Linear: sistemas de equações, matrizes inversas e determinantes, focando-se nos aspectos de condicionamento e estabilidade, convergência, controlo de erros, construção de algoritmos, implementação e experimentação em computador na linguagem MATLAB e tratamento de casos de estudo.
Resultados de aprendizagem e competências
Módulo de Álgebra Computacional:
Espera-se que o estudante apreenda alguns conceitos básicos da Álgebra Computacional e tenha contacto com bases de Gröbner.
Módulo de Algebra Linear Numérica:
Os estudantes deverão adquirir o conhecimento dos métodos fundamentais de Álgebra Linear Numérica nas suas vertentes teórica, prática, computacional e experimental.
Modo de trabalho
Presencial
Pré-requisitos (conhecimentos prévios) e co-requisitos (conhecimentos simultâneos)
Módulo de Álgebra Computacional:
Espera-se que o estudante tenha bons conhecimentos de Álgebra. Em particular que o estudante conhece o algoritmo de divisão (com resto) de polinómios numa variável, o algoritmo de Euclides e como calcular o máximo divisor comum de polinómios numa variável.
Módulo de Algebra Linear Numérica:Noções fundamentais de Algebra Linear.
Noções de programação em computador em qualquer linguagem.
Programa
Módulo de Álgebra/Geometria Computacional:
- Motivação: variedades afim e ideais de polinómios.
- Bases de Gröbner: ideais de polinómios, ordens monomiais e divisão com resto (de polinómios de várias variáveis), ideais de monómios e Teorema da base de Hilbert, bases de Gröbner e S-polinómios, o algoritmo de Buchberger.
Módulo de Algebra Linear Numérica:
- Introdução ao MATLAB
- Ambiente MATLAB. Matrizes aleatórias, de Hilbert, de Pascal, etc, comando gallery. Álgebra linear: normas, números de condição, operador \, factorizações de Gauss e de Cholesky, comandos lu e chol. Programação. Gráficos simples e múltiplos.
- Resolução numérica de sistemas de equações lineares, calculo de inversas de matrizes e de determinantes: normas vectoriais e matriciais, séries matriciais, condicionamento, números de condição, sistemas e inversas de matrizes triangulares, métodos diretos de Gauss e de Cholesky; métodos iterativos de Jacobi e de Gauss-Seidel.
Bibliografia Obrigatória
Pina Heitor;
Métodos numéricos. ISBN: 978-972-592-284-2
Cox David;
Ideals, varieties, and algorithms. ISBN: 0-387-97847-X ((4ª edição))
Bibliografia Complementar
Brezinski Claude;
Méthodes numériques itératives. ISBN: 978-2-7298-2887-5
Brezinski Claude;
Méthodes numériques directes de l.algèbre matricielle. ISBN: 2-7298-2246-1
Gathen Joachim von zur;
Modern computer algebra. ISBN: 0-521-82646-2
Métodos de ensino e atividades de aprendizagem
Módulo de Álgebra Computacional:
O docente exporá a matéria e apresentará exemplos. Será reservado algum tempo para a resolução de exercícios pelos estudantes com apoio do docente.
Módulo de Algebra Linear Numérica:
Nas aulas teórico-práticas são apresentados os conteúdos do programa com exemplos ilustrativos dos conceitos leccionados, seguidos da resolução de exercícios teóricos, práticos e de programação em computador na linguagem MATLAB.
Software
MatLab
SageMath
Singular
Palavras Chave
Ciências Físicas > Matemática > Algoritmos
Ciências Físicas > Matemática > Matemática computacional
Tipo de avaliação
Avaliação distribuída sem exame final
Componentes de Avaliação
Designação |
Peso (%) |
Exame |
50,00 |
Teste |
50,00 |
Total: |
100,00 |
Componentes de Ocupação
Designação |
Tempo (Horas) |
Estudo autónomo |
106,00 |
Frequência das aulas |
56,00 |
Total: |
162,00 |
Obtenção de frequência
Inscrição na unidade curricular.
Fórmula de cálculo da classificação final
Época normal: média aritmética entre a classificação obtida no teste no fim do módulo de Álgebra Computacional e o teste teórico-prático a realizar em computador no fim do módulo de Algebra Linear Numérica.
Época de recurso: média aritmética entre a classificação obtida no módulo de Álgebra Computacional e no módulo de Algebra Linear Numérica sendo estas classificações obtidas num exame e podendo, qualquer uma delas, ser substituída pelo teste
Avaliação especial (TE, DA, ...)
Módulo de Álgebra Computacional: exame.
Módulo de Algebra Linear Numérica: exame.
Melhoria de classificação
Módulo de Álgebra Computacional: exame.
Módulo de Algebra Linear Numérica: exame.