ESCUELA SUPERIOR DE CMPUTO

Matemticas Discretas
Semestre:1 HorasTotales:81 ObjetivoGeneral: Elestudianteaplicarlasprincipalesestructurasalgebraicasdiscretasparasolucionarproblemas relacionadosconlascienciasdelacomputacin. Metodologa: Se utilizar la metodologa del aprendizaje grupal, la cual requiere la participacin activa y constantedelosasistentes,anlisisdelainformacinqueposibilitelaintegracindelosaspectos tericos,anlisisysolucindeproblemas. Unidad1.Introduccinalalgica.
1.1Conceptosydefiniciones. 1.2Funcioneslgicasycuantificadores. 1.3Inferencialgica.

Unidad2.Teoradeconjuntos.
2.1PrincipiosBsicos. 2.2lgebradeconjuntos. 2.3Conjuntopotencia.

Unidad3.Relaciones.
3.1Definicin. 3.2Transitividad. 3.3Composicinderelaciones. 3.4Operacionesdecerraduradelasrelaciones. 3.5Relacionesdeorden. 3.6Relacionesdeequivalencia. 3.7Funciones.

Unidad4.Losnmerosreales.
4.1Elprincipiodeinduccinmatemtica. 4.2Losnmerosenteros. 4.3Losnmerosracionales. 4.4Losnmerosreales.

Unidad5.Teoradegrafos.
5.1Definicionesbsicasdegrafos. 5.2Caminosycircuitos. 5.3Unalgoritmodelcaminomscorto. 5.4Isomorfismosdegrafos. 5.5Grafosplanares.

Unidad6.lgebraBooleanaycircuitoscombinatorios.
6.1)Circuitoscombinatorios. 6.2)Propiedadesdeloscircuitoscombinatorios. 6.3)lgebraBooleana. 6.4)FuncionesBooleanas. 6.5)Sntesisdecircuitos.