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. 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.
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.
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.