PROGRAMACIN DEL CURSO MATEMTICA DISCRETA I CICLO 02/2017

SESIO- OBJETIVOS ESPECFICOS

SEMANAS NES
CONTENIDOS pg.
Que el/la estudiante:
Introduccin al curso.Qu es Conozca a la lgica ciencia como un procedimiento que
Semana 1 S1
lgica?. Proposiciones. Ejemplos. posibilita el perfeccionamiento de la lgica natural.
Del 14 al 16 1a5
de agosto S2 Conectivos lgicos.(y, o,negacin) Reconozca los conectivos lgicos en una proposicin.
Proposiciones equivalentes.
S3 Determine si dos proposiciones son equivalentes.
Actividades.
Semana 2 Identifique en una proposicin condicional las condiciones
Del 21 al 25 La condicional. Ejemplos. Act. 4,5 y suficiente y necesaria. 5 a 11
de agosto S4 6. Proposiciones especiales. Determine si una proposicin es tautologa, contradiccin
Bicondicional. o ninguna.
Conozca la forma de una bicondicional.
Formas normal conjuntiva y Pueda encontrar las formas conjuntiva y disyuntiva de una
Semana 3 S5 disyuntiva. Leyes del lgebra de proposicin compuesta. Determine la veracidad de las
Del 28 de proposiciones. leyes mediante tablas lgicas. 12 a 18
agosto al 1
Simplificaciones. Actividades 10,11 Utilice las leyes para simplificar proposiciones
de S6
y 12. compuestas.
septiembre
Laboratorio grupal 1 1 de septiembre
Cuantificadores. Ejemplos. Conozca los cuantificadores como una forma de convertir
S7
Semana 4 Negacin de cuantificadores. una funcin proposicional en proposicin.
18 a 23
Del 4 al 8 de Negacin de cuantificadores. Identifique si una proposicin cuantificada es verdadera o
S8
septiembre Actividades 13 y 14 falsa.
Laboratorio individual 1 8 de septiembre
Semana 5
Del 11 al 15 S9 Demostraciones. Mtodo Directo, Conozca y utilice los mtodos de prueba en enunciados
30 a 35
de matemticos
S10 Mtodo indirecto y Reduccin.
septiembre
Semana 6 Primer examen parcial 18 de septiembre
Del 18 al 22
Argumentos. Formas de
de Utilice razonamientos elementales vlidos para determinar
S11 razonamientos elememtales 36 a 39
septiembre si un argumento lgico es vlido o no lo es.
vlidos.
Utilice razonamientos elementales vlidos para determinar
Semana 7 Derivaciones formales.
S12 si un argumento lgico es vlido o no lo es. 40 a 43
Del 25 al 29
de Aplicaciones de las proposiciones Conozca y aplique proposiciones compuestas a circuitos
septiembre S13
compuestas a los circuitos lgicos. lgicos.
44 a 49
Laboratorio grupal 2 29 de septiembre
Identifique cuando un conjunto est incluido en otro o
S14 Elementos de teora de conjuntos.
Semana 8 cuando son iguales.
50 a 54
Del 2 al 6 de Operaciones con conjuntos. Utilice diagramas de Venn para visualizar unin,
S15
octubre Diagramas de Venn. interseccin, diferencia y complemento.
Laboratorio individual 2 6 de octubre
Leyes del lgebra de conjuntos. Utilice diagramas de Venn para comprobar leyes en
Semana 9 S16
Actividad 21 conjuntos.
Del 9 al 13 55 a 61
Propiedades de conjuntos. Unin e Utilice las leyes de conjuntos para comprobar
de octubre S17
interseccin generalizadas. propiedades.
 Conozca el concepto de particin y lo utilice en ejercicios.
Semana 10 Particin.lgebra de Boole.Axiomas
S18 Reconozca a las proposiciones y los conjuntos como una 61 a 75
Del 16 al 20 y propiedades.
estructura de lgebra de Booole.
de octubre
Segundo examen parcial. 18 de octubre

Utilice propiedades y axiomas en la simplificacin de

S19 Ejercicios de simplificacin 68 a 75
Semana 11 expresiones Booleanas
Del 23 al 27
de octubre Aplicacin del lgebra de Boole a Utilice el lgebra de Boole para construir y simplificar un
S20 circuitos combinatorios de circuito combinatorio de compuertas. 76 a 82
compuertas.
Laboratorio grupal 3 27 de octubre

Semana 12
Del 30 de S21 Induccin Matemtica. Utilice el mtodo de induccin para probar propiedades.
octubre al 3 83 a 92
de
noviembre S22 Ejercicios de induccin. Ejercite los conocimientos adquiridos

Laboratorio individual 3 3 de noviembre

Semana 13 U=Z. Divisibilidad. Congruencia Recuerde el concepto de divisibilidad para utilizarlo en la

S23 93 a 98
Del 6 al 10 lineal. congruencia lineal.
de
Conozca el concepto de congruencia lineal para utilizarlo
noviembre S24 Clases de equivalencia. Ejercicios.
en la teoria modular.

Semana 14 Estructuras algebraicas. Utilice la teoria modular para construir ejemplos de

S25 99 a 109
Del 13 al 17 Semigrupo. Grupo. Ejemplos. . estructuras algebraicas.
de Utilice la teoria modular para construir ejemplos de 110 a
noviembre S26 Anillos. Ejemplos
estructuras algebraicas. 112
Laboratorios diferidos 17 de noviembre
Conceptos bsicos sobre grafos.
Reconozca los trminos y notaciones de grafos. Pueda
S27 Representacin de los grafos.
Semana 15 utilizar definiciones y construir ejemplos.
Caminos y circuitos.
Del 20 al 23
de Isomorfismos de grafos y grafos
Reconozca dos grafos isomorfos y su utilidad. Utilice el
noviembre S28 planos. Algoritmo del camino ms
algoritmo de la poda para encontrar el camino ms corto.
corto.

Examen final. 29 de noviembre

Secciones Aula Horarios Profesores Cupo
Lunes y Mircoles a las 7:00
01 A-33 a.m.(2 hs.); Viernes Discusin Licda. Gloria Galo de Navarro 53
a.m.(1 h.)