¿Cómo es llevar Lógica y Teoría de Conjuntos?

Recientemente, aprobé el curso de Lógica y Teoría de Conjuntos (03423) y decidí sacar el rato para hacer una breve reseña que tal vez pueda ser útil a otros estudiantes que apenas están considerando llevarlo por primera vez.

Descripción General del Curso

El curso se divide en dos módulos, el primero de los cuales cubre temas de lógica, teoría de conjuntos, relaciones binarias, y demostraciones matemáticas. El segundo módulo es un estudio de las propiedades fundamentales de los conjuntos numéricos, desde los naturales hasta los complejos, además del concepto de inducción matemática.

Durante todo el curso se pone gran énfasis en el desarrollo de habilidades fundamentales para la escritura formal de demostraciones matemáticas usando diferentes estrategias: demostración directa, contrarecíproca, por contradicción, por inducción matemática, y por contraejemplo. Muchos de los ejercicios no solo requieren la escogencia de una estrategia de demostración, sino también tener presentes algunas propiedades básicas de los enteros, como la paridad y la divisibilidad, solo para mencionar un par de ejemplos.

A pesar de que muchos de nosotros ya estamos familiarizados con las propiedades básicas de los conjuntos numéricos, como la asociatividad, conmutatividad y distributividad, así como con operaciones fundamentales como la suma, resta, multiplicación y división, el segundo módulo del curso nos desafía a explorar estos conceptos con un nivel de abstracción y formalismo mucho mayor. Aquí, no solo repasamos estas propiedades y operaciones, sino que también aprendemos a demostrarlas matemáticamente, lo cual aporta una comprensión más profunda y rigurosa de los fundamentos matemáticos.

Libro del Curso

La siguiente tabla de contenidos es una muestra de lo que se cubre en el índice de la Unidad Didáctica Modular (UDM) del curso, el libro Lógica y Teoría de Conjuntos de Allan Gen Palma e Ismael Morales Garay.

Desafortunadamente el libro no existe en formato digital, pero aquellos que deseen conseguirlo anticipadamente, lo pueden comprar en la Librería Virtual de la UNED. Si lo compran en línea, la UNED lo enviará a la puerta de sus casas.

• Modulo 1: Fundamentos de lógica y conjuntos:
  • Proposiciones y leyes de la lógica:
    • Conectivas: Negación, conjunción, disyunción, condicional, bicondicional.
    • Tablas de verdad.
    • Cuantificadores lógicos.
  • Métodos de demostración matemática:
    • Demostración directa, contrarecíproca, por contradicción.
  • Teoría de conjuntos:
    • Operaciones con conjuntos: intersección, unión, diferencia, diferencia simétrica, producto cartesiano.
    • Leyes de DeMorgan.
  • Relaciones binarias:
    • Inversa de una relación binaria.
    • Propiedades de las relaciones binarias: reflexiva, simétrica, antisimétrica, transtiva.
    • Relaciones de equivalencia.
    • Relaciones de orden.
    • Clases de equivalencia.
    • Grupo cociente.
• Módulo 2: Conjuntos numéricos
  • Conjunto de los números naturales:
    • Axiomas de Peano
    • Operaciones en \(\mathbb{N}\): adición, producto.
    • Ordenamiento en \(\mathbb{N}\).
    • Principio de inducción matemática.
  • Conjunto de los números enteros:
    • Operaciones en \(\mathbb{Z}\): adición, multiplicación.
    • Ordenamiento en \(\mathbb{Z}\).
  • Conjunto de los números racionales:
    • Operaciones en \(\mathbb{Q}\): adición, multiplicación, división.
    • Ordenamiento en \(\mathbb{Q}\).
    • Representación de los racionales en forma decimal.
  • Conjunto de los números reales:
    • Caracterización de los irracionales.
    • Propiedades de los números reales: arquimediana, densidad, completitud.
    • Valor absoluto.
    • Raíces y leyes de potencias.
  • Conjunto de los números complejos:
    • Definición de un número complejo.
    • Operaciones en \(\mathbb{C}\): adición, multiplicación, división.
    • Conjugado de un número complejo.
    • Módulo de un número complejo.

Evaluación

La evaluación consistió en los siguientes instrumentos:

Haz clic en los enlaces proporcionados para ver solucionarios y ejemplos de los instrumentos en cuestión. Los enlaces apuntan a recursos en el OneDrive de la UNED, así que necesitarás ingresar con tu cuenta institucional para tener acceso a estos recursos.

