Descripción
Este es el primero de dos cursos de matemáticas discretas que tiene la carrera de Computación, por lo que es introductorio y da las bases para el siguiente curso. Se inicia con un capítulo de lógica seguido de teoría de conjuntos, relaciones binarias, funciones y termina con un capítulo de inducción y recursividad.
Algunos datos del Programa vigente para este ciclo lectivo son los siguientes:
1. Utilizar los conceptos básicos de la lógica formal.
2. Utilizar los conceptos básicos de teoría de conjuntos.
3. Utilizar el concepto de relación y el de relaciones binarias, para ordenar y clasificar los elementos de un conjunto.
1. Lógica
Proposiciones, conectivas, negación de una proposición. Tablas de verdad, tautologías, contradicciones, proposiciones contingentes. Equivalencias lógicas, inferencias lógicas, lógica de predicados. Cuantificadores universales y existenciales, existencia-unicidad. Métodos de demostración.
2. Conjuntos
Nociones básicas: conjunto, cardinalidad, pertenencia, conjunto de referencia, subconjunto. Igualdad de conjuntos, conjunto vacío, axioma de regularidad, conjunto de partes. Operaciones con conjuntos: unión, intersección, diferencia, complemento, diferencia simétrica, producto cartesiano de dos conjuntos. Álgebra de conjuntos. El principio de adición. Familias de conjuntos.
3. Ecuaciones e inecuaciones
Ecuaciones e inecuaciones polinómicas, racionales, con radicales y con valor absoluto. Demostración de igualdades y desigualdades.
4. Utilizar los teoremas relacionados con el concepto de función.
5. Utilizar el concepto de función para representar fenómenos sencillos de la vida real.
6. Utilizar la diferencia entre relación y función.
7. Utilizar el Método de Inducción para demostrar resultados matemáticos.
8. Integrar todos los conocimientos adquiridos en demostrar resultados matemáticos útiles para su disciplina.
1. Relaciones
Conceptos básicos: relación, gráfico, dominio, codominio, relación inversa, igualdad de relaciones. Matrices y Grafos. Clasificación de las relaciones. Relaciones de orden total y parcial. Relaciones de equivalencia: clases de equivalencia, conjunto cociente.
2. Funciones
Conceptos básicos: función, gráfico, dominio, codominio, imagen, preimagen, imagen directa, imagen inversa. Funciones polinomiales, racionales y radicales. Función valor absoluto. Funciones definidas en trozos. Dominio máximo. Inyectividad, sobreyectividad y biyectividad. Monotonía de una función. Composición de funciones. Inversa de una función. Operaciones con funciones. Funciones pares e impares.
3. Inducción y recursividad
Principio de Inducción, divisibilidad, sucesiones, sumatorias y productorias. Sucesiones recursivas y su forma explícita.
El Programa del curso completo lo puede encontrar en el Entorno virtual, que puede acceder en la siguiente dirección:
https://mv2.mediacionvirtual.ucr.ac.cr/course/view.php?id=21490
La clave de acceso es (respetando mayúsculas y minúsculas):ExMa.MA0291
Apoyos
A modo de apoyo, a las personas estudiantes del mecanismo Aprendizaje Adaptativo de la Escuela de Matemática (ExMa) se le ofrecen las siguientes posibilidades:
https://orientacion.ucr.ac.cr/post-an-event/estudiadero/