[Noti-TC] Sobre la toma del Parcial 1: VIERNES 28 de ABRIL, de 13 a 16 hs

[Jorge D'Elia]

[21-04-17, 19:27] Sobre la toma del Parcial 1:

    Fecha: VIERNES 28 de ABRIL, de 13 a 16 hs, en el Aula 9.
    Instrucciones: Concurrir con Libreta Universitaria o algún documento (con foto) para acreditar identidad. Presentarse 15' antes (12:45 hs).
    Temario de la práctica: tener en cuenta lo indicado en las clases.
    Temario de la teoría siguiendo el texto ROSEN ("Matemática discretas y sus aplicaciones", 5ta edición, 2004):
        Sec. 1.1 [Lógica, pág. 1]. Proposiciones: def. 1-4, tabla de verdad, conectivos lógicos. Implicaciones: definiciones 5-6, ejemplos adicionales. Recíproca, contrarecíproca e inversa. Precedencia de operadores lógicos. Lógica y operaciones de bits. Omitir: "especificaciones del sistema", "juegos de lógica", y "búsquedas booleanas".
        Sec. 1.2 [Equivalencias proposicionales, pág. 19]. Def. 1-2, tablas 5-7, ejemplos 1-6.
        Sec. 1.3 [Predicados y cuantificadores, pág. 26]. Intro: dominio de discurso, función proposicional y predicado, ejemplos 1-4. Cuantificadores universal y existencial: def. 1-2, tabla 1, ejemplos 5-13. Variables ligadas: ejemplo 14. Negaciones: tabla 2, ejemplos adicionales, ejemplos 15-16. Omitir: "traducción de oraciones en lenguaje natural al lenguaje formal", "ejemplos de Lewis Carroll", y "programación lógica".
        Sec. 1.4 [Cuantificadores anidados, pág. 40]. Ejemplos 1-9. Negaciones de cuantificadores anidados (o Leyes de De Morgan generalizadas): ejemplos 11-12. El orden de los cuantificadores anidados: ejemplos 14-16.
        Sec. 1.5 [Métodos de demostración, pág. 52], Reglas de inferencia: tabla 1, ejemplos 1-5. Argumentos válidos: ejemplos 5-7. Resolución: ejemplos 8-9. Falacias: ejemplos 10-11. Reglas de inferencia para sentencias cuantificadas: ejemplos 12-13. Métodos para demostrar teoremas: demostraciones directas, indirectas, por reducción al absurdo, por casos y por equivalencia, ejemplos 14-25. Leer la introducción a los apartados: Teoremas y cuantificadores (demostraciones de existencia y de unicidad), y Errores en las demostraciones. Incluir los ejemplos 31-32 pero omitir los ejemplos 26-30.
        Sec. 1.6 [Conjuntos, pág. 71], Intro: def. 1-6, teor. 1, ejemplos 1-10. El conjunto de las partes de un conjunto: def. 7, ejemplos 11-12. Producto cartesiano: def. 8-10, ejemplos 13-16.
        Sec. 1.7 [Operaciones con conjuntos, pág. 79]. Def. 1-5, tabla 1, ejemplos 1-9. Identidades de conjuntos: ejemplos 10-12, 14. Uniones e intersecciones generalizadas: def. 6-7, ejemplos 15-16. Omitir: "representación de conjuntos en un ordenador".
        Sec. 1.8 [Funciones, pág. 90]. Intro: def. 1-4, ejemplos 1-5. Funciones inyectivas y sobreyectivas: def. 5-8, ejemplos 6-13. Funciones inversas y composición de funciones (pp. 94), def. 9-10, ejemplos 14-18. Algunas funciones importantes: funciones piso y techo (def. 12), tabla 1, ejemplos 21-25.
        Sec. 3.3 [Principio de Inducción Matemática (PIM), pág. 222]. Enunciado, notación simbólica, paso base y paso de inducción. Inducción fuerte. Ejemplos 1-10, 15. Omitir: "la propiedad del buen orden" y los ejemplos 11-14.
        Sec. 3.4 [Definiciones recursivas e inducción estructural, pág. 239]: funciones definidas recursivamente: def. 1, ejemplos 1-5, omitir el ejemplo 6 y el teor. 1. Omitir: "conjuntos y estructuras definidas recursivamente", "inducción estructural", e "inducción generalizada".
--