FORTALECIMIENTO DE LA FORMACIN BSICA UNIVERSIDAD DEL NORTE

1. Identificacin del curso

Divisin: Departamento: Nombre del curso: Cdigo del curso: Nivel del curso:. Requisitos Co requisitos Nmero de crditos del curso TIPO DE CRDITO: Obligatorio X Parcialmente libre Libre NOMBRE DEL PROGRAMA Ingeniera de Sistemas UBICACIN EN LA ESTRUCTURA CURRICULAR DEL PROGRAMA Bsico X No. De semanas: Intensidad horaria por semana: No. de horas tericas por semanas: No. de horas por semana de trabajo independiente del estudiante: Idioma del curso Modalidad del curso 16 Horas 3 Horas 3 Horas 6 Espaol Presencial Bsico profesional Profesional NOMBRE DEL PROGRAMA Ingeniera de Sistemas Ciencias Bsicas Matemticas y Estadstica MATEMTICAS DISCRETAS MAT 4021 Pre-grado No Tiene No Tiene 3

2. Descripcin de la asignatura Las estructuras discretas son de gran importancia para el ingeniero de sistemas, ya que en diferentes reas de la informtica se requiere trabajar con estos conceptos. En esta asignatura se hace un estudio de los sistemas formales utilizando mtodos matemticos, con lo cual se pretende dar las bases para abordar posteriormente tpicos de la teora de Autmatas, la Teora de la Calculabilidad. Se presentan los principios de lgica matemtica y teora de conjuntos.

FORTALECIMIENTO DE LA FORMACIN BSICA UNIVERSIDAD DEL NORTE

Se desarrollan dos grandes partes: lgica matemtica y teora de conjuntos. En la primera parte, se trataran temas sobre el clculo proposicional y una pequea introduccin a la lgica de primer orden. En la segunda parte trataremos una presentacin axiomtica para la teora de conjuntos, concretamente presentamos el sistema axiomtico ZFC. Posteriormente trabajaremos con relaciones, funciones: relaciones de equivalencia, relaciones de orden parcial y orden total 3. Justificacin La importancia de esta asignatura en el programa de Ingeniera de Sistemas se debe a que: Es una base para la aprehensin de conocimientos en lgica matemtica, teora de conjuntos y su aplicacin no slo a otras ramas de las matemticas mismas, sino tambin para la resolucin de problemas en el mbito del ingeniero moderno. Proporciona una formalizacin de la argumentacin y una familiarizacin con ciertas estructuras matemticas fundamentadas en la teora de conjuntos. Sirve de soporte a otras asignaturas del rea bsica y profesional de ingeniera de Sistemas.

4. Competencia a desarrollar Competencia Bsica Institucional: Capacidad de desarrollar procesos con criterio cientfico-tcnico y de responsabilidad social, para aplicar los recursos de la tecnologa en la planificacin, diseo, construccin y control de obras, con el propsito de coadyuvar al impulso del progreso, desarrollo y/o transformacin tcnico-econmico de la regin y del pas. Competencia Profesional: Capacidad de aplicar los conocimientos de las Matemticas a las Ciencias e Ingeniera. 5. Objetivo general del curso Este curso se orientar a: Desarrollar en el estudiante destrezas bsicas y complejas de pensamiento crtico y reflexivo para modelar matemticamente, usando las herramientas de la lgica y la teora de conjuntos, situaciones problemticas derivadas de la ingeniera y la ciencia. (L1, L2 L3 y L5)

FORTALECIMIENTO DE LA FORMACIN BSICA UNIVERSIDAD DEL NORTE

6. Resultados de aprendizaje Al finalizar el curso, los estudiantes deben estar en capacidad de:
Dimensin de la competencia Conocimientos (saber conocer) Comprender y modelar situaciones problmicas tpicas de las estructuras discretas, la ciencia de la computacin, desarrollando soluciones mediante la lgica matemtica y teora de conjuntos, comunicndolas de manera efectiva. ( L1, L2, L5) Habilidades (saber hacer) Aplicar los conocimientos operativos necesarios para la clasificacin de cadenas de smbolos del alfabeto del clculo proposicional y de la lgica de primer orden. ( L1) Actitudes (saber ser) Fomentar la responsabilidad, tica y tolerancia en el estudiante, a travs de la asignacin de trabajos individuales y de grupo (L2, L3. L5) Resultado de aprendizaje 1. Reconoce si una cadena dada es una frmula proposicional. 2. Identifica el resultado de operaciones entre conjuntos considerando su teora axiomtica.

