• sem 2

    Actividad del alumnado semana 2. 

    • Los temas y TP.  Ecuaciones algebraicas en conjuntos. Cuantificación.  
    • Fuentes básicas. En la bibliografía  se hallan títulos representativos de una variedad suficiente para cubrir el programa atendiendo la diversidad de contenidos y lectores: el conocimiento y capacidad de recorrer una bibliografía es indispensable en el nivel universitario. Se reproducen algunas fuentes al alcance de un click. 
    • Bolívar, proposiciones. Lista rápidamente (en 5 páginas) las definiciones de las proposiciones compuestas básicas.
    • . Luego de hallar la forma normal disyuntiva de una proposición, se determina su conjunto de veracidad y se esquematiza con circuitos lógicos con compuertas AND, OR y NOT. Finalmente, se determina si dos proposiciones son inconsistentes. Autor: Martín Maulhardt; duración: 19 min. 
    • . En este video damos una estrategia general para resolver ecuaciones con incógnita conjunto. Con analogías especiales que se grabarán en tu cabeza, resolvemos varios ejercicios de nuestra práctica con lujo de detalles. Autor: Martín Maulhardt; duración 22 min.
    • Epp, capítulo 2. Proposiciones compuestas de uno de los textos básicos de la asignatura, con gran cantidad de ejemplos resueltos y completamente explicados. 
    • Epp, capítulo 3. La lógica de predicados de primer orden, cuantificación.
    • Epp, capítulo 6. Para repasar lo básico de conjuntos, abundantes ejemplos con explicaciones completas.
    • Lipschutz, capítulos 1 y 2. Conjuntos y operaciones entre conjuntos con muchos ejemplos resueltos, del texto Lipschutz, 2020. Teoría de Conjuntos y temas afines (Cuarta edición ). México: MacGraw-Hill. 
    •  Whitesitt, E. Boolean Algebra and its Applications. Un texto que presenta diversas aplicaciones; en las primeras páginas, un tratamiento del álgebra de conjuntos. 


    • Otros recursos.  Recursos heterogéneos que pueden complementar o abrir otras vías de acceso a los contenidos de esta semana.
    •  
      . Luego de hallar la forma normal disyuntiva de una proposición, se determina su conjunto de veracidad y se esquematiza con circuitos lógicos con compuertas AND, OR y NOT. Finalmente, se determina si dos proposiciones son inconsistentes. Autor: Martín Maulhardt; duración: 19 min.
    • . En este video damos una estrategia general para resolver ecuaciones con incógnita conjunto. Con analogías especiales que se grabarán en tu cabeza, resolvemos varios ejercicios de nuestra práctica con lujo de detalles. Autor: Martín Maulhardt; duración 22 min.
    • Nociones básicas de lógica proposicional. Lógica y conjuntos en un html puesto en términos muy sencillos.
    • Notas elementales de conjuntos y lógica. Una sencilla introducción que puede servir para refrescar las operaciones elementales entre conjuntos, preparada para el nivel introductorio, Universidad Nacional de Córdoba.
    • Video MIT, Logic (Tom Leighton). Una introducción a la lógica y las pruebas, 45 min.
    • Constructor automático de tablas de verdad. Construye automáticamente la tabla de verdad, basta tipear la proposición en la notación estándar; por ejemplo, (p and q)->(q or r) es la proposición que en la notación algebraica se escribiría como pq -> (q+r). 
    • Applet. Reconocimiento de operaciones básicas interviniendo dos conjuntos (Ensley, Shippensburg University). 
    •  Applet. Reconocimiento de operaciones básicas interviniendo tres conjuntos (Ensley, Shippensburg University). 
    • Cuestionario. Lógica proposicional y conjuntos (Tao, UCLA). Un cuestionario de 16 preguntas. 
    • Applet. Detectando proposiciones falsas. Al reconocerse como falsa, debe darse un contraejemplo (Ensley, Shippensburg University). 
    • Applet. Prueba de identidades, reconociendo en cada caso los axiomas o propiedades que permiten encadenar la demostración (Ensley, Shippensburg University). 
    • En la pestaña Varios  se encuentra una todavía mayor variedad de recursos en diversos formatos; el trato con ellos promueve auténticos aprendizajes.
    ◄semana1sem 3►