Introducción: ¿Qué son las ciencias de la computación?, Computación - [Detalles]
1.1 Computación - Breve introducción a la materia y presentación de algunos conceptos clave que serán utilizados a lo largo del curso como computadora, computación y programa.
Introducción: ¿Qué son las Ciencias de la Computación?, Disciplinas semejantes - [Detalles]
1.5 Disciplinas semejantes - Presentación de la familia de disciplinas altamente relacionadas a ciencias de la computación tales como programación, ingeniería de la computación, cibernética, informática, tecnologías de la información y ciencia de datos además de por qué no son lo mismo.
Introducción: ¿Qué son las Ciencias de la Computación?, Modelos Teóricos - [Detalles]
1.4 Modelos teóricos - Uso de modelos teóricos para estudiar los problemas que se van a resolver y sus soluciones. Se aborda el análisis de algoritmos y teoría de la computación.
Historia de las Ciencias de la Computación; Fechas y personajes - [Detalles]
1.1 Fechas y personajes - Fechas históricas, personajes y conceptos desde las aportaciones de los babilonios y egipcios en el 2000 AC hasta 1944 con John Von Neumann y sus aportaciones a nuestra era de la computación.
Introducción: ¿Qué son las Ciencias de la Computación?, Algoritmos y funciones - [Detalles]
1.2 Algoritmos y funciones - Continuación de los conceptos clave de la materia, qué son los algoritmos y funciones además de sus diferencias y semejanzas.
Introducción: ¿Qué son las Ciencias de la Computación?, Complejidad - [Detalles]
1.3 Complejidad - Continuación de los conceptos clave de la materia, significado de la complejidad y sus características (tiempo, espacio, tamaño y dificultad) para su ejecución.
Historia de las Ciencias de la Computación; Fechas y lenguajes - [Detalles]
1.2 Fechas y Lenguajes - Fechas históricas y lenguajes de programación. Desde los años de 1950 hasta la década de los 90's con la aparición de Java, lenguaje principal de este curso.
Arquitectura de Von Neumman y el ciclo de acarreo; - [Detalles]
2.1 Arquitectura de Von Neumman y el ciclo de acarreo - ¿Qué es la arquitectura de Von Neumman? ¿Para qué sirve? y ¿Cómo funciona? Breve presentación de quién fue Neumann y sus contribuciones a la Ciencia y a las Ciencias de la Computación.
COMAL: Introducción a Ciencias de la Computación - [Detalles]
Comenzamos con aspectos históricos y la arquitectura básica de una computadora. Luego, nos centramos en aprender a programar con el paradigma orientado a objetos, usando Java como lenguaje ilustrativo. Explicamos el funcionamiento de compiladores e intérpretes. Hablamos del diseño y programación de algoritmos en un lenguaje imperativo, para lo que se estudian variables, estructuras de control, clases y otros temas avanzados. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE102723.
Bienvenida a Computación Científica - [Detalles]
None
Introducción. Repaso Teoría de Conjuntos (Parte 1) - [Detalles]
Presentación de los problemas que fundamentan el cálculo. Conceptos básicos de teoría de conjuntos.
Teorema de Existencia y Unicidad - Ecuación Integral, Funciones Lipschitzianas y Lema de Gronwall - [Detalles]
Se desarrolla una teoría preliminar necesaria para demostrar el teorema de existencia y unicidad, en dicha teoría se presentan las ecuaciones integrales, las funciones lipschitzianas y el lema de Gronwall
Teoría cualitativa de los sistemas lineales homogéneos – Valores propios reales y distintos - [Detalles]
Se desarrolla la teoría cualitativa de los sistemas compuestos por dos ecuaciones diferenciales lineales de pimer orden en el caso en el que los valores propios son reales y distintos
Teoría cualitativa de los sistemas lineales homogéneos – Valores propios complejos - [Detalles]
Se desarrolla la teoría cualitativa de los sistemas compuestos por dos ecuaciones diferenciales lineales de pimer orden en el caso en el que los valores propios son complejos
Teoría cualitativa de los sistemas lineales homogéneos – Valores propios repetidos - [Detalles]
Se desarrolla la teoría cualitativa de los sistemas compuestos por dos ecuaciones diferenciales lineales de pimer orden en el caso en el que los valores propios son repetidos
Teoría cualitativa de los sistemas lineales homogéneos – Valores propios nulos - [Detalles]
Se concluye el estudio de la teoría cualitativa de los sistemas lineales con el caso en el que los valores propios son nulos
Álgebra Moderna I: Caracterización de grupos cíclicos - [Detalles]
En los grupos cíclicos, existe un subgrupo único para cada divisor del orden del grupo. Este concepto será el enfoque inicial de esta explicación. Posteriormente, emplearemos un resultado de la teoría de números, utilizando la teoría de grupos para describir los grupos cíclicos de manera más detallada. Esta descripción, junto con sus implicaciones en los campos finitos, se basa en los materiales de los libros de Rotman y también se encuentra en el libro de Avella, Mendoza, Sáenz y Souto, que se mencionan en la bibliografía.
Paseos Eulerianos y el origen de la Teoría de Gráficas - [Detalles]
Es este video definimos multigráfica, paseo Euleriano y multigráfica Euleriana. También hablamos de la historia de los siete puentes de Köninsberg, que se reconoce como el origen dela Teoría de Gráficas y probamos un resultado de Euler, de 1736, que nos da un criterio para determinar si una multigráfica es o no es Euleriana.
Proposiciones 27 a 32 del libro I de los Elementos de Euclides (teoría de las paralelas) - [Detalles]
Aquí el alumno podrá navegar por apartados donde se encuentran las proposiciones 27 a 32 del libro I de los Elementos de Euclides. Estas proposiciones en general son sobre la teoría de las paralelas y demuestran que la suma de los ángulos interiores de un triángulo es igual a dos ángulos rectos. Todas demostradas con ayuda de figuras interactivas.
En este apartado se presenta el algoritmo RSA de cifrado asimétrico, contiene problemas resueltos en los que se cifra y descifra un mensaje, así como las implementaciones del código para hacerlo en Python. Este tema corresponde a la Unidad 3 "Aplicaciones de la teoría de congruencias", del curso de Teoría de los Números I. Incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
En este apartado se introduce a la criptografía con el cifrado Cesar, contiene problemas resueltos en los que se cifra y descifra un mensaje, así como las implementaciones del código para hacerlo en Python. Este tema corresponde a la Unidad 3 "Aplicaciones de la teoría de congruencias", del curso de Teoría de los Números I. Incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Problemas de producto de matrices y matrices invertibles - [Detalles]
En esta entrada de blog hablamos resolvemos problermas de cómo multiplicar matrices. También hacemos algunos problemas sobre matrices invertibles para aprovechar la teoría desarrollada anteriormente.
Determinantes en sistemas de ecuaciones lineales y regla de Cramer - [Detalles]
Aplicamos teoría de determinantes en sistemas de ecuaciones. Calculamos el rango a partir de subdeterminantes. Vemos la regla de Cramer y ejemplos.
Repaso Teoría de Conjuntos (Parte 2) - [Detalles]
Presentación de las operaciones de conjuntos.
Teorema de Existencia y Unicidad - Iterantes de Picard y Convergencia - [Detalles]
Continuación con el desarrollo de una teoría preliminar para demostrar el teorema de existencia y unicidad, en este caso se presentan las iterantes de Picard y se hace un breve repaso de convergencia de series y sucesiones
Valores y vectores propios para resolver sistemas lineales - [Detalles]
Se desarrolla la teoría preliminar hacía el método de valores y vectores propios para resolver sistemas lineales homogéneos, así mismo se hace un breve repaso sobre éstos conceptos desde una perspectiva del álgebra lineal
Teorema de existencia y unicidad para sistemas de ecuaciones diferenciales de primer orden - [Detalles]
Se hace un generalización de la teoría preliminar vista en el teorema de existencia y unicidad de Picar-Lindelöf y se demuestra el teorema de existencia y unicidad para el caso general, es decir, para sistemas de ecuaciones diferenciales de primer orden tanto lineales como no lineales
Introducción al curso, espacio muestral y σ-álgebras - [Detalles]
Presentamos los conceptos e ideas más fundamentales de la teoría de la probabilidad que desarrollaremos en el curso.
Lenguaje de la teoría de los conjuntos - [Detalles]
None
Área entre curvas - [Detalles]
Se aborda la teoría de área entre curvas y se dan tres ejemplos.
Longitud de curva expresada en forma cartesiana - [Detalles]
Teoría y 3 ejemplos de aplicación de la longitud de curva expresado en forma cartesiana.
Introducción a la teoría cualitativa de las ecuaciones diferenciales - [Detalles]
Para comenzar con la unidad se presenta un ejemplo ilustrativo que permite ganar intuición sobre el desarrollo geométrico y cualitativo de los sistemas de ecuaciones diferenciales
Sistemas autónomos, puntos de equilibrio y su estabilidad - [Detalles]
Se presentan formalmente los conceptos básicos sobre la teoría cualitativa de los sistemas de ecuaciones diferenciales
El plano Traza-Determinante - [Detalles]
Toda la teoría desarrollada sobre los sistemas lineales de dos ecuaciones diferenciales de primer orden se resume en el conocido plano Traza-Determinante
Cuestionario sobre ejemplos bases de espacios vectoriales - [Detalles]
Ponemos en práctica los conocimientos adquiridos respecto a bases y lo que en ello respecta, se pone a prueba la comprensión de la teoría y otro poco la intuición sobre como demostrar que un conjunto cumple con ser base, al resolver el cuestionario lanza la calificación para que el alumno pueda ver que áreas necesita repasar.
En este video comenzamos un pequeño detour por la teoría de grupos. Definiremos lo que es un grupo libre y enunciaremos su propiedad universal.
En este video continuamos nuestro pequeño detour por la teoría de grupos. Definiremos el producto libre de grupos y su propiedad universal.
Subgrupos normalmente generados - [Detalles]
En este video terminamos nuestro pequeño detour por la teoría de grupos. Definiremos el subgrupo normalmente generado por un subconjunto de un grupo G.
Álgebra homológica - naturalidad del homomorfismo de conexión - [Detalles]
En este video demostramos la naturalidad del homomorfismo de conexión. Dicha naturalidad es en el sentido de la teoría de categorías.
Mini-cuestionario: Formas cuadráticas, propiedades, polarización y teorema de Gauss - [Detalles]
Mini-cuestionario para verificar el entendimiento de la teoría básica de formas cuadráticas, sus propiedades y la identidad de polarización
Nota 1. Noción de Conjunto - [Detalles]
En esta nota se da una noción intuitiva de lo que es un conjunto y un elemento de un conjunto, se muestra como construir conjuntos a partir de propiedades y se listan un par de axiomas de la teoría de conjuntos.
Álgebra Moderna I: Teorema de Lagrange - [Detalles]
A continuación, se revisara y demostrará uno de los teoremas mas importantes de la Teoría de Grupos, conocido como el Teorema de Lagrange. El cual nos dice que para un subgrupo H de G, el orden de G es un t veces del orden de H
Construcción de los números naturales - [Detalles]
En esta sección comenzaremos con la construcción rigurosa de los números naturales, es decir, desde la teoría de conjuntos, sin dejar de lado la noción intuitiva que ya tenemos, para ello veremos el concepto de conjunto transitivo.
En esta nueva sección hablaremos acerca del sucesor de un número natural. Este nuevo concepto nos permitirá definir a los conjuntos inductivos e iniciar a descubrir el concepto del infinito desde la perspectiva de la teoría de conjuntos.
Axioma de elección - [Detalles]
En esta sección abordaremos un axioma relevante no sólo en teoría de conjuntos sino en muchas ramas de las matemáticas. Distintas proposiciones aparentemente sencillas no podrían demostrarse sin su ayuda y algunas de sus consecuencias son tan poderosas que cuesta trabajo aceptarlas. Es por eso que el llamado axioma de elección ha sido controversial desde su formulación a manos de Ernst Zermelo.
Ejercicio Teorema del Sandwich - [Detalles]
¡Sumérgete en una sabrosa rebanada de matemáticas con la inigualable Ley del Sándwich! En este video, nos adentraremos en los ingredientes esenciales de esta fascinante teoría, desplegando paso a paso su demostración. Al igual que un sándwich artesanalmente preparado, esta ley tiene capas y matices que vale la pena explorar en detalle. ¿Podrán dos funciones acotar a una tercera como las rebanadas de pan a un delicioso relleno?
Ejercicio Regla de la Cadena - [Detalles]
En este video, nos sumergimos en ejemplos prácticos y teoría detrás de la técnica esencial de la regla de la Cadena, facilitando la derivación de funciones compuestas.
El grado de un vértice - [Detalles]
En este video se definen la vecindad, el grado de un vértice y el grado promedio de una gráfica. Se prueba el primer teorema en Teoría de Gráficas, a saber, que la suma de todos los grados en una gráfica es el doble del número de aristas. Se definen y estudian también las gráficas regulares y la secuencia de grados de una gráfica.
Teoría de Gráficas - Cuestionario 1 - [Detalles]
Antes de contestar este cuestionario se recomienda ver los videos 1, 2 y 3 del curso. Los conceptos que requieres saber son: ¿Qué es una gráfica? ¿Qué significa que dos gráficas sean isomorfas? Orden y Tamaño de una gráfica. Algunas familias especiales: gráfica completa K_n; ciclo C_n; trayectoria P_n; estrella S_n. Conceptos no totalmente formales: Gráfica conexa, árboles, gráficas planares. La gráfica complemento. La gráfica complemento de una gráfica dada. Operaciones: union disjunta; suma de Zykov; quitar un vértice o una arista. Subgráficas, subgráficas inducidas, y subgráficas generadoras.
Teoría de Gráficas - Cuestionario 2 - [Detalles]
Antes de contestar este cuestionario se recomienda ver los videos 4, 5 y 6 del curso. Los conceptos que requieres saber son: Secuencia de grados. Algunas familias especiales: gráfica r-regular; gráfica de lineas; gráfica bipartita. Conceptos no totalmente formales: Operaciones: unión disjunta; suma de Zykov; producto cartesiano de G_1 □ G_2; producto directo de G_1 x G_2.
Conjuntos y elementos - [Detalles]
Estudiamos las primeras nociones de teoría de conjuntos. Vemos qué significa que un elemento pertenezca a otro y cómo describir conjuntos.
Axiomas de los conjuntos. - [Detalles]
En esta entrada hablamos sobre la teoría de conjuntos y sus axiomas.
Intersecciones, uniones y complementos de conjuntos - [Detalles]
En esta entrada revisamos tres operaciones de la teoría de conjuntos: La intersección, la unión y el complemento.
COMAL: Teoría de los Conjuntos - [Detalles]
En este curso en notas tipo blog, comenzamos con una introducción a los axiomas de ZFC y sus consecuencias. A partir de ahí, definimos relaciones, funciones y órdenes. Definimos a los números naturales desde la perspectiva de conjuntos inductivos. Exploramos la definición de equipotencia y finitud, hablando un poco de aritmética cardinal. Terminamos discutiendo el axioma de elección, sus equivalencias y consecuencias. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323.
Principio de inducción matemática - [Detalles]
En este apartado se abordan los temas de inducción matemática, inducción fuerte y recursividad, con demostraciones de teoremas y proposiciones, junto con definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Algoritmo de la división - [Detalles]
En este apartado se aborda el concepto de divisibilidad y el teorema del algoritmo de la división, con demostraciones, definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Números primos y compuestos - [Detalles]
En este apartado se abordan los conceptos de número primo y número compuesto, con demostraciones, definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para identificar si un número es primo o compuesto y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
El algoritmo de Euclides y el máximo común divisor - [Detalles]
En este apartado se aborda el concepto de máximo común divisor (MCD) y se explora el algoritmo de Euclides, el cual sirve para calcular el mcd, incluyendo la versión extendida del algoritmo y el lema de Bézout. Todo acompañado de demostraciones, definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados, y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Ecuaciones diofantinas lineales - [Detalles]
En este apartado se aborda el tema de ecuaciones diofantinas lineales y se emplea el algoritmo de Euclides para resolverlas, acompañado de demostraciones, definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para resolver dos casos particulares de ecuaciones diofantinas lineales y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Teorema fundamental de la aritmética - [Detalles]
En este apartado se demuestra el teorema fundamental de la aritmética y con esto se definen al mínimo común múltiplo (MCM) y a la descomposición canónica, esto acompañado de demostraciones de lemas, corolarios y otros teoremas, así como de otras definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Número y suma de divisores - [Detalles]
En este apartado se abordan las funciones sigma y tau, las cuales están relacionadas con los divisores de un número entero, esto acompañado de demostraciones de proposiciones y corolarios, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para calcular la suma y el número de divisores de un entero, y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Números perfectos, primos de Mersenne y primos de Fermat - [Detalles]
En este apartado se presentan tres clases de números enteros: los números perfectos, los números primos de Mersenne y los números primos de Fermat, esto acompañado de demostraciones de teoremas y proposiciones, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para verificar si un número pertenece a alguna de las tres clases de números previamente mencionadas, y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Función phi de Euler - [Detalles]
En este apartado se aborda la función phi (o "d") de Euler, la cual calcula el número de primos relativos menores a un número entero n, acompañado de demostraciones de teoremas y proposiciones, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para calcular la función phi de euler, y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Función mu y fórmula de inversión de Möbius - [Detalles]
En este apartado se aborda la función mu (o "W") de Möbius, y la fórmula de inversión de Möbius, acompañado de demostraciones de teoremas y proposiciones, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 1 "Divisibilidad", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para calcular la función mu de Möbius y para hacer la inversión de Möbius, y se incluyen algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Recordatorio de clases de equivalencia - [Detalles]
En este apartado se presenta un repaso del tema "clases de equivalencia", que abarca los conceptos de relaciones de equivalencia, particiones y particiones inducidas. Contiene demostraciones de teoremas y proposiciones, definiciones y problemas resueltos. Este es un tema extra correspondiente a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Sistemas completos de residuos - [Detalles]
En este apartado se abordan los temas de sistemas representantes y sistemas completos de residuos, acompañado de demostraciones de teoremas y proposiciones, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para verificar si un conjunto es un sistema completo de residuos con respecto a n, e incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Congruencias y propiedades básicas - [Detalles]
En este apartado se aborda el tema de relación de congruencia con sus propiedades y operaciones, acompañado de demostraciones de teoremas y proposiciones, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para ilustrar los conceptos tratados, e incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Teoremas de Euler, de Fermat y de Wilson - [Detalles]
En este apartado se demuestran tres teoremas importantes relacionados con los números primos: el teorema de Euler, el teorema de Fermat y el teorema de Wilson, todo acompañado de demostraciones de lemas, corolarios y otros teoremas, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código en Python donde se implementa el teorema de Euler y el teorema de Wilson, e incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Resolución de congruencias lineales - [Detalles]
En este apartado se aborda el tema de congruencias lineales y su relación con las ecuaciones diofantinas lineales, contiene demostraciones de teoremas y proposiciones, junto con definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para resolver congruencias lineales y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Teorema chino del residuo - [Detalles]
En este apartado se demuestra el teorema chino del residuo, el cual sirve para resolver sistemas de congruencias lineales, todo acompañado de demostraciones de lemas, corolarios y otros teoremas, así como de definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código en Python implementando el teorema para resolver sistemas de congruencias lineales e incluye algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Sistemas de congruencias lineales (parte 1) - [Detalles]
En este apartado se aborda el tema de sistemas de congruencias lineales de una variable (en la parte 2 la generalización) cuando los módulos no son necesariamente primos relativos (condición necesaria para el teorema chino del residuo), contiene demostraciones de teoremas y proposiciones, junto con definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para resolver sistemas de congruencias lineales de una variable y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Sistemas de congruencias lineales (parte 2) - [Detalles]
En este apartado se aborda el tema de sistemas de congruencias lineales de 2 o más variables (de una variable en la parte 1) cuando los módulos no son necesariamente primos relativos (condición necesaria para el teorema chino del residuo), contiene demostraciones de teoremas y proposiciones, junto con definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para resolver sistemas de congruencias lineales de n variables y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Introducción a congruencias cuadráticas - [Detalles]
En este apartado se introduce el tema de congruencias cuadráticas cuando el módulo es un número primo o un número compuesto, contiene demostraciones de teoremas y proposiciones, junto con definiciones y problemas resueltos. Este tema corresponde a la Unidad 2 "Congruencias", del curso de Teoría de los Números I. Además, se presenta un código implementado en Python para resolver una congruencia cuadrática en módulos primos y algunos ejercicios para que el alumno ponga en práctica lo aprendido.
Críticas a la teoría euclidea y sus consecuencias - [Detalles]
Aquí se invita al alumno a reflexionar sobre algunas de las definiciones de Euclides y cómo estas definiciones fueron replanteadas entre otros por David Hilbert.