El objetivo de este curso es presentar a los estudiantes ideas y técnicas de matemáticas discretas que se utilizan ampliamente en Ingeniería de Sistemas. En última instancia, se espera que los estudiantes comprendan y usen las estructuras discretas (abstractas) que son la columna vertebral de la informática y computación. En particular, esta curso está destinado a introducir la lógica, demostración, conjuntos, funciones, relaciones, conteo con énfasis en aplicaciones en ingeniería de sistemas.
- Teacher: EDUARD GILBERTO PUERTO CUADROS
El objetivo de este curso es presentar a los estudiantes ideas y técnicas de matemáticas discretas que se utilizan ampliamente en Ingeniería de Sistemas. En última instancia, se espera que los estudiantes comprendan y usen las estructuras discretas (abstractas) que son la columna vertebral de la informática y computación. En particular, esta curso está destinado a introducir la lógica, demostración, conjuntos, funciones, relaciones, conteo con énfasis en aplicaciones en ingeniería de sistemas.
- Teacher: EDUARD GILBERTO PUERTO CUADROS
Está área es base para los campos de la informática y la tecnología de la información. Es una rama de las matemáticas que estudia el manejo de "estructuras discretas" y el universo binario. Se define dentro del área de las ciencias de la computación y su objetivo es proporcionar un conocimiento práctico de principios y conceptos matemáticos que son relevantes para el dominio de algoritmos y sistemas computacionales.
El curso comprende temas como teoría de conjuntos, lógica proposicional y de predicados, métodos de demostración, relaciones, funciones, lógica de bool y principios básicos de combinatoria. Todo en el contexto de proporcionarle a los estudiantes una comprensión de estas áreas y su uso en el campo de la Ingeniería de Sistemas.
Los estudiantes operan sobre técnicas de prueba en lógica proposicional como antesala a las pruebas formales de un desarrollo de software. Trabajan con operadores lógico relacionales como base para su curso de fundamentos de programación. Conceptos como variables y funciones son introducidos en lógica de predicados; así mismo, opera con estructuras formales de almacenamiento como son los conjuntos y su implicación para la informática. Finalmente, trabaja con relaciones recursivas y combinatoria como introducción a sus cursos de programación y estadística.
- Teacher: Marco Antonio Adarme Jaimes