División sintética - [Detalles]
Primero vemos un teorema que nos ayudara para entender la división de polinomios, ya que nos dice que dados los polinomios "a(x), b(x)", existen polinomios únicos tal que "a(x)=b(x)*q(x)+r(x)" (los detalles los vemos en el video). Después vemos el algoritmo de la división para polinomios, hacemos un ejemplo usando los pasos del algoritmo de la división y obtenemos los polinomios "q(x), r(x)".
Divisibilidad algoritmo de la división (versión corregida) - [Detalles]
Mostramos el algoritmo de la división: Un algoritmo mediante el cual podemos obtener el cociente y el residuo de una división, esto también nos sirve para expresar un entero (dividendo) en términos del divisor, cociente y residuo: (dividendo = cociente*divisor + residuo).
Algortimo de la división en $Z$ - [Detalles]
Motivamos el estudio de la división, introducimos de manera general el término de cociente y de residuo, asimismo demostramos el algoritmo de la división.
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.
El algoritmo de Euclides: enunciado y demostración. - [Detalles]
Demostramos el algoritmo de Euclides, es un método o procedimiento que nos ayuda en la búsqueda del Máximo Común Divisor de dos números enteros. Vemos que hace uso del algoritmo de la división repetidamente y que hay una relación entre el residuo y el máximo común divisor.
División de números complejos - [Detalles]
Vemos la forma de dividir número complejos, usando la multiplicación anteriormente vista podemos llegar a una fórmula para la división. Hacemos algunos ejemplos para mostrar la división de números complejos en acción.
División armónica - [Detalles]
Veremos algunos resultados básicos sobre división armónica, finalizamos mostrando el teorema de Feuerbach apoyándonos en la división armónica
Algortimo de la división, teorema del factor y del residuo - [Detalles]
Acoplamos temas vistos en los enteros pero ahora para el anillo de los polinomios como el tema de divisibiliad y el teorema del algoritmo de la división conjuntamente con su demostración y su aplicación en la práctica. Asimismo se define lo que es un polinomio irreducible así como el teorema del facotor y el del residuo.
Algoritmo Alfa-Beta - [Detalles]
Se presenta el algoritmo de búsqueda adversaria Alfa-Beta como una mejora sobre el algoritmo Minimax.
Correctez en programas recursivos, Correctez de un algoritmo iterativo - [Detalles]
Correctez de un algoritmo iterativo - Seguimiento de la técnica del invariante del ciclo y demostración de correctez en un algoritmo iterativo.
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.
División de polinomios - [Detalles]
Definimos la división entre polinomios, dados dos polinomios "a(x), b(x)", decimos que "b(x)" divide a "a(x)" si y solo si "a(x)=b(x)*q(x)" para algún polinomio "q(x)". Vemos algunos ejemplos y también propiedades sobre la divisibilidad.
Raíces de polinomios - [Detalles]
Explicamos en que consiste la división sintética, la cual nos ayuda a dividir polinomios entre polinomios de la forma "x-a". Damos el procedimiento de la división sintética y hacemos dos ejemplos.
Como calcular el máximo común divisor de dos enteros - [Detalles]
Retomamos el teorema anterior sobre el máximo común divisor y el algoritmo de la división. Haciendo uso de estos dos resultados damos un método para calcular el máximo común divisor de dos enteros.
Problemas de algoritmo de la división, ideales y divisibilidad - [Detalles]
Descripción pendiente
El algoritmo de Euclides - [Detalles]
Explicamos el algoritmo de Euclides con ejemplos. Damos su demostración. Vemos cómo ayuda a poner MCD como combinación lineal entera.
Algoritmo de búsqueda primero en amplitud - [Detalles]
Se presenta el algoritmo de búsqueda primero en amplitud (Breadth First Search)
Algoritmo de búsqueda primero en profundidad - [Detalles]
Se presenta el algoritmo de búsqueda primero en profundidad (Depth First Search)
Algoritmo de búsqueda de profundidad limitada - [Detalles]
Se presenta el algoritmo de búsqueda de profundidad limitada (Depth Limited Search)
Algoritmo de búsqueda primero mejor ambicioso - [Detalles]
Se presenta el algoritmo de búsqueda de primero mejor ambicioso (Best First Search)
Algoritmo de búsqueda A* - [Detalles]
Se presenta el algoritmo de búsqueda A* ("A Estrella").
Algoritmo de búsqueda A* bidireccional - [Detalles]
Se presenta el algoritmo de búsqueda bidireccional (Bidirectional Search) con base en A*.
Algoritmo de búsqueda por haz - [Detalles]
Se presenta el algoritmo de búsqueda por haz (Beam Search)
Algoritmo de búsqueda Minimax - [Detalles]
Se presenta el algoritmo de búsqueda adversaria Minimax.
Algoritmo de ascenso de la colina - [Detalles]
Se presenta el algoritmo de ascenso de la colina (Hill Climbing).
Algoritmo Naïve Bayes Frecuentista - [Detalles]
Se presenta el algoritmo de clasificación Bayes Naïve (o ingenuo) en su modalidad frecuentista.
Algoritmo Bayes Naïve Gaussiano - [Detalles]
Se presenta el algoritmo de clasificación Bayes Naïve (o ingenuo) en su modalidad gaussiana.
Algoritmo de Avance-Retroceso - [Detalles]
Se presenta el algoritmo de avance-retroceso (Forward-Backward) para resolver el problema de etiquetado de texto con modelos ocultos de Márkov
Algoritmo de Viterbi para etiquetado de texto - [Detalles]
Se presenta el algoritmo de Viterbi para resolver el problema de etiquetado de texto con modelos ocultos de Márkov
Algoritmo de Viterbi para localización - [Detalles]
Se presenta el algoritmo de Viterbi para resolver el problema de la localización de un agente con modelos ocultos de Márkov
Bases numéricas, Base 10 a base b y especificación de algoritmo - [Detalles]
Base 10 a base b y especificación de algoritmo - Bases numéricas: conversión entre sistemas numéricos; de base 10 a base b. Cómo usar algoritmos para la conversión
Correctez en programas recursivos, Correctez de un algoritmo recursivo - [Detalles]
Correctez de un algoritmo recursivo - Cómo realizar el análisis de correctez mediante inducción matemática siguiendo el principio del buen orden.
Teorema de Menelao - [Detalles]
Demostramos el teorema de Menelao, la forma trigonométrica del teorema de Menelao y el teorema de la división interna y externa
Segmento dirigido y teorema de Stewart - [Detalles]
El concepto de segmento dirigido nos ayudara a desarrollar temas como los teoremas de Stewart, de Ceva y de Menelao y división armónica.
Diapositivas sobre conjuntos infinitos - [Detalles]
Ahora estudiamos otro tipo de conjuntos infinitos o infinitos numerables, estos son los que cumplen una biyección entre el conjunto y el conjunto de los números naturales, se muestran unas propiedades sencillas de demostrar. Hacemos una división entre los conjuntos contables y no contables.
Problemas de divisibilidad y algortimo de Euclides - [Detalles]
Resolvemos ejercicios que ocupan el algortimo de la división de Euclides.
Los números enteros - [Detalles]
En este capítulo de Cimientos Matemáticos, veremos el tema de los números enteros. Exploraremos sus propiedades y operaciones básicas. Veremos cómo cómo se ordenan en una recta numérica, estableciendo desigualdades. Hablaremos de su suma y resta, cuidando cómo trabajar con positivos y negativos. Luego, revisaremos la multiplicación y división de números enteros. Para todas estas operaciones hablaremos de varias propiedades.
En este capítulo de Cimientos Matemáticos, exploraremos el mundo de las fracciones: partes iguales de un todo. Aprenderás a simplificarlas, encontrar equivalentes, sumarlas, restarlas, ordenarlas y compararlas. Incluso como realizar la multiplicación y división de fracciones.
Cuestionario de los números enteros - [Detalles]
Este es un cuestionario para repasar el Módulo 2 del texto "Cimientos Matemáticos". Se cubren temas como números enteros, ley de los signos, multiplicación y división de números enteros, etc.
Cuestionario de las fracciones - [Detalles]
Este es un cuestionario para repasar el Módulo 3 del texto "Cimientos Matemáticos". Se cubren temas como la suma, multiplicación, división de fracciones, etc.
Continuidad de funciones de números reales - [Detalles]
En este video examinaremos la definición de continuidad puntual y veremos que muchas funciones que conocemos son continuas en muchos puntos. Daremos también la definición de continuidad en un conjunto y veremos que gracias a los teoremas que conocemos sobre el álgebra de límites, la suma, resta, multiplicación, división y composición de funciones continuas es continua.
Más ejemplos de reducción gaussiana - [Detalles]
Resolvemos más problemas que usan el algoritmo de reducción gaussiana. Vemos ejemplos concretos y uno cuyas dimensiones dependen de una variable entera.
Reducción gaussiana en sistemas lineales $AX=b$ - [Detalles]
Aplicamos el algoritmo de reducción gaussiana en sistemas lineales de la forma AX=b para llevarlos a un sistema más sencillo y con las mismas soluciones.
Sistemas lineales homogéneos con coeficientes constantes. Matriz no diagonalizable - [Detalles]
Consideramos el caso cuando la matriz asociada al sistema tiene valores propios repetidos y NO es diagonalizable. Definimos a los vectores propios generalizados de una matriz, desarrollamos un algoritmo mediante el cual encontramos n soluciones linealmente independientes al sistema, y por tanto la solución general.
Máximo común divisor de polinomios y algortimo de Euclides - [Detalles]
Definimos lo que es un ideal en los polinomios, proporcionamos un ejemplo y una caracterización de los ideales en los polinomios, al igual que en entradas anteriores tomamos ideas principales de temas que se ocupaban en los enteros pero ahora los adaptamos a los polinomios como lo es el máximo común divisor, el algoritmo de Euclides y demostramos la identidad de Bézout.
3. Algoritmos - Qué es un algoritmo, cómo funciona, su estructura y características así como un ejemplo muy ilustrativo (triángulo de sierpinski)
Satisfacción de restricciones: Sudoku - [Detalles]
Se presentan los problemas de satisfacción de restricciones y el algoritmo de backtracking como solución a este tipo de problemas utilizando como ejemplo al Sudoku.
K vecinos más cercanos - [Detalles]
Se presenta el algoritmo de clasificación k vecinos más cercanos (k-Nearest Neighbors o k-NN)
Árboles de decisión - [Detalles]
Se presentan los árboles de decisión y un algoritmo para crearlos con base en ganancia de información.
Se presenta el algoritmo de K-Medias para hacer agrupamiento de datos.
Q-learning en el ambiente del Frozen Lake - [Detalles]
Se presenta el algoritmo de aprendizaje por refuerzo Q-learning y se aplica al ambiente del Frozen Lake del gimansio OpenAI.
Iteración de política y procesos de decisión markovianos (MDP) - [Detalles]
Se presentan los procesos de decisión markovianos (MDP) y y el algoritmo de policy iteration para ejemplificar cómo resolver un MDP.
En esta entrada continuaremos recordando algunas propiedades vistas previamente enfocándonos en el teorema de Gauss y su demostración. Esto nos dará una pequeña pista de la relación entre las formas cuadráticas y matrices. Además, con el teorema de Gauss obtendremos un algoritmo para poder escribir cualquier forma cuadrática en una forma estandarizada. Esto nos llevará más adelante a plantear la ley de inercia de Sylvester.
Elementos del paradigma estructurado, Metodología Warnier Orr - [Detalles]
Metodología Warnier Orr - Explicación de la metodología Warnier Orr y diseño de algoritmo. Metodología, Warnier, Orr, Warnier Orr, paradigma, paradigma estructurado, JAVA, POO, estructuras de datos, estructuras de control, programación estructurada
Complejidad - Qué es la complejidad algorítmica; características que impactarán en el desempeño de un algoritmo entre otros conceptos de complejidad.
Correctez en programas recursivos, Técnica del invariante de ciclo - [Detalles]
Técnica del invariante de ciclo - Diseño y demostración de un algoritmo iterativo mediante la técnica del invariante de ciclo.
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.
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.