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.
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.
Damos las definiciones de los cuantificadores: para todo, existe y existe un único. Mediante ejemplos mostramos su uso en la lógica proposicional.
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.
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.
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.
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.
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.
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.