• Los quizzes son lo que, usualmente, llamamos “actividad en plataforma”, y que son preguntas con selección de respuesta única. Con frencuencia, los quizzes comprueban que se ha leído y comprendido el material de un módulo. El quiz es relativamente sencillo si se ha estudiado el material de un módulo, sin embargo, no se deben tomar a la ligera, porque es fácil equivocarse y perder puntos valiosos.
• El taller por su parte, consistió en dos partes, la primera se enfocó en resolver algunos ejercicios en Geogebra (ninguno de ellos directente relacionados con el material del curso) y una segunda parte que consistía en escribir un Taller de Geogebra para estudiantes de secundaria, basándonos en lo visto hasta el momento en el curso. Les dejo acá, a manera de ejemplo, el que yo desarrollé para este curso. No es instrumento difícil de desarrollar, pero es algo laborioso de implementar.
• La tarea es un instrumento muy similar a una comprensiva, con seis problemas a resolver, solo que se concede una semana de tiempo para entregala. Los problemas presentados pueden ser laboriosos de resolver, pero no son realmente difíciles si se ha estudiado el material bajo evaluación a conciencia.
• Las comprensivas son exámenes cronometrados que usualmente contienen cinco o seis problemas del material correspondiente a una unidad de estudio y que se realizan en un día domingo de 1 PM a 5 PM. Yo creo que todos sabemos que las comprensivas no se deben tomar a la ligera porque algunos de los problemas suelen tener un nivel de dificultad alto. Siempre hay que prepararse a conciencia para las comprensivas o se corre el riesgo de perder valiosos puntos en uno de los instrumentos de mayor puntaje del cuatrimestre. Las comprensivas representan el 60% de la nota del curso.

Prerrequisitos y Nivel de Dificultad

De acuerdo con el plan de estudios de la carrera de Enseñanza de la Matemática, este curso tiene como prerrequisito haber aprobado el curso de Álgebra y Funciones (03421). El curso tiene un valor de 3 créditos, entonces se supone que el curso demanda al menos 9 horas de trabajo semanal.

En mi experiencia personal, la cadencia del curso no fue demandante. Y el nivel de dificultad me pareció medio. Lo sentí de una dificultad inferior al del curso Álgebra y Funciones (03421). El curso no exige dominio de conceptos algebraicos avanzados, pero si se requiere utilizar álgebra fundamental y, sobre todo, una buena comprensión de algunas propiedades básicas de los números a fin de desarrollar las demostraciones. El curso sí pone exigencia en el uso de abstracciones matemáticas de un nivel superior al que se ha visto en cursos previos, pues usualmente se requiere demostrar propiedades matemáticas fundamentales en otros cursos se dan por sentado.

El curso se llevó a un paso relajado y además solo se cubrieron las primeras 250 páginas del libro de clase. Hay suficiente espacio de tiempo entre cada evaluación como para estudiar el material a fondo. Los quizzes son relativamente sencillos si se ha estudiado el material según el programa. Igualmente, tanto el taller como la tarea se pueden resolver fácilmente si se ha ido estudiando el material a conciencia. Aunque las comprensivas son, como siempre, de un mayor nivel de dificultad que otros instrumentos evaluados, la realidad es que me parecieron más fáciles que las comprensivas de otros cursos que he llevado previamente.

Para mi gusto, el curso se sintió como que iba demasiado lento, quizás porque hay demasiado tiempo entre los instrumentos de evaluación aplicados. Lo cual quiere decir que este curso requiere que el estudiante demuestre un alto nivel de compromiso y organización, de lo contrario es fácil desaprovechar los largos espacios de tiempo y dejar la cobertura del material para el último minuto.

Aunque el material no es de un alto nivel de dificultad, sí se requieren muchas horas de práctica para dominar los temas con maestría. En mi opinión, ese es el principal desafío del curso: lograr un dominio sólido del material, lo que implica dedicar muchas horas de práctica. Aunque la UDM (Unidad Técnica Modular) ofrece una buena base, recomendaría buscar recursos adicionales para ejercitar con una mayor variedad de problemas, especialmente si sientes la necesidad de más práctica para reforzar tu comprensión.

Desafíos y Dificultades

El libro del curso adolece de una escasez de ejercicios prácticos. Con frecuencia, me vi obligado a recurrir a fuentes externas para una práctica efectiva. La Unidad Didáctica Modular (UDM) presenta los conceptos de manera intensiva, pero no facilita el dominio práctico de los mismos. Los ejercicios de autoevaluación, al ser un compendio de varios temas, no permiten enfocarse en áreas específicas para reforzar el aprendizaje.

Además, el tratamiento de los temas en el libro es, usualmente, insuficiente, careciendo de la profundidad y la variedad de ejercicios que se encuentran en otros textos. Consideren por ejemplo la cobertura del tema de demostraciones, o de inducción matemática, que en el libro de clase no es más que unas exiguas páginas. Otros libros dedican capítulos completos a cada tipo de demostración y ofrecen múltiples ejemplos y decenas de ejercicios. Es difícil alcanzar un dominio profundo del material o prepararse para las comprensivas exclusivamente usando la unidad didáctica modular.

