Álgebra Computacional
Código
10986
Unidade Orgânica
Faculdade de Ciências e Tecnologia
Departamento
Departamento de Matemática
Créditos
3.0
Professor responsável
António José Mesquita da Cunha Machado Malheiro
Horas semanais
1
Total de horas
42
Língua de ensino
Português
Objectivos
Introdução de alguns conceitos básicos da álgebra computacional e aplicações.
Pré-requisitos
Não tem.
Conteúdo
1. Introdução. Sistemas computacionais de álgebra.
2. Aplicações do Algoritmo de Euclides.
3. Algoritmos Modulares e interpolação.
4. Multiplicação rápida: o algoritmo de Karatsuba.
5. Factorização de inteiros e criptografia. Sistema RSA.
6. Sistemas de reescrita: procedimento de Knuth-Bendix.
7. Algoritmos envolvendo grupos finitamente apresentados.
Bibliografia
1. J. Gathen e J. Gerhard, Modern Computer Algebra, Cambridge University Press, 2003
2. K.O. Geddes, S.R. Czapor e G. Labahn, Algorithms for computer algebra, Kluwer Academic Publishers, 1992
3. C.C. Sims, Computation with finitely presented groups, Cambridge University Press, 1994
4. H. Cohen, A course in computational algebraic number theory, Springer-Verlag, 1993
Método de ensino
Aulas teórico-práticas participadas, com exposição oral de matéria e resolução de problemas, em laboratório (de computadores).
Método de avaliação
REGULAMENTO DE AVALIAÇÃO
O regulamento de avaliação da disciplina de Álgebra Computacional segue as regras estabelecidas pelo regulamento de avaliação da FCTUNL, disponível em (http://www.fct.unl.pt/sites/default/files/documentos/estudante/Regulamentos/Regulamento_Aval_fev_2013.pdf). É aconselhada a consulta do mesmo.
A avaliação terá duas componentes:
A) avaliação teórico-prática, correspondendo a 30% da classificação final;
B) avaliação laboratorial ou de projecto, correspondendo a 70% da classificação final.
A avaliação teórico-prática será realizada através de um único teste, de duas horas, na última semana de aulas (dia 31 de Maio). É exigida uma nota mínima de 6 valores nesta componente.
A avaliação laboratorial ou de projecto consiste na realização de trabalhos computacionais com uma regularidade semanal (entre 10 a 14 trabalhos), correspondendo estes a 70% da classificação final. É exigida uma nota mínima de 8 valores na avaliação laboratorial ou de projecto. Esta é, também, a exigência para a obtenção de frequência à disciplina.
Cada trabalho consiste na realização de pequenas tarefas, havendo lugar a uma discussão do trabalho. A discussão dos trabalhos será feita de forma regular ao longo do semestre.
A classificação final será obtida pela fórmula
TC * 0.7 + TF * 0.3
sendo cada uma das componentes; trabalhos computacionais (TC) e teste (TF) classificada de 0 a 20 valores, com arredondamento a uma casa decimal. O valor de TC será obtido por média artitmética das notas dos trabalhos computacionais.
No caso do aluno não obter aprovação ou caso pretenda fazer melhoria (carece de inscrição prévia), pode realizar o exame de recurso cuja classificação substituirá a classificação do teste na fórmula anterior.
No caso da classificação final ser superior a 16 valores, o aluno pode optar por ficar com a nota final de 16 ou fazer a defesa de nota através da realização de uma prova oral e/ou teórico-prática.