Conjuntos y Lógica - [Detalles]
En este capitulo de Cimientos Matemáticos veremos que los conjuntos son agrupaciones de elementos únicos, además de nociones esenciales como el conjunto sin elementos, la cantidad de miembros en un conjunto, y la idea de conjuntos dentro de conjuntos. En cuanto a lógica, las nociones de consecuencia lógica y contradicción juegan roles primordiales en determinar la verdad de las afirmaciones.
Cuestionario de conjuntos y logica - [Detalles]
Este es un cuestionario para repasar el Módulo 13 del texto "Cimientos Matemáticos" donde se abarcan temas como: conjuntos, elementos de conjuntos, cardinalidad, símbolos de pertenencia, subconjunto, operaciones con conjuntos, lógica de proposiciones, etc.
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.
Dispositivas de conectores: conjunción y disyunción - [Detalles]
Definimos la conjunción y la disyunción sobre una proposición, también mostramos que este tipo de proposiciones están formadas por 2 proposiciones (así formando una gracias a estos conectores) se muestra sobre como este tipo de proposiciones son verdaderas o falsas.
Diapositivas sobre proposiciones bicondicionales - [Detalles]
Mostramos otro tipo de condicionales dentro de las proposiciones matemáticas que son las bicondicionales o más conocida como si y solo si o doble implicación, estas condicionales solo son verdaderas si ambas proposiciones lo son, demostramos una serie de propiedades de este tipo de enunciados desde el punto de vista de equivalencias de formas proposicionales.
Guía de estudio sobre lógica proposicional - [Detalles]
Se deja una lista de ejercicios respecto a los temas de lógica proposicional y demostraciones para la práctica de los alumnos, refuerzen su estudio, conocimiento y habilidad en estos temas.
Ejemplos sobre lógica proposicional - [Detalles]
Se deja una lista de ejemplos respecto a los temas de lógica proposicional con el objetivo de que los alumnos que deseen profundizar más en su estudio respecto a este tema puedan clarificar su comprensión.
Interfaz gráfica de usuario (IGU), Diseño de la lógica de una calculadora simple - - [Detalles]
Diseño de la lógica de una calculadora simple - Parte 1/3. Desarrollo de una aplicación completa desde su diseño, aplicando conceptos de pasar una función como parámetro, almacenarla como objeto, utilizar técnicas para diseñar transiciones de estado de los objetos y poder utilizarlo para que nuestra interfaz de usuario funcione correctamente.
Usamos las tablas de verdad para definir la negación lógica de una proposición, damos ejemplos de la negación para proposiciones lógicas que podemos entender con el lenguaje cotidiano.
Logica proposicional - Proposiciones condicionales - [Detalles]
Se estudia el conector condicional. Definimos la implicación contrapositiva y la conversa. Se finaliza con un teorema que demuestra algunas equivalencias entre formas proposicionales.
Lógica Proposicional - Proposiciones Bicondicionales - [Detalles]
Se estudia el conector bicondicional, se muestran ejemplos y se demuestra un teorema con varias equivalencias de formas proposicionales.
Qué es una proposición matemática - [Detalles]
Definimos las proposiciones lógicas, dando ejemplos de proposiciones lógicas que podemos entender con el lenguaje cotidiano.
Diapositivas sobre proposiciones condicionales - [Detalles]
Enunciamos otro tipo de proposiciones en matemáticas que son las condicionales o implicaciones que nos dan la relación de causa-efecto dentro del enunciaso, el material es acompañado de una lista de ejemplos.
Diapositivas sobre traducciones entre proposiciones - [Detalles]
Proporcionamos una serie de ejemplos de enunciados que ocupan los cuantificadores en sus proposiciones para mostrar como se hace una correcta traducción de estos enunciados para optimizar el entendimiento del enunciado.
Introducción al curso y proposiciones matemáticas - [Detalles]
Hablamos de las nociones de verdadero y falso en matemáticas. Decimos qué son las proposiciones matemáticas. Introducimos tablas de verdad.
Problemas de proposiciones y conectores - [Detalles]
Hacemos algunos ejercicios con proposiciones y tres conectores lógicos: la negación, la disyunción y la conjunción. Y damos su razonamiento.
Damos las definiciones de los cuantificadores: para todo, existe y existe un único. Mediante ejemplos mostramos su uso en la lógica proposicional.
Pasar de frase a implicación - [Detalles]
Se muestran ejemplos de cómo traducir una frase común, a una proposición lógica.
Diapositivas sobre reglas para escribir demostraciones - [Detalles]
Mostramos la importancia de escribir demostraciones y entablamos las cuatro reglas usuales para escribir una demostración coherente y lógica.
Diapositivas sobre demostraciones por contradicción - [Detalles]
Mostramos la importancia para hacer demostración por contradicción, lo que se requiere para hacer válida este tipo de demostración matemática, explicando la lógica acompañada. La explicación va acompañada de un par de ejemplos.
Diapositivas sobre demostraciones de bicondicionales - [Detalles]
Mostramos las opciones por las cuales podemos demostrar una proposición bicondicional y la explicación lógica del por qué es posible hacerlo, la explicación se acompaña de 2 ejemplos cada uno respecto a las maneras de demostrar una proposición bicondicional.
Cuestionario Unidad 1 Álgebra Superior - [Detalles]
Se deja un cuestionario electrónico para que el alumno refuerce sus conocimientos en cuanto a lógica proposicional, al realizarlo arroja una calificación evaluando su desempeño, así mostrando en que áreas necesitaría volver a revisar.
Ejercicio de Conjuntos (De Morgan) - [Detalles]
En este video, emprenderemos un viaje meticuloso para demostrar la validez de las Leyes de De Morgan, dos principios fundamentales que conectan la lógica con las operaciones de conjuntos.
Ejercicio Inducción (Suma de impares) - [Detalles]
En este video, utilizaremos el poderoso principio de inducción matemática para desvelar la verdad detrás de esta intrigante serie. Paso a paso, te guiaremos a través del razonamiento y la lógica necesarios, permitiéndote entender no sólo el resultado final, sino también el proceso que lleva a él.
Conectores: negaciones, conjunciones y disyunciones - [Detalles]
En esta entrada revisamos algunos fundamentos sobre la lógica matemática, en este caso los conectores lógicos.
La pila de ejecución - [Detalles]
La pila de ejecución - Qué es la pila de ejecución en JAVA y la lógica detrás de esta.
Conjunción y Disyunción - [Detalles]
Usamos las tablas de verdad para definir la conjunción y disyunción para dos proposiciones lógicas.
Propiedades de la negación, conjunción y disyunción de proposiciones. - [Detalles]
Se da la definición de formas proposicionales equivalentes. Mediante tablas de verdad se demuestran las leyes o propiedades de conmutatividad, asociatividad, distributivita y las Leyes de De Morgan
Diapositivas sobre proposiciones - [Detalles]
Definimos lo que es una proposición y la negación de una proposición acompañado de varios ejemplos para fijas los conceptos básicos de las diapositivas presentadas.
Diapositivas sobre demostraciones con cuantificadores - [Detalles]
Explicamos como se demuestran proposiciones matemáticas que cuentan con cuantificadores, cómo demostrar que son verdaderos o que son falsos, las diapositivas van acompañadas de ejemplos.
Diapositivas sobre conjuntos - [Detalles]
Introducimos la idea de conjuntos, las primeras definiciones como conjuntos, subconjuntos, elemento; se muestran ejemplos de conjuntoas más populares y unas primeras proposiciones sencillas de demostrar.
Diapositivas sobre demostraciones de conjuntos - [Detalles]
Se muestran las diferentes maneras por las cuales se demuestran proposiciones de conjuntos como la demostración de una contención; la igualdad de conjuntos por doble contención, por si y solo si; demostración por casos la cual es ocupada para demostrar propiedades de conjuntos en donde está involucrada la operación unión.
Diapositivas sobre determinantes - [Detalles]
Definimos el determinante de una matriz con esta definición mostramos como se calcula para dimensiones de 3 (regla de Sarrus y cofactores) y para dimensiones mayores a 3, para dimensiones menores es muy fácil realizar el cálculo. Enunciamos las propiedades que cumple el determinante y entre estas proposiciones la condición del determinante para mostrar si una matriz es invertible. Finalmente demostramos una proposición sobre unas matrices especiales que son las triangulares y como estas matrices sin importar su dimensión ni si son triangularrs superiores o inferiores su determinante da una fórmula sencilla que es el producto de las entradas de la diagonal.
Orden en los números enteros - [Detalles]
Hablamos sobre algunas propiedades de los números naturales, vemos que poseen un orden. Lo nos lleva a dar las definiciones formales de "menos que" y "menor igual". Demostramos algunas proposiciones y propiedades que surgen de considerar un orden en los números naturales.
7. Topología de $\mathbb{C}$ - [Detalles]
Vamos a repasar los conceptos básicos de espacio métrico y topología en los complejos, con algunos ejemplos y proposiciones.
La Inducción matemática - [Detalles]
La inducción matemática es una herramienta fundamental para poder demostrar proposiciones que tienen que ver con los números naturales. En este video discutimos cuál es su estructura y como se implementa.
Ejercicio de Tablas de verdad - [Detalles]
En este video justificamos la equivalencia de proposiciones utilizando las tablas de verdad y como operan con conectores lógicos.
Álgebra Moderna I: Teoremas y Proposiciones relacionadas con subgrupos normales y grupo Alternante. - [Detalles]
Es fácil verificar que toda clase lateral derecha es una clase lateral izquierda y viceversa. En esta entrada, nos centraremos en demostrar formalmente este resultado y otros teoremas mas que sumen a las propiedades de subgrupos normales y el grupo alternante.
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.
Propiedades de la negación, conjunción y disyunción - [Detalles]
Revisamos las propiedades de tres conectores: la negación, la disyunción y la conjunción. Hablamos de cuándo son dos proposiciones equivalentes.
Negaciones de proposiciones con conectores y cuantificadores - [Detalles]
Vemos cómo se niegan los cuantificadores lógicos. Repasamos la negación con conectores lógicos.
Demostración de proposiciones con conectores - [Detalles]
En esta entrada revisamos algunos ejemplos de las demostraciones matemáticas con conectores como la conjución y disyunción.
Demostración de proposiciones con cuantificadores - [Detalles]
En esta entrada, veremos las estrategias para demostraciones matemáticas que incluyen cuantificadores como: "para todo" y "existe".
Números naturales e induccion - [Detalles]
En este video veremos a los números naturales como un subconjunto del campo de los números reales. Justificaremos el Principio de Inducción Matemática, que es una herramienta muy poderosa para demostrar proposiciones de tipo universal acerca de los números naturales.