El libro del curso se siente, con frecuencia, como una larga letanía que recita un concepto tras otro, sin ofrecer al estudiante una vía para pasar de la simple comprensión de los temas al dominio y maestría de los mismos. Durante páginas y páginas no hay un solo ejercicio, sino solamente algunos ejemplos de cada tema. Al final del capítulo hay un popurrí de ejercicios, pero al estar al final del capítulo, éstos se sienten como desconectados de su contexto original. A menudo, al llegar a los ejercicios de autoevaluación uno se da cuenta de que leer y entender un ejemplo de cómo hacer una demostración no es lo mismo que escribir una. Solventar este vacío fue, para mí, el mayor reto del curso.

Otro aspecto que suele ser retador es prepararse adecuadamente para las comprensivas. Tuve un buen desempeño en la primera y la última, y un desempeño mediocre en la segunda. Mi principal error en la segunda comprensiva fue no haber practicado ejercicios de relaciones binarias del mismo nivel de dificultad a los que se presentaron en la evaluación. Fallé en conectar conceptos de divisibilidad y relaciones binarias en uno de los ejercicios, además de que fallé en utilizar demostraciones por contraejemplo para simplificar mis soluciones. Esta falta de dominio del tema me costó tiempo valioso que repercutió en mi rendimiento en la segunda comprensiva.

Consejos para el Éxito

Sin duda, todos tenemos estrategias muy diferentes para estudiar, abordar el material didáctico y prepararnos para las evaluaciones. En mi caso, mi estrategia consistió en lo siguiente:

• Material didáctico adicional: No estudié exclusivamente con el libro del curso, sino que además conseguí material didáctico muy superior al libro de clase. Dejo algunas recomendaciones abajo, pero estoy seguro de que otros compañeros encontraron otras fuentes igualmente útiles que pueden mencionar en los comentarios.
• Muchísima práctica: Leer el libro del curso es una cosa, pero dominar el material es otra. Realicé decenas de ejercicios de cada tema, particularmente en el dominio de los diferentes tipos de demostraciones. Intentar hacer los ejercicios de autoevaluación puede ser una buena forma de medir que tan bien preparado va uno para las comprensivas. En mi casi hice decenas de ejercicios de práctica de The Book of Proof de Richard Hammack. También, procuré repetir por mi cuenta los ejemplos de ejercicios que se hacían en las tutorías, a manera de comprobar si dominaba bien el material.
• Foro de Consultas: Consulté extensivamente en los foros. Cada vez que me encontraba algo en el libro que no comprendía, escribía una entrada en el foro y compañeros y tutores siempre me ayudaron a encontrar las respuestas. Escribí varias decenas de preguntas en el foro, y participé en discusiones muy interesantes y enriquecedoras con compañeros y profesores. Siempre me ha parecido extraño que los estudiantes no explotamos más este recurso, pero en mi caso personal siempre hago el propio de aclarar mis dudas en los foros.
• Tutorías: Estuve presente en todas las tutorías y tuve oportunidad de evacuar dudas adicionales y solicitar guía del tutor sobre como prepararme apropiadamente para las evaluaciones comprensivas. No siempre es fácil asistir a las tutorías, y al ser en fines de semana, muchos prefieren verlas de forma asíncrona. Sin embargo, el estar presente en las tutorías, no solo le permite al estudiante realizar consultas en tiempo real, sino que además le permite construir una relación con el tutor y sus compañeros que no se puede desestimar. Esta participación activa puede hacer la experiencia de aprendizaje algo más enriquecedor y, en mi caso, ha sido clave para el éxito. Entonces, cuando el curso tiene un buen tutor, como es el caso de este curso, pienso que vale la pena asistir en vivo siempre que sea posible.
• Preevaluación Comprensiva: Evalué mi desempeño previo a las comprensivas utilizando solucionarios de ediciones anteriores del curso (que se ofrecen más abajo) y los ejercicios de autoevaluación al final de los capítulos. Éstos me sirvieron para determinar si mi nivel de preparación era el óptimo y corregir cualquier vacío de conocimiento o falta de habilidad previo a la realización de las tareas comprensivas.
• Redacción de Notas de Estudio: A medida que estudiaba el material didáctico iba redactando mis propias notas de referencia que utilizaba luego para repasar puntos clave. Acá les dejo mis anotaciones para que las descarguen, por si de algo les sirven a otros que planean llevar el curso.
• Apoyo Tecnológico: me apoyé en herramientas tecnológicas como Wolfram Alpha, HP Prime, Geogebra y ChatGPT para ayudarme a comprender y dominar el material, comprobar mis respuestas, explorar soluciones alternativas, etc.

Vídeos de Soporte Adicional

Estos son los vídeos de las tutorías asíncronas proporcionados por la tutoría

