Lógica Proposicional
Comprenderás cómo el razonamiento lógico se traduce en código. Aprenderás a usar conectivos como AND, OR, NOT, XOR, IF–THEN e IFF para expresar condiciones y decisiones dentro de algoritmos. Explorarás propiedades como la doble negación, De Morgan y distributividad, aplicándolas en ejercicios y demostraciones como el del triángulo isósceles. Todo con enfoque práctico y directo a programación.
Mentores expertos
Online
Práctico
Comprenderás qué es una proposición lógica, cómo se formula y cómo se usa en la resolución de problemas y diseño de algoritmos
Aprenderás a construir tablas de verdad para analizar expresiones lógicas y validar condiciones complejas en código.
Explorarás los principales conectivos lógicos y su comportamiento en programación, con ejemplos aplicados en estructuras condicionales.
Estudiarás cómo representar relaciones del tipo “si… entonces…” y equivalencias bidireccionales, esenciales para el razonamiento formal.
Aprenderás a transformar y simplificar expresiones mediante leyes de equivalencia como la doble negación, De Morgan, conmutatividad y distributividad.
Aplicarás propiedades algebraicas de la lógica proposicional para optimizar expresiones y eliminar redundancias.
Analizarás distintos métodos de demostración —directa, contrarrecíproca y por contradicción— aplicados a un caso matemático clásico.
Resolverás problemas que conectan directamente la lógica proposicional con la escritura de condiciones y validaciones en código.
¿Qué aprenderas?
Al completar este módulo, dominarás:
Comprenderás qué es una proposición lógica, cómo se formula y cómo se usa en la resolución de problemas y diseño de algoritmos
Aprenderás a construir tablas de verdad para analizar expresiones lógicas y validar condiciones complejas en código.
Explorarás los principales conectivos lógicos y su comportamiento en programación, con ejemplos aplicados en estructuras condicionales.
Estudiarás cómo representar relaciones del tipo “si… entonces…” y equivalencias bidireccionales, esenciales para el razonamiento formal.
Aprenderás a transformar y simplificar expresiones mediante leyes de equivalencia como la doble negación, De Morgan, conmutatividad y distributividad.
Aplicarás propiedades algebraicas de la lógica proposicional para optimizar expresiones y eliminar redundancias.
Analizarás distintos métodos de demostración —directa, contrarrecíproca y por contradicción— aplicados a un caso matemático clásico.
Resolverás problemas que conectan directamente la lógica proposicional con la escritura de condiciones y validaciones en código.
¿Qué aprenderas?
Al completar este módulo, dominarás:
Deep Mentors
Aprende con mentores top, mundialistas en programación ICPC
JEAN PIERRE MANDUJANO
CTO / Tech Lead
CEO & Co-Founder de DeepSkill
Coach ICPC
ELVIS
CAPIAS
Senior Enginner en Google
Coach Mundial de Programación
RACSÓ
GALVAN
Technical Lead de la IEEEXtreme 18.0.
Ex Mundialista ICPC World Final
EMANUEL
SOTO
Ing. Ciencias de la computación
Mundialista ICPC World Final
Nuestros mentores cuentan con experiencia en empresas líderes a nivel internacional.
Testimonios
Experiencias de nuestros ex alumnos
Israel Candia
Android Developer
Los mentores son expertos en su campo. La masterclass ha brindado una visión clara de lo que buscan las empresas y ha demostrado que es posible postular con confianza a oportunidades en el extranjero.
Alvaro Cencia
Estudiante Universitario
En la universidad, los conceptos clave no siempre se profundizan. En este curso, la comprensión es prioritaria, brindando una base sólida en estructuras de datos, esenciales en inteligencia artificial, ciencia de datos, desarrollo web y más.
Gianmarcos Perez
Lider Técnico
El curso es ideal para quienes tienen conocimientos básicos y buscan profundizar en la resolución de problemas para avanzar en su carrera. No es para principiantes, sino para quienes desean llevar sus habilidades a un nivel más alto.
Deep Mentors
Aprende con mentores top mundialista en programación
Emanuel Soto
Ing. Ciencias de la computación
Mundialista ICPC World Final
Deep Mentors
Aprende con mentores top mundialista en programación
Jean Pierre Mandujano
CTO | Tech Lead CEO & Co-Founder de DeepSkill
Coach ICPC
Deep Mentors
Aprende con mentores top mundialista en programación
Racsó Galvan
Technical Lead de la IEEEXtreme 18.0.
Ex Mundialista ICPC
Coach ICPC
Deep Mentors
Aprende con mentores top mundialista en programación
Elvis Capia
Senior Engineer en Google
Coach Mundial de Programación
Nuestros mentores cuentan con experiencia en empresas líderes a nivel internacional.
Israel Candia
Android Developer
Los mentores son expertos en su campo. La masterclass ha brindado una visión clara de lo que buscan las empresas y ha demostrado que es posible postular con confianza a oportunidades en el extranjero.
Alvaro Cencia
Estudiante Universitario
En la universidad, los conceptos clave no siempre se profundizan. En este curso, la comprensión es prioritaria, brindando una base sólida en estructuras de datos, esenciales en inteligencia artificial, ciencia de datos, desarrollo web y más.
Gianmarcos Perez
Lider técnico
El curso es ideal para quienes tienen conocimientos básicos y buscan profundizar en la resolución de problemas para avanzar en su carrera. No es para principiantes, sino para quienes desean llevar sus habilidades a un nivel más alto.