Departamentos

Matemáticas

Grado y Doble Grado. Curso 2024/2025.

ÁLGEBRA COMPUTACIONAL - 800612

Curso Académico 2024-25

Datos Generales

SINOPSIS

COMPETENCIAS

Generales
Resolver problemas de Matemáticas mediante habilidades de cálculo básico y otras técnicas. Comunicar, tanto por escrito como de forma oral, conocimientos, procedimientos, resultados e ideas matemáticas. Desarrollar la capacidad de identificar y descibir matemáticamente un problema, estructurar la información disponible y seleccionar un modelo adecuado.
Transversales
---
Específicas
Aprender a hablar, demostrar y resolver en Matemáticas. Distinguir qué son las cosas de cómo se calculan. Alcanzar el juicio crítico necesario para distinguir entre una demostración correcta y otra que no lo es. Descubrir las diferencias que incluso en el ámbito de lo lineal presentan el cuerpo real y el complejo. Comenzar a enfrentarse a problemas que no son ejercicios.
Conocer y manejar algoritmos en álgebra.
Construir algoritmos en álgebra en un lenguaje de programación.

ACTIVIDADES DOCENTES

Clases teóricas
De 2 a 3 horas por semana.
Clases prácticas
Ejercicios en clases prácticas y de laboratorio.
Laboratorios
Prácticas de laboratorio una vez por semana.

Presenciales

2,4

Requisitos

Es aconsejable haber aprobado la asignatura de Estructuras Algebraicas.

Objetivos

El proposito de ese curso es desarrollar de modo teorico y practico los principales algoritmos algebraicos de uso actual dentro y fuera de las matematicas: algoritmos en teoria de numeros: algoritmos de factorizacion y tests de primalidad.

Contenido

- Algoritmos en teoria de numeros: factorizacion y primalidad. 1. El algoritmo de Euclides y aplicaciones a la aritmetica modular. 2. Factorizacion de polinomios sobre cuerpos finitos. Algoritmos. 3. Enteros p-adicos y factorizaccion de polinomios. Algoritmo de Zasseuhaus. 4. Test de primalidad ((AKS) - Algoritmos en algebra conmutativa y geometria algebraica. Bases de Groebner. 5. Factorizacin, bases de Groebner y aplicaciones.

Evaluación

Hay dos vías para aprobar esta asignatura. La primera de estas es la evaluación continua, que consiste en la entrega de ejercicios de programación (70%) y pruebas de control (30%). La otra vía es un examen final por el 100% de la nota. Para los que prefieran evaluarse por ambas vías, la nota obtenida será el máximo de las dos notas.

Bibliografía

W. Decker, C. Lossen: Computing in Algebraic Geometry - A quick start using SINGULAR. Algorithms and Computation in Mathematics 16, Springer Verlag (2006)

A Frühbis-Krüger, C Lossen - Introduction to Computer Algebra Lecture Notes, Kaiserslautern University, 2005.

V. Shoup, A computational introduction to number theory and algebra. Second edition. Cambridge University Press, Cambridge, 2009.

Otra información relevante

El alumno deberá conocer los algoritmos básicos y sus aplicaciones.

Estructura

MódulosMaterias
CIENCIAS DE LA COMPUTACIÓNÁLGEBRA COMPUTACIONAL
CONTENIDOS AVANZADOS EN MATEMÁTICAS PURA Y APLICADA IIÁLGEBRA COMPUTACIONAL

Grupos

Clases teóricas
GrupoPeriodosHorariosAulaProfesor
G1 (CC y MPA-II)09/09/2024 - 13/12/2024LUNES 12:00 - 13:00S-106MARTIN EUGENIO AVENDAÑO GONZALEZ
MARTES 12:00 - 13:00S-106MARTIN EUGENIO AVENDAÑO GONZALEZ
G2 (MPA-I, MPA-II y DG)09/09/2024 - 13/12/2024MIÉRCOLES 13:30 - 14:30B16MARTIN EUGENIO AVENDAÑO GONZALEZ
VIERNES 10:00 - 11:00B15MARTIN EUGENIO AVENDAÑO GONZALEZ


Clases prácticas
GrupoPeriodosHorariosAulaProfesor
G1 (CC y MPA-II)09/09/2024 - 13/12/2024MARTES 11:00 - 12:00S-106MARTIN EUGENIO AVENDAÑO GONZALEZ
G2 (MPA-I, MPA-II y DG)09/09/2024 - 13/12/2024MIÉRCOLES 14:30 - 15:30B16ANTONIO BEATO CARO


Clases en aula de informática
GrupoPeriodosHorariosAulaProfesor
G1 (CC y MPA-II)09/09/2024 - 13/12/2024JUEVES 12:00 - 13:00INF4 Aula de InformáticaMARTIN EUGENIO AVENDAÑO GONZALEZ
G2 (MPA-I, MPA-II y DG)09/09/2024 - 13/12/2024VIERNES 11:00 - 12:00INF4 Aula de InformáticaMARTIN EUGENIO AVENDAÑO GONZALEZ