• Vídeo Tutoría 1
• Vídeo Tutoría 2
• Vídeo Tutoría 3
• Vídeo Tutoría 4

Este es un conjunto de vídeos con material adicional proporcionados por la tutoría del curso.

• Proposiciones y Leyes de Lógica
• Demostración Directa
• Demostración Contrarecíproca
• Demostración por Contradicción
• Teoría de Conjuntos y Relaciones Binarias
• Números Naturales y Enteros
• Inducción Matemática
• Números Racionales
• Números Reales
• Números Complejos

Y estos son algunos vídeos adicionales de terceros compartidos por alumnos y profesores.

• Teoría de Conjuntos
• Lógica Proposicional
• Conectores y Tablas de Verdad
• Tablas de Verdad

Otros Solucionarios

Abajo les dejo algunos solucionarios de ediciones anteriores del curso que algunos compañeros compartieron y que pueden resultar clave en la preparación para las comprensivas.

Otros Libros Recomendados

Para los que desean conseguir un libro adicional en español:

• Introducción a la Matemática Discreta de Manuel Murillo Tsijli se puede comprar, tanto físico como en formato digital, en línea, en la página de la Editorial del Tecnológico de Costa Rica. El libro cubre el mismo temario que el curso de la UNED, pero ofrece muchísimos más ejemplos y ejercicios. Yo lo compré físico, y la Editorial del TEC lo envió a la puerta de mi casa.

En mi caso, utilicé tres libros clave en mi preparación. Desafortunadamente, estos libros solo están en idioma inglés; sin embargo, con tecnologías como Google Translate y ChatGPT es posible traducir las secciones relevantes con facilidad. Por ejemplo, pueden tomar un pantallazo de una página del libro y luego subirla a ChatGPT y pedirle que se las traduzca al español, lo cual hace magistralmente bien. Además, las secciones de ejercicios no requieren de un gran dominio del idioma inglés para entender de qué se tratan.

• The Book of Proof de Richard Hammack
• How to Prove It A Structured Approach de Daniel J. Velleman
• Mathematical Reasoning Writing and Proof de Ted Sundstrom

Estos libros me parecieron extraordinariamente buenos. Cada uno de ellos cubre los temas del curso de una forma muchísimo más amplia y con una gran variedad de ejemplos y ejercicios de práctica. Los autores de estos libros son verdaderos maestros del tema y grandes educadores.

Otras Herrmientas

Además de Geogebra, con el que creo que a estas alturas todos estamos familiarizados, yo utilicé algunas otras herramientas:

• Wolfram Alpha: es un avanzado software capaz de responder a preguntas de naturaleza matemática, usualmente usando lenguaje natural. El enlace los llevará a la sección de lógica y teoría de conjuntos de Wolfram Alpha, la cual ofrece decenas de comandos que pueden resultar super útiles para estudiar el material y para comprobar las respuestas a los ejercicios. Puede hacer diagramas de Venn, solucionar problemas de teoría de conjuntos y lógica proposicional, crear tablas de verdad, etc.
• Symbolab: es igualmente una poderosa calculadora matemática que puede realizar operaciones de lógica proposicional, tablas de verdad, y operaciones teoría de conjuntos.
• HP Prime: la poderosa calculadora científica de HP se puede descargar de forma digital, gratuitamente, y la misma tiene soporte para una amplia variedad de operaciones, incluyendo cálculos de álgebra simbólica, lógica proposicional, números complejos, etc.
• ChatGPT: el bot es increíblemente efectivo para discutir ejercicios de demostración. Se le puede solicitar que realice demostraciones matemáticas básicas usando diferentes estrategias y usualmente lo hace bien. Se requiere dominio del tema por parte del estudiante porque ChatGPT a menudo ofrece respuestas incorrectas o con errores, sin embargo, suele ser de gran ayuda como herramienta exploratoria, o para obtener explicaciones de cosas que uno no entiende bien. ChatGPT entiende \(\LaTeX\), entonces es posible expresar las preguntas usando ese formato. Para los que tengan la versión de pago, se puede combinar con el plugin de Wolfram Alpha para obtener respuestas incluso más avanzadas.

Si Deseo LLevar el Curso

Si ya has aprobado Matemática Introductoria (03463) y deseas llevar el curso de Lógica y Teoría de Conjuntos, te recomiendo que visites los siguientes enlaces:

• Orientaciones Académicas: para ver el programa del curso.
• Oferta Anual de Asignatura: para comprobar disponibilidad del curso.
• Formulario de Autorización de Matrículas: para solicitar que se te habilite el curso para matrícula.

¿Que hay de ti? ¿Cómo fue tu experiencia llevando el curso? ¿Tienes alguna anécdota o referencia valiosa que te gustaría compartir? Déjanos tus comentarios para enriquecer esta entrada del blog.