Universidad Simón Bolívar Xiomara Contreras Departamento de Computación y TI
Bienvenidos al curso "Estructuras Discretas II", orientado al estudio de conceptos abstractos básicos en computación y a la comprensión y desarrollo de argumentos demostrativos que siguen las reglas de inferencia de la Lógica Proposicional en un contexto matemático expuesto en forma precisa. A lo largo del período de trabajo para este curso se espera desarrollar competencias para la elaboración de razonamientos básicos de demostración con fundamentos en argumentos matemáticos. De allí que el contenido que se impartirá llevará doble función: el dominio de los tópicos en el mismo y la expansión del nivel de abstracción del asistente. Como parte de este entrenamiento se estimula desde la teoría y la práctica la participación activa de ustedes estimados participantes.
Objetivo General del curso: Adquirir conocimientos básicos en computación.
en
conceptos
abstractos
Ejercitar argumentos de demostración dentro de un contexto matemático definido en forma precisa. Objetivos Específicos: 1.-Conocer y manejar estructuras definidas en forma abstracta. 2.-Conocer y manejar con solvencia operadores Relacionales y Funcionales 3.- Adquirir dominio de conocimientos básicos en Teoría de Cardinalidad. 4.-Argumentar razonamientos sólidos de inferencia, a nivel básico, en contextos formales.