1. Demuestra si una premisa es deducible a partir de un conjunto de frmula proposicionales. 2. Expresa de forma simblica proposiciones haciendo uso del lenguaje de la lgica de primer orden. 1. Trabaja adecuadamente individual y en grupos de manera

7. Programacin del curso

No. de Horas a cargo del profesor 1 7 2 5 6 1 3 2 3 8 4 3

Temas

Subtemas Introduccin Histrica. Sintaxis Notacin Polaca Un Sistema Deductivo Semntica Otra demostracin del teorema de Completitud Equivalencias Formas Normales Clculo de Predicados, Cuantificadores e Inferencia Sistema Axiomtico ZFC Relaciones Funciones

Trabajo independiente

LGICA MATEMTICA

TEORA DE CONJUNTOS

Desarrollar Ejercicios Desarrollar ejercicios Leer ejemplos resueltos Desarrollar Ejercicios Leer prueba y realizar ejercicios de aplicacin Desarrollar Ejercicios Leer ejemplos Leer ejemplos y desarrollar ejercicios propuestos Leer y comprender axiomas Desarrollar ejercicios Realizar ejercicios propuestos

FORTALECIMIENTO DE LA FORMACIN BSICA UNIVERSIDAD DEL NORTE

Conjuntos bien ordenados

Leer definiciones y realizar ejercicios propuestos

8. Opciones Metodolgicas-Actividades de aprendizaje

Opcin metodolgica Clases magistrales Descripcin El profesor presentar los aspectos fundamentales de la asignatura, y mediante ejemplos y ejercicios aclaratorios, despejar las dudas que se presenten. El profesor asignar y supervisar problemas y ejercicios adecuados para que los estudiantes al desarrollarlos, ya sea de manera individual o en grupo, adquieran capacidad de trabajo , estrategias de solucin de problemas, as como hbitos y tcnicas de estudio propias de las disciplinas matemticas Los estudiantes deben revisar previamente el tema de cada sesin, lo cual le permitir la participacin y seguimiento eficiente de la clase. Se asignarn lecturas complementarias, problemas, algoritmos y programas para su estudio o resolucin como trabajo fuera de clase, en los cuales se estimule el pensamiento investigativo y el trabajo independiente.

Aprendizaje basado en problemas

Controles de lectura

Controles de lectura

9. Evaluacin
Evidencia de aprendizaje Primer Parcial (Semana 1-4) Segundo Parcial (Semana 5-8) Tercer Parcial (Semana 9-12) Promedio de quices, participacin en clase. Examen Final tareas y Perodo Se realizar en la cuarta semana de clases. Se realizar en la octava semana de clases. Se realizar en la decimotercera semana de clases. Durante el semestre. De acuerdo con el horario establecido por la oficina de registro Ponderacin 15% 20% 25% 20% 20%

FORTALECIMIENTO DE LA FORMACIN BSICA UNIVERSIDAD DEL NORTE

10. Bibliografa
Tipo de bibliografa Tipo de referencia Virgilio Obeso, Manuel Navarro y. Francisco Santos. Con Argumento Lgico matemtica aplicada. Ediciones uninorte., 2013. 240 pginas, ISBN: 978-958-741-355-7 Libro Impreso. Notas de clases del profesor Xavier Caicedo. Elementos de lgica y calculabilidad. 2ed. Bogot.Una empresa docente. Universidad de los Andes, 1990. 324 pginas, ISBN: 958-921-600-5 Libro Impreso Winfried Karl Grassmann, Jean-Paul Tremblay. Matemticas discreta y lgica una perspectiva desde la ciencia de la computacin. PRENTICE HALL., 2000. 706 pginas, ISBN 848-966-004-2 Libro Impreso Patrick Suppes. Introduccin a la lgica matemtica. Compaa Editorial Continental, 1979. 378 pginas. ISBN 048640-687-3. Libro Impreso Patrick Suppes. Axiomatic set Theory. Courier Dover Publications, 1972. 267 pginas. ISBN 048-661-630-4. Libro Impreso Dirk Van Dalen. Logic and Structure.4ed. Springer, 2004. 263 pginas. ISBN 354-020879-8. Libro Impreso Idioma Norma Tcnica Existe en Biblioteca

Bsica

Espaol

Complementaria

Espaol

ICONTEC

Complementaria

Espaol

ICONTEC

Complementaria

Espaol

ICONTEC

Complementaria

Ingls

ICONTEC

Complementaria

Ingls

ICONTEC

No