JAVA, Clases de uso - [Detalles]
• Clases de uso – Organización por convención. ¿Qué son las clases en JAVA? El método main. Java, poo, programación orientada a objetos, clases de uso, clases, método main, main
Tipos genéricos, Introducción, uso y declaración de clases genéricas - [Detalles]
Introducción, uso y declaración de clases genéricas - Qué son, cómo se pueden utilizar y para qué nos pueden servir. Cómo se declaran. Incluye ejemplo de uso y declaración así como las convenciones generales.
Cuando dos clases laterales son iguales - [Detalles]
Se presenta un criterio para determinar cuándo dos clases laterales son iguales, también se demuestra que clases laterales son iguales o disjuntas.
Álgebra Moderna I: Grupo Cociente - [Detalles]
La definición de subgrupos normales surgió de la necesidad de extender las propiedades de los enteros a grupos más generales. En los enteros, definimos una relación de equivalencia (módulo n) que nos permite obtener clases de equivalencia. Estas clases no solo generan una partición, sino que también constituyen un subgrupo de Z. La idea central es generalizar este concepto: buscamos definir una operación en ciertas clases de equivalencia para que también formen un grupo.
JAVA, Poniendo las clases en paquetes - [Detalles]
• Poniendo las clases en paquetes – Ejemplo de cómo crear clases y paquetes.
Programación orientada a objetos con Java, Clases y atributos - [Detalles]
Clases y atributos - Cómo se define todo en JAVA; clases, atributos y métodos. Conceptos generales y sintaxis.
Entrada y Salida estructurada, Protocolo en el uso de flujos - [Detalles]
Protocolo en el uso de flujos - Cómo seguir dicho protocolo para el uso general de flujos.
Ejemplo de partición, clases y relación de equivalencia - [Detalles]
Continuamos con la discusión sobre las relaciones de equivalencia, damos un ejemplo y demostramos que es una relación de equivalencia, usamos el ejemplo para ilustrar sus clases de equivalencia y la partición.
Los enteros módulo $m$ - [Detalles]
Definimos los enteros modulo "m". Este conjunto consiste de las clases de equivalencia de la congruencia modulo "m". Definimos la operación suma y multiplicación en el conjunto de los enteros modulo "m" (recordemos que sus elementos son clases de equivalencia). Mostramos que las operaciones cumplen las propiedades necesarias para que los enteros modulo "m" sean un anillo.
Hay tantas clases laterales izquierdas como derechas - [Detalles]
Se demuestra que hay el mismo número de clases laterales derechas que izquierdas.
Centralizadores y clases de conjugación - [Detalles]
Se definen los centralizadores y se exploran propiedades de las clases de conjugación.
Distintas clases de números - [Detalles]
En este video platicamos acerca de distintas clases de números y motivamos de donde surgen.
Clases de equivalencia y particiones - [Detalles]
Esta entrada estará dedicada a dos conjuntos nuevos a los que llamaremos clases de equivalencia y particiones. Dichos conjuntos nos permitirán por un lado agrupar a los elementos de un conjunto conforme estén relacionados con otros y así estudiar a un conjunto no solo como un total si no por partes.
Relaciones de equivalencia y clases de equivalencia - [Detalles]
En esta entrada revisamos las relaciones de equivalencia, clases de equivalencia y particiones de conjuntos.
Entrada y Salida estructurada, Jerarquía de clases para entrada, salida - [Detalles]
Jerarquía de clases para entrada, salida - Tipos de flujo en Java
Flujos en JAVA, Ejemplos de uso de flujos - [Detalles]
Ejemplos de uso de flujos - Procesar la entrada con scanner e inputstream y cómo acceder a datos de la red.
Particiones, relaciones y clases de equivalencia - [Detalles]
Definimos un tipo especial de relación entre conjuntos, la Relación de equivalencia, y cuáles son las 3 propiedades que debe cumplir, también hablamos de la clase de equivalencia y la partición de una relación de equivalencia
Ejemplo de clase de equivalencia y partición - [Detalles]
Continuamos con el ejemplo anterior sobre las relaciones de equivalencia, damos las clases de equivalencia y la particione de la relación de equivalencia con elementos del plano cartesiano.
Congruencias como relación de equivalencia - [Detalles]
En este video vemos que la relación de congruencia es, justo como podríamos sospechar, una relación de equivalencia en los enteros. Mostramos que la congruencia cumple las tres propiedades para ser una relación de equivalencia: Reflexividad, Simetría, Transitividad. Hablamos sobre la partición que genera en los enteros y cuáles son las clases de equivalencia para cada entero.
El número de hojas de un cubriente y su grupo fundamental - [Detalles]
En este video demostramos que el número de hojas de un cubriente (con espacio base y espacio cubriente arco-conexos) está en correspondencia con el número de clases laterales de la imagen del grupo fundamental del espacio cubriente, en el grupo fundamental del espacio base.
El cubriente universal - parte 2 - [Detalles]
En este video definimos el cubriente universal (de un espacio que satisface ciertas condiciones) en términos de clases de homotopía de caminos en el espacio base que comienzan en un punto base fijo. En videos posteriores mostraremos que el espacio que definimos en este video es, en efecto, el cubriente universal del espacio con el que comenzamos.
El teorema de clasificación de cubrientes - parte 3 - [Detalles]
En este video demostramos finalmente el teorema de clasificación de cubrientes. Es decir, establecemos una biyección entre el conjunto de subgrupos del grupo fundamental y clases de isomorfismo de cubrientes.
Clases laterales - definición y ejemplos - [Detalles]
Se da la definición de clase lateral y se presentan ejemplos.
Álgebra Moderna I: Producto de subconjuntos y Clases Laterales - [Detalles]
En la primera sección, se establece una definición clara de nuestro producto y se ejemplifica mediante casos específicos. En la segunda parte, se busca abordar la cuestión de cuándo el producto de dos subconjuntos constituye un subgrupo. En la tercera sección, se explora un escenario particular: ¿Qué ocurre cuando uno de los subconjuntos es un conjunto unitario? Es decir, se analiza la multiplicación de un subgrupo de G con un único elemento de G.
Álgebra Moderna I: Subgrupo Conjugado, Subgrupo Normal y Conmutatividad Parcial - [Detalles]
En esta entrada definiremos un producto entre dos clases izquierdas usando el producto en G. Para lo cual necesitamos dar formalmente que es un conjugado y un subgrupo N normal de G.
Álgebra Moderna I: Una modificación al Teorema de Cayley - [Detalles]
Ya observamos la importancia del Teorema de Cayley, ya que nos permite visualizar a un grupo G como un subgrupo del grupo de permutaciones. En esta entrada relacionaremos al grupo G con un grupo simétrico mas pequeño que Sn . Utilizaremos los elementos de G no para mover sus propios elementos, si no, para mover clases laterales.
Álgebra Moderna I: Acciones - [Detalles]
Para esta sección, necesitamos tomar el concepto de acción. Hemos estado usando el verbo actuar para referirnos a esta transformación que sucede al operar un a en G y otro elemento, sea del mismo G o de las clases laterales. La realidad es que ya usar actuar da una idea de lo que estamos queriendo decir. Estamos usando un elemento de un grupo para transformar un elemento de otro.
Diseño y programación orientada a objetos; Modelo - [Detalles]
1.2 Modelo orientado a objetos - ¿Qué es el modelo orientado a objetos? Presentación de las características de este modelo y su composición además de la definición de objeto que usaremos, cómo funciona, su rutina y mensaje además los tipos que existen. De igual forma se nos explica la definición de estado de objeto. y los tipos de métodos. También se nos habla de la programación orientada a objetos con clases, su definición y composición. Por último se presenta la definición de interfaz.
Diseño y programación orientada a objetos; Diseño - [Detalles]
1.3 Diseño: tarjetas de responsabilidad y UML - Diseño de una solución orientada a objetos. Cómo se hace una tarjeta de responsabilidad. ¿Qué es la notación UML? y cómo hacer un diagrama de clases. Se da el primer acercamiento al concepto de herencia o generalización, implementación o realización y contención (agregación y composición). Por último se habla de dependencia y asociación.
Conjunto cociente - [Detalles]
En esta entrada definiremos al conjunto cociente, dicho conjunto tendrá como elementos a las clases de equivalencia de una relación. Además probaremos que toda relación de equivalencia induce una partición y viceversa.
Matrices y transformaciones nilpotentes - [Detalles]
Hemos estudiado varias clases importantes de matrices y transformaciones lineales: diagonales, triangulares superiores, simétricas, ortogonales, normales, etc. Es momento de aprender sobre otro tipo fundamental de matrices y transformaciones lineales: las transformaciones nilpotentes.
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.
Funciones de orden superior, Pasar una función como parámetro - [Detalles]
Pasar una función como parámetro - Implementar una interfaz funcional para pasar la función a parámetro. Introducción a las clases anónimas internas y a las LAMBDA
Programación orientada a objetos con Java, Métodos - [Detalles]
Métodos - Cómo se define todo en JAVA; clases, atributos y métodos. Conceptos generales y sintaxis.
Programación orientada a objetos con Java, Tipos de métodos - [Detalles]
Tipos de métodos - Cómo se define todo en JAVA; clases, atributos y métodos, tipos de métodos. Conceptos generales y sintaxis.
Hilos. Implementación, Crear hilos en JAVA - [Detalles]
Crear hilos en JAVA - Clases de hilos y cómo crearlos
Damos las definiciones de los cuantificadores: para todo, existe y existe un único. Mediante ejemplos mostramos su uso en la lógica proposicional.
Cómo verificar que dos funciones son inversas - [Detalles]
Haciendo uso de un ejemplo, mostramos como verificar cuando dos funciones son inversas una de otra.
Cardinalidad - conjuntos infinitos - los naturales - [Detalles]
Hablamos sobre la cardinalidad del conjunto de los números naturales, y mostramos que el conjunto es infinito. Haciendo uso de esto, definimos cuando un conjunto es "Numerable" y damos algunos ejemplos.
El maximo común divisor como combinación lineal entera - [Detalles]
Demostramos un teorema que nos afirma que el máximo común divisor se puede escribir como una combinación lineal de sus dividendos. Hacemos uso de las propiedades de divisibilidad anteriormente vistas y después generalizamos el teorema para el máximo común divisor de un numero arbitrario de enteros.
Propiedades del máximo común divisor - [Detalles]
Demostramos algunas propiedades sobre el máximo común divisor, vemos que puede sacar enteros, y varias propiedades más, las cuales demostramos haciendo uso del teorema de combinación lineal anteriormente visto.
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.
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.
Ejemplos de cómo resolver una ecuación diofántica - [Detalles]
Vemos un método para encontrar una solución particular de la ecuación diofántica lineal. En el método hacemos uso del Máximo común divisor y a partir de la solución encontrada podemos generar todas las demás soluciones utilizando las fórmulas del segundo teorema del tema actual.
Resolviendo un problemacon ecuaciones diofánticas - [Detalles]
Resolvemos un problema donde podemos hacer uso de las ecuaciones diofánticas para dar la solución al problema. Describimos como abstraer el problema a una ecuación diofántica, y usando lo anteriormente visto, damos la solución.
El teorema fundamental de la aritmética - [Detalles]
Hablamos sobre el teorema fundamental de la aritmética. Primero demostramos el lema de Euclides, y haciendo uso de este demostramos el teorema fundamental de la aritmética, el cual nos dice que: Todo número entero mayor que 1 se puede factorizar como producto de primos, y estos son únicos. ¡Es decir, la factorización es única!
Hay una cantidad infinita de números primos - [Detalles]
Para terminar esta sección demostramos un teorema de bastante relevancia, el cual nos dice que existe una cantidad infinita de numero primos. La demostración es sencilla y hacemos uso del teorema fundamental de la aritmética.
Cuantas soluciones tiene una congruencia lineal - [Detalles]
Usando un ejemplo vemos cuantas soluciones llega a tener una ecuación lineal modulo "m", esto nos lleva a buscar un método para conocer el número de soluciones de una ecuación lineal. Haciendo uso de un teorema que demostramos durante el video, llegamos a un corolario el cual nos dice que una ecuación lineal modulo "m", tiene MCD(a,m) soluciones.
Forma polar de un número complejo - [Detalles]
Vemos como escribir un numero complejo en su forma polar (mediante su modulo y su argumento). Para esto hacemos uso de las razones trigonométricas y vemos su representación en el plano complejo.
Soluciones de una ecuación cuadrática - [Detalles]
Hablamos sobre las posibles soluciones de una ecuación cuadrática (damos un breve recordatorio sobre la formula general o más popularmente conocida como "chicharronera"). Vemos gráficamente cuando una ecuación cuadrática tiene dos, una o ninguna solución real. Definimos el discriminante y haciendo uso de el vemos cuando la ecuación cuadrática tiene una o dos soluciones reales, o cuando su solución es compleja.
Factorización de polinomios. Un ejemplo paso a paso y muchas sugerencias - [Detalles]
Vemos un ejemplo de cómo factorizar un polinomio como producto de polinomios irreducibles. Hacemos uso del criterio de Eisenstein para encontrar las raíces enteras y después obtenemos las demás raíces, en los racionales e incluso en los complejos. Durante el procedimiento damos sugerencias.
Ecuaciones autónomas, soluciones de equilibrio, línea fase y esbozo de soluciones - [Detalles]
Esbozamos las soluciones a una ecuación de primer orden de la forma dy/dt=f(y), la cual denominamos ecuación autónoma, mediante el uso de sus soluciones de equilibrio y la línea fase asociada a la ecuación.
Rectas tangente y normal a una curva - [Detalles]
Revisión de ejercicios donde haciendo uso de la derivada obtenemos la recta normal y tangente a una curva.
Problemas de optimización - [Detalles]
Solución de algunos problemas de optimización haciendo uso del los criterios para hallar máximos y mínimos de una función.
Revisión de problemas de razón de cambio haciendo uso de la derivada.
Resolución de triángulos - [Detalles]
Hacemos uso de las Leyes de senos y cosenos para la resolución de triángulos. Es decir, mostramos que, sabiendo algunos datos de un triángulo cualquiera, podemos saber cuándo miden los lados y ángulos restantes por medio de las leyes de senos y cosenos
Distancia punto recta - [Detalles]
Deducimos la fórmula para calcular la distancia de un punto a una recta en el espacio tridimensional. Buscamos la distancia mínima del punto a la recta Durante la deducción hacemos uso del producto cruz ya que buscamos una distancia dada por una dirección perpendicular a la recta.
Distancia entre dos rectas en el espacio - [Detalles]
Deducimos la fórmula para calcular la distancia entre dos rectas en el espacio tridimensional. Al igual que el caso de un punto y una recta, buscamos la distancia mínima, y hacemos uso del producto triple y producto cruz para deducir esta fórmula.
Distancia entre un plano y un punto - [Detalles]
Similar al caso de una recta y un punto, deducimos la fórmula para calcular la distancia mínima de un punto a un plano. Para la distancia hacemos uso del producto punto y sus propiedades.
Distancia entre dos planos en el espacio - [Detalles]
Similar al caso de la distancia entre dos rectas, deducimos la fórmula para calcular la distancia mínima entre dos planos (siempre que no se crucen). Vemos que los planos deben ser paralelos, ya que en caso contrario se cruzan y su distancia es cero. Para la formula hacemos uso de la fórmula para la distancia de un punto a un plano.
COMAL: Álgebra Lineal I - [Detalles]
Cubrimos el temario oficial de Álgebra Lineal con un fuerte uso de notas de blog y problemas. Hacia el final hacemos énfasis en cómo los temas se aplican en áreas como programación en Python, homología, cuántica, biología matemática, entre otros. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104721.
COMAL: Geometría Moderna I - [Detalles]
Cubrimos el temario oficial de Geometría Moderna I con el uso de notas, videos e interactivos de GeoGebra. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE103320.
COMAL: Álgebra Lineal II - [Detalles]
Cubrimos el temario oficial de Álgebra Lineal II con un fuerte uso de notas de blog y problemas. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522.
Homología singular - la homología de un cociente - [Detalles]
En este video demostraremos que la homología de la (buena) pareja (X,A) es isomorfa a la homología reducida del cociente X/A. La demostración hace uso del teorema de escisión.
Homología singular - la homología de una esfera - [Detalles]
En este video calcularemos la homología de una esfera. Este cálculo hará uso de la sucesión exacta del cociente, la cual, a su vez es consecuencia de muchos de los teoremas que ya hemos visto.
COMAL: Álgebra Superior II - [Detalles]
Cubrimos el temario oficial de Álgebra Superior II con un fuerte uso de notas de blog y problemas. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE104522.
Ejemplo Desigualdad del Triángulo - [Detalles]
En este video, nos sumergimos en el corazón de una demostración que explora la relación entre $\vert xy - x_0y_0\vert$ y un valor $\varepsilon$ determinado, todo ello haciendo uso de la poderosa Desigualdad del Triángulo.
Nota 16. Los números naturales. - [Detalles]
En esta nota construimos los números naturales mediante el uso de conjuntos y la función sucesor, derivado de esto vemos los axiomas de Peano, entre ellos se encuentra el llamado "principio de inducción" el cual se utiliza mucho en pruebas relacionadas a números naturales; por ultimo definimos dos operaciones en este conjunto: la suma y el producto.
Álgebra Moderna I: Factorización Completa - [Detalles]
Para este punto, tenemos que notar formas diferentes de expresar una permutación a partir del uso de uno ciclos, lo cual nos lleva a definir una factorización completa de una permutación A, con la cualidad de la unicidad.
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.
Propiedades del producto cartesiano - [Detalles]
En esta entrada demostraremos algunas de las propiedades del producto cartesiano. Hablaremos acerca de la conmutatividad y asociatividad de esta operación. A partir de esta entrada haremos uso de los números naturales aunque formalmente no los hemos definido, por el momento los utilizaremos simplemente como números y no como conjuntos.
Funciones suprayectivas y biyectivas - [Detalles]
En esta entrada hablaremos acerca de funciones sobreyectivas, este tipo de funciones serán aquellas cuya imagen sea todo el codominio, veremos ejemplos y que pasa con la composición de funciones. Tras definir este concepto podremos definir el concepto de función biyectiva, este último será de gran utilidad pues haremos uso de él cuando queramos estudiar un conjunto a través de otros conjuntos que tengan la misma cantidad de elementos.
Regla de la cadena para campos vectoriales - [Detalles]
Enunciamos y demostramos la regla de la cadena para campos vectoriales, es decir, de varias variables. Damos ejemplos de su uso.
Multiplicadores de Lagrange - [Detalles]
Enunciamos y demostramos el teorema de multiplicadores de Lagrange para optimizar campos escalares bajo restricciones. Damos ejemplos de uso.
Principio de inducción en los números naturales - [Detalles]
Introducción En esta entrada vamos a hablar de el principio de inducción que se deriva del quinto axioma de Peano. Veremos cómo es que nos ayudará a un nuevo tipo de demostraciones, lo que significa en términos simples y algunos ejemplos de su uso. El efecto dominó Pensemos un poco en cómo funciona la inducción […]
Breviario de Lógica y Conjuntos - [Detalles]
En este video se comentan algunos aspectos de lógica y conjuntos, que serán de uso muy frecuente en el curso. En especial se comenta sobre los conectivos lógicos y los conjuntos solución de proposiciones sobre números reales.
Funciones, Parte 2 - [Detalles]
En este video se discute exhaustivamente la naturaleza de la raíz cuadrada positiva de números reales no negativos, como función. El énfasis principal es mostrar que todo número real positivo tiene una raíz cuadrada positiva, haciendo uso del axioma del supremo.
COMAL: Álgebra Superior I - [Detalles]
Cubrimos el temario oficial de Álgebra Superior I con un fuerte uso de notas de blog y problemas. Trabajo realizado con el apoyo del Programa UNAM-DGAPA-PAPIME PE109323.
Uso de interfaces, Definiciones formales de lista - [Detalles]
Definiciones formales de lista - Recursividad estructural, definiciones preliminares
Uso de interfaces, Transliterando a Java - [Detalles]
Transliterando a Java - qué es transliterar en JAVA (listas)
Uso de interfaces, Lista en la memoria de Java - [Detalles]
Lista en la memoria de Java - Cómo se ven las listas y transliteraciones en JAVA. Cómo se van almacenando.