Programa del Curso Matemticas Discretas I OBJETIVO GENERAL: Comprender y aplicar los conceptos y propiedades de las estructuras matemticas,

para la representacin y estudio de fenmenos discretos. COMPETENCIAS A LOGRAR EN EL CURSO Relacionadas con el saber Comprender el concepto de razonamiento, y el deductivo en especial. Conocer la lgica proposicional como formalismo de representacin de razonamiento deductivo. Conocer la lgica cuantificacional (o de predicados de primer orden) como formalismo de representacin de razonamiento deductivo. Reconocer las diferencias entre la lgica proposicional y la cuantificacional. Reconocer las limitaciones del lenguaje proposicional y del cuantificacional tanto para la representacin de proposiciones como el de su uso en procesos de razonamiento deductivo. Entender el mecanismo denominado Resolucin como un medio para sistematizar el razonamiento deductivo. Comprender los conceptos de conjunto, producto cartesiano y relacin, junto con sus operaciones y propiedades relacionadas. Caracterizar diferentes tipos de relaciones, especialmente las relaciones de equivalencia y de orden. Conocer las operaciones y propiedades asociadas con las relaciones de equivalencia y de orden. Conocer algunos tipos de relaciones de equivalencia, en especial la denominada congruencia mdulo n, junto con sus operaciones y propiedades relacionadas. Conocer el tipo de relacin de orden denominada retcula (ltice); junto con sus operaciones y propiedades relacionadas. Conocer el tipo de retcula denominada lgebra Booleana; junto con sus operaciones y propiedades relacionadas. Reconocer la presencia de la estructura de lgebra de Boole en estructuras matemticas como el clculo proposicional y la teora de conjuntos. Comprender cmo el lgebra booleana fundamenta el lgebra de circuitos de conmutacin y de circuitos lgicos. Comprender cmo el lgebra de circuitos lgicos (y por tanto del lgebra booleana) fundamenta la representacin y operacin de informacin en algunos contextos de la ciencia de la computacin. Comprender un procedimiento empleado en la representacin de sistemas discretos mediante el lgebra de circuitos lgicos. Relacionadas con el hacer Representar enunciados de lenguaje natural empleando las reglas sintcticas del lenguaje proposicional. Distinguir las reglas de validez apropiadas, aportadas por el lenguaje proposicional, y aplicarlas para llevar a cabo un proceso de razonamiento deductivo vlido. Representar enunciados de lenguaje natural empleando las reglas sintcticas del lenguaje de predicados de primer orden. Distinguir las reglas de validez apropiadas, aportadas por el lenguaje de predicados de primer orden, y aplicarlas para llevar a cabo un proceso de razonamiento deductivo vlido. Establecer conjuntos, operar sobre ellos y combinarlos.

Establecer relaciones, caracterizarlas y operar sobre ellas. Simplificar funciones booleanas con base en sus operaciones y propiedades. Codificar cantidades en distintos sistemas numricos, y migrarlas de un sistema a otro. Aplicar la simbologa, las operaciones y propiedades del lgebra de circuitos lgicos en la representacin de una operacin aritmtica entre nmeros binarios. Disear circuitos lgicos para la representacin de sistemas discretos de acuerdo con la informacin de su tabla de verificacin, de la identificacin de las variables del sistema y la obtencin de funciones booleanas respectivas. Identificar una necesidad concreta de un contexto real y plantear una solucin en trminos de un proceso de razonamiento deductivo; en particular empleando un lenguaje de programacin apropiado para tal propsito (puede ser uno de carcter simblico como Prolog). Identificar una necesidad concreta de un contexto real, y plantear una solucin en trminos de un circuito lgico; en particular utilizando un software para la representacin de tales circuitos. (pueden emplearse aplicaciones como Cocodrilo, Silogid u otros). Relacionadas con el ser. Identificar una necesidad concreta de un contexto real y plantear una solucin en trminos de las estructuras matemticas aprehendidas en el curso. Responsabilizarse por sus actos y cumplir con los compromisos concertados en el curso (lectura de compromisos y desempeo personal durante el curso). Presentar las actividades evaluativas respetando las pautas definidas para ello. Configurar equipos para la presentacin de trabajos y cumplir con las actividades encomendadas entre los integrantes. Elaborar un documento donde se describe un problema y se detalla y explica la solucin establecida. Sustentar en equipo el trabajo presentado en el documento. Incorporar en los informes y en la sustentacin, las implicaciones ticas y/o sociales de los productos que desarrollan. Elaborar un documento escrito en una segunda lengua donde se describe un problema y se detalla y explica la solucin establecida. Identificar en los lenguajes lgicos proposicional y cuantificacional, modelos matemticos que se han formulado por la comunidad cientfica con el objetivo de imitar los procesos de razonamiento deductivo en el ser humano. Reflexionar acerca del concepto de pensamiento crtico y sus implicaciones en el desarrollo del individuo y la sociedad. Identificar la relacin razonamiento deductivo-pensamiento crtico.

ORGANIZACIN DE CONTENIDOS PRESENTACIN E INTRODUCCIN Sesin 1.(2009-07-28) Presentacin del curso. Lectura y discusin sobre algunas pautas de comportamiento acadmico y personal en el curso. Tarea: lectura de documentos: Pensamiento crtico: Qu es y por qu es importante? El lenguaje de lo complejo.

Qu es lo que se pretende con este curso? Qu debo hacer cuando enfrento situaciones personales delicadas? Cules son los beneficios de una comunicacin sencilla? Qu es pensamiento crtico, de cules aptitudes y actitudes se compone y cmo puede impactar su uso? Sesin 2 (2009-07-30) Introduccin al concepto de sistema. Contraste entre los conceptos de sistemas continuos y discretos. Introduccin a los conceptos de razonamiento deductivo e inductivo. Tarea: Lectura Sofismas, Falacias, operaciones y estrategias en el discurso argumentativo. Qu hace que algo se considere sistema? Qu caracteriza lo continuo y lo discreto? Por qu lo discreto es fundamental para el Ingo. de Sistemas? Qu se entiende por razonar? Qu diferencia al razonamiento deductivo del inductivo? Para qu sirve conocer cmo se razona deductivamente en la carrera, en la vida? CAPTULO I: LGICA

Lgica proposicional
Sesin 3 (2009-08-04) Nociones de semitica, proposicin y lenguaje (1.1.1 - 1.1.4); lenguaje formalizado y nocin de clculo (1.1.5); simbolizacin de proposiciones (1.2.1). Cmo puedo interactuar con objetos o sistemas para comprenderlos? Qu tipo de imgenes, representaciones o modelos se puede generar de ellos? Para qu sirve un smbolo o signo: cmo se relaciona con los objetos y con quienes deseen usarlos? Qu puede pasar cuando se combinan los signos? Qu es un lenguaje, cules aspectos estudia? Qu distingue un lenguaje de un clculo? Qu tipo de expresin del lenguaje cotidiano ser importante para llevar a cabo razonamiento deductivo? Qu tipo de proposiciones se estudiarn y cmo se representan? Sesin 4 (2009-08-06) El clculo proposicional (enfoque como sistema axiomtico) (1.2.2), Razonamiento lgico Deduccin- y axiomas del clculo proposicional (1.2.2.4); ejercicios 1.2; Tablas de verdad: enfoque desde la Teora de modelos (1.3). Ejercicios 1.3.

Cmo puedo efectuar razonamiento deductivo con base en las combinaciones de los posibles valores de verdad de las proposiciones? Cmo puedo efectuar razonamiento deductivo, independizndolo de las combinaciones de los posibles valores de verdad de las proposiciones? Cmo represento la lgica proposicional a travs de un clculo? Cules partes componen un clculo proposicional? Sesin 5 (2009-08-11) Reglas de prueba: mtodo directo, adjuncin, conmutatividad de la v, leyes de implicacin, silogismo, medio excluido, adicin con a la implicacin, doble negacin,(1.4.1 - 1.4.7). Cules reglas de prueba puedo emplear en una demostracin? Cules mtodos puedo plantear para llevar a cabo una demostracin? Sesin 6 (2009-08-13) Reglas de prueba: leyes del contrarrecproco, propiedades de la conjuncin, mtodo de demostracin por reduccin al absurdo, adicin de implicaciones, mtodo de demostracin por disyuncin de casos (1.4.8-1.4.11). Ejercicios 1.4. Cules reglas de prueba puedo emplear en una demostracin? Cules mtodos puedo plantear para llevar a cabo una demostracin? Cules propiedades matemticas pueden definirse y aplicarse en las proposiciones? Sesin 7 (2009-08-18) La Resolucin. Mtodo de demostracin automtica de teoremas. Forma Normal o cannica de las frmulas bien formadas (fbf). Algoritmo para la Conversin de una fbf a la forma normal conjuntiva (fnc) Algoritmo de Resolucin en el clculo proposicional. Cmo se puede mecanizar una demostracin deductiva? Cmo se transforman proposiciones del clculo proposicional para que puedan emplearse en un mecanismo de demostracin deductiva? Actividad evaluativa 1: Examen parcial (20 %) (2009-08-25)

Lgica cuantificacional (o de predicados de primer orden)

Sesin 8 (2009-08-20) Trmino, predicado, simbolizacin (2.1); ejercicios; funcin proposicional (2.2), ejercicios; cuantificadores (2.3), ejercicios. Qu otro tipo de proposiciones podra emplear en demostraciones deductivas? Cmo se ampla el clculo proposicional para que se efectuar demostraciones con ese tipo de proposiciones? Cul es la diferencia de una proposicin y una funcin cuantificacional? Sesin 9 (2009-08-27) Cuantificacin restringida (2.4); ejercicios; leyes de intercambio y negacin de cuantificadores (2.5), ejercicios. De qu manera se pueden relacionar los dos tipos de cuantificadores? Cmo se transforma una proposicin cuantificada cuando se niega? Sesin 10 (2009-09-01)

Reglas de inferencia y propiedades distributivas para enunciados cuantificados (2.6), ejercicios. Cules otras reglas de prueba deben incorporarse para efectuar demostraciones en el clculo cuantificacional? Cules propiedades exhiben las operaciones sobre proposiciones cuantificadas? Sesin 11 (2009-09-03) La lgica de las relaciones: funciones proposicionales binarias, leyes del clculo de relaciones (2.7.1- 2.7.2); ejercicios. Lgica de la identidad (2.7.3). Cmo se representan proposiciones que involucran ms de un objeto? Cmo se transforma una proposicin cuantificada que involucra ms de un objeto, cuando se niega? Cundo es posible conmutar cuantificadores en una proposicin cuantificada que involucra ms de un objeto? Sesin 12 (2009-09-08) Algoritmo para la Conversin de una fbf a la fnc Algoritmo de Resolucin en el Clculo de Predicados. Estrategia (Heursticas) para acelerar el proceso de resolucin. La Unificacin. Cmo se puede mecanizar una demostracin deductiva? Cmo se transforman proposiciones del clculo cuantificacional para que puedan emplearse en un mecanismo de demostracin deductiva? Actividad evaluativa 2: Examen parcial (20 %) (2009-09-15)

CAPTULO II: Conjuntos y relaciones

Sesin 13 (2009-09-10) Definicin de: conjunto, igualdad de conjunto, subconjunto, conjunto universal, conjunto vaco, conjunto de partes de un conjunto (3.1, 3.1.1.1 - 3.1.1.5); operaciones fundamentales: unin, interseccin, complemento (3.1.2.1 - 3.1.2.3). Cul es el formalismo matemtico (lenguaje) empleado para representar una coleccin de objetos? Cules son los conceptos y operaciones fundamentales en ese lenguaje? Sesin 14 (2009-09-17) Leyes del lgebra de conjunto (3.1.3); ejercicios 3.1. Par ordenado, n-ada ordenada (3.2); producto cartesiano de 2 y de n conjuntos, propiedades de producto cartesiano, nmero de elementos del producto cartesiano (3.3.1 - 3.3.3); ejercicios 3.3. Cules propiedades pueden definirse en las operaciones de conjuntos? Cmo se representan matemticamente (lenguaje) la combinacin entre colecciones de objetos? Cules son las operaciones fundamentales en este otro lenguaje? Cules propiedades pueden definirse en esas operaciones? Sesin 15 (2009-09-22) Relaciones: definicin, dominio y rango de una relacin (3.4.1 - 3.4.4); relaciones: inversa e idntica (3.4.5, 3.4.6); propiedades que pueden asumir las relaciones: reflexiva, simtrica, antisimtrica y transitiva (3.4.7 - 3.4.10); ejercicios 3.4.

Qu se obtiene al seleccionar un subconjunto de los elementos de un conjunto cartesiano? Cules son las operaciones fundamentales? Cules propiedades pueden definirse en esas operaciones? Sesin 16 (2009-09-24) Relaciones de equivalencia, clases de equivalencia y conjunto cociente (3.5.1- 3.5.4); particin de un conjunto(3.5.5 - 3.5.6); ejercicios 3.5. Cules propiedades establecen el tipo de relacin denominada de equivalencia? Cules son los conceptos y operaciones fundamentales en este tipo de relacin? Se pueden identificar contextos reales o abstractos (matemticos) que obedezcan a la caracterstica de una relacin de orden? Sesin 17 (2009-09-29) Relaciones de orden: conjuntos parcialmente ordenados y diagramas de Hasse (3.6.1, 3.6.2), elementos extremos de un conjunto parcialmente ordenado: maximales y minimales, mximos y mnimos, mnima cota superior y mxima cota inferior (3.6.3); ejercicios 3.6. Cules propiedades establecen el tipo de relacin denominada de orden? Cmo se puede representar grficamente una relacin de orden? Cules son los conceptos y operaciones fundamentales en este tipo de relacin? Se pueden identificar contextos reales o abstractos (matemticos) que obedezcan a la caracterstica de una relacin de orden? Actividad evaluativa 3: Examen parcial (20 %) (2009-10-06)

CAPTULO III: lgebra Booleana

Sesin 18 (2009-10-01) Ltices (retculas), subltice (subretcula), propiedades (4.1.1-4.1.6); tipos especiales de ltices (4.1.7); ejercicios 4.1. Identifica lo especfico de una ltice, respecto de una relacin de orden? Cules son los conceptos y operaciones fundamentales en este tipo de relacin? Identifica tipos de ltice? Sesin 19 (2009-10-08) lgebras booleanas, propiedades del lgebra booleana y principio de dualidad (4.2.1-4.2.7); ejercicios 4.2. Identifica lo especfico de un lgebra boolena, respecto de una ltice? Cules son los conceptos y operaciones fundamentales en este tipo de relacin? Actividad evaluativa 4: Trabajo escrito (20 %). (2009-10-13) Sesin 20 (2009-10-13) Expresiones booleanas (4.3.1); formas normales: disyuntivas y conjuntivas (4.3.2- 4.3.3), ejercicios 4.3. Cmo se combinan matemticamente variables cuyos valores son pertenecen a un lgebra booleana? Qu tipo de combinaciones son las ms reconocidas? Cules son las operaciones fundamentales en este tipo de expresiones?

Sesin 21 (2009-10-15) lgebra de conmutacin (4.4); ejercicios 4.4; simplificacin de circuitos aplicando los teoremas del lgebra de Boole (4.5.1). Identifica en los circuitos de conmutacin un contexto abstracto en el que pueden aplicarse las expresiones booleanas? Qu ventaja tiene trabajar con las expresiones booleanas? Sesin 22 (2009-10-20) Diseo de circuitos (4.6); ejercicios 4.6. Identifica en los circuitos lgicos un contexto en el que pueden aplicarse las expresiones booleanas? Cmo se disea un circuito lgico para que represente un sistema? Sesin 23 (2009-10-22) Suma de nmeros binarios -sumador- (4.7); ejercicios 4.7 Qu es un sistema numrico? Cmo se traducen nmeros de un sistema a otro? Cmo se representan algunas operaciones entre nmeros binarios usando circuitos lgicos? Actividad evaluativa 5: Examen parcial (20 %) (2009-10-29) Criterios correspondientes para exmenes parciales Orden. Usa los smbolos necesarios, sin redundancias, bien ubicados ni hacen falta?, emplea el lenguaje acordado en el curso?, define la convencin que emplea, cuando se aleja de la establecida en el curso?, rotula grficos, tablas, frmulas?, rotula correctamente las operaciones, o propiedades, que aplica? Coherencia. Aplica propiedades, o estipula procedimientos que no se contradicen?, aplica de manera correcta las operaciones o sus propiedades?.

Claridad. Plantea un procedimiento conciso?, no redunda en operaciones o propiedades?, No confunde conceptos?, no confunde reglas?, no confunde propiedades?, responde a la pregunta realizada?.

Cobertura. Presenta un procedimiento que inicia y termina?.

Pertinencia. Son las reglas aplicadas, las necesarias para resolver la situacin?, Obtuvo una solucin correcta?. RECURSOS Libros y textos de la biblioteca Documentos, tutoriales y cursos en internet:

o http://huitoto.udea.edu.co/SistemasDiscretos/ o http://huitoto.udea.edu.co/MatematicasDiscretas/
REFERENCIAS BIBLIOGRFICAS. Matemticas Discretas. Meja de M., Clara E. y Buritic, Benjamn. Matemticas Discretas: con Aplicacin a las Ciencias de la Computacin. Tremblay JeanPaul y Manohar, Ram. Compaa Editora Continental. Mxico. 1 edicin. 1996. ISBN: 96826-1254-3. Matemtica Discreta y Lgica: Una Perspectiva desde la Ciencia de la Computacin. Grassman, Winfried y Tremblay Jean-Paul. Prentice Hall, Madrid, 1996. ISBN: 84-89660-042. Matemticas Discreta y Combinatoria: Una Introduccin con Aplicaciones. GRIMALDI, Ralph P. Adisson-Wesley Iberoamericana. 3 edicin. Wilmington, Delaware, E.U.A. 1997. ISBN: 0201-65376-1. Matemticas Discretas. Johnsonbaugh, Richard. Prentice Hall. Mxico. 4 edicin. 1999. ISBN: 970-17-0253-0. Introduccin a la Lgica Simblica. Suppes, Patrick. Editorial Continental. Mxico. 1966. Primer Curso de Lgica Matemtica.. Suppes, Patrick. Editorial Revert Colombiana, S.A. Bogot, 1983. Theorie des Ensembles. Bourbaki. I, Nicolas. Hernann. Paris, 1970. Introduccin al Simbolismo Lgico. Guarn, Hugo. Matemticas Discretas. Ross, Kenneth y Wrigth, Charles R.B. Prentice Hall Hispanoamericana S.A. Mxico, 1990. Estructuras de Matemticas Discretas para la Computacin. Kolman, Bernard y BUSBY, Robert C. Prentice Hall Hispanoamericana S.A. Mxico, 1986. Sistemas Booleanos. Kaye, Douglas. Editorial Alhambra S.A. Madrid, 1970. Pensamiento crtico: Qu es y por qu es importante?. Facione, Peter A. encontrado en http://www.eduteka.org/PensamientoCriticoFacione.php El lenguaje de lo complejo puede nublar la mente de las personas. Sin autor conocido.