Facultad de Ingeniera

INGNIERIA EN INFORMATICA

MATEMATICA DISCRETA

Programa analtico:

UNIDAD 1: TEORA DE CONJUNTOS

Generalidades. Notacin. Inclusin. Subconjuntos. Conjunto de partes de un conjunto. Operaciones con

conjuntos: unin, interseccin, diferencia. Complemento de un conjunto. Propiedades de las operaciones.
Leyes de De Morgan. Diferencia simtrica. Diagramas.

UNIDAD 2; CONJUNTOS NUMRICOS DISCRETOS

El conjunto de los nmeros naturales. Principio de buena ordenacin. El conjunto de los nmeros enteros.
Algoritmo de la divisin. Divisibilidad en Z: definicin y propiedades. Nmeros primos. Teorema
fundamental de la aritmtica. Mximo comn divisor y mnimo comn mltiplo. Algoritmo de Euclides.
Teorema de Bzout. Algoritmo de Euclides extendido. Congruencias. Aritmtica modular. Suma y
producto en Zn. Propiedades. Ecuaciones modulares.

UNIDAD 3: RELACIONES ENTRE CONJUNTOS

Producto cartesiano. Concepto de relacin binaria. Propiedades de las relaciones en un conjunto.

Relaciones de equivalencia: definicin. Clases de equivalencia y conjunto cociente. Particin de un
conjunto. Teorema fundamental de las relaciones de equivalencia. Relaciones de orden. Definicin.
Representacin de relaciones de orden definidas en un conjunto finito: diagramas de Hasse, matrices
asociadas. Elementos notables de un conjunto ordenado. Conjuntos parcial y totalmente ordenados.
Conjuntos bien ordenados. Relaciones de recurrencia. Resolucin de relaciones de recurrencia.
Funciones generadora.

UNIDAD 4: ALGEBRA DE BOOLE

Algebra de Boole. Definicin axiomtica. Relacin con la lgica proposicional y la teora de conjuntos.
Principio de dualidad. Teoremas fundamentales del lgebra de Boole. Puertas lgicas. Circuitos lgicos.
Funciones booleanas. Compuertas AND, OR, NAND, NOR, XOR. Formas cannicas. Sntesis de
circuitos mediante el Algebra de Boole. Criterios de ordenacin. lgebras de Boole ordenadas.
Propiedades bsicas, Isomorfismo entre lgebras de Boole. Retculos. Definicin y propiedades bsicas.
Retculo acotado, complementario, distributivo. Relacin entre lgebras de Boole y retculos.

UNIDAD 5: GRAFOS

Definiciones y propiedades. Representacin matricial de un grafo. Subgrafos. Dgrafos. Isomorfismo

entre grafos. Grados y lema de los apretones de manos. Recorridos, caminos, distancia, conexin y
conectividad. Operaciones con grafos. Grafos eulerianos. Grafos hamiltonianos. Teorema de Euler.
 Facultad de Ingeniera
UNIDAD 6: RBOLES

Definicin y caracterizaciones de rboles. Propiedades de los rboles. rboles con raz. rboles
binarios. rboles generadores. Algoritmos de Kruskal y de Prim.

UNIDAD 6: SISTEMAS DE NUMERACIN

Bases de numeracin: decimal, binario, octal y hexadecimal. Cambios de base. Aritmtica en base 2.
Sistemas de numeracin en complemento 2.

Bibliografa

TITULO AUTOR EDICION EDITORIAL ISBN

MATEMTICAS Johnsonbaugh, Grupo Editorial
1998 9687270462
DISCRETAS Richard Iberoamrica
MATEMTICA
Biggs, Norman 1998 Vicens Vives 9788431633110
DISCRETA
MATEMTICA
DISCRETA Y Grimaldi, Ralph 1997 Addison Wesley 9789684443242
COMBINATORIA
MATEMTICA
DISCRETA Y SUS Rosen, Kenneth 2004 MCGRAW-HILL 9788448140731
APLICACIONES
MATEMTICA Garca Merayo,
2005 PARANINFO 9788497323673
DISCRETA Flix
INVITACIN A LA Matousek, Jire
MATEMTICA Nesetril, Jaroslav 2008 REVERTE 9788429151800
DISCRETA
2000 PROBLEMAS
Lipchutz,
RESUELTOS DE MAC GRAW
Seymour 2005 9788448142780
MATEMATICA HILL
Lipson, Marc
DISCRETA
INTRODUCCIN A LA
TEORA DE Oubia, La 1976 EUDEBA s/d
CONJUNTOS