• semana1

    Actividad del alumnado semana 1.   

    • Los temas y TP.  Proposiciones y funciones proposicionales. Álgebra de proposiciones. Juegos completos. Formas normales. 
       
    • 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. 
    •  (video propio). 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. 
    • Bolívar, proposiciones. Lista rápidamente (en 5 páginas) las definiciones de las proposiciones compuestas básicas (María Julia Bolívar).
    • 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. 


    • Otros recursos.  Recursos heterogéneos que pueden complementar o abrir otras vías de acceso a los contenidos de esta semana. 
    • 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.
    ◄Cursadasem 2►