UNIVERSIDAD NACIONAL DE INGENIERIA

FACULTAD DE INGENIERIA INDUSTRIAL Y DE SISTEMAS

SYLLABUS
ESCUELA : Ingeniería de Sistemas
ÁREA : Ciencias Básicas
CURSO : Matemática Discreta CB-112
PRE-REQUISITOS : Algebra Lineal CB-111
CRÉDITOS : 3
SISTEMA DE EVALUACIÓN : G
RÉGIMEN : Obligatorio
PROFESORES : Ing. José Benites Yarlequé
: Mg. Josué Ángulo Pérez
Mg. Paúl Tocto Inga

I. SUMILLA

La asignatura se desarrolla en forma teórica-práctica y permite al alumno conocer los

principios fundamentales de las matemáticas discretas, contenido en los sistemas de numeración y
representación de datos para el computador, lógica e inducción matemática, Relaciones Binarias y
digrafos, teoría de Grafos, árboles, introducción al álgebra de Boole, teoría de grupos y máquinas
de estado finito.

II. OBJETIVOS

1. Estudiar los métodos de codificación de números enteros y reales

2. Conocer la representación de datos en forma matricial y gráfica para el computador
3. Estudiar las propiedades y aplicaciones de la teoría de árboles
4. Reconocer los principios del álgebra Booleana
5. Explicar las propiedades de la teoría de semigrupos y grupos
6. Explicar las aplicaciones de las máquinas de estado finito

III. DESARROLLO DE CONTENIDOS

UNIDAD I: SISTEMAS DE NUMERACIÓN Y CÓDIGOS

PRIMERA SEMANA

Sistema de numeración: notación posicional, notación polinomial, sistema binario,

Sistema octal, sistema hexadecimal, conversión entre sistemas de numeración y operaciones
aritméticas en binario
Formato de datos enteros: signo-magnitud, complemento a uno y complemento a dos,
formato en exceso, códigos BCD: BCD natural, BCD empaquetado, BCD desempaquetado,
código ASCII.

SEGUNDA SEMANA

Representación de números reales: notación científica, formato en punto fijo para enteros y reales,
formato en punto flotante: precisión sencilla (32 bits) y doble precisión (64 bits).
Formato normalizado (IEEE 754), operaciones en punto flotante, aplicaciones
UNIDAD II: LÓGICA PROPOSICIONAL
TERCERA SEMANA
Lógica proposicional: leyes de la lógica proposicional, métodos de demostración: directo, indirecto,
contrapositivo.
Lógica de predicados: definición, operaciones básicas con predicados, cuantificadores: universal y
existencial. Leyes del cálculo de predicados, inducción matemática.

UNIDAD III: RELACIONES BINARIAS Y DIGRAFOS

CUARTA SEMANA
Relaciones binarias: definición de relación, dominio y rango de una relación, propiedades: reflexiva,
simétrica, antisimétrica, transitiva, operaciones básicas, relación inversa, composición de relaciones.
Relaciones y dígrafos: definiciones, matríz de una relación, trayectorias en relaciones y dígrafos
relación de equivalencia, propiedades, clases de equivalencia.
Conjunto cociente, partición de un conjunto, teorema que relaciona clase de equivalencia y
relaciones.

QUINTA SEMANA
Relaciones de orden: definición y propiedades, diagrama de Hasse, conjunto parcialmente ordenado
y totalmente ordenado.
Elementos extremos de un conjunto parcialmente ordenado: minimo, máximo, maximal y minimal.
Cotas: superior, inferior, ínfimo y supremo.

UNIDAD IV: TEORÍA DE GRÁFICAS

SEXTA SEMANA
Teoría de graficas: grafo, multigrafo, grado de un vértice, gráfica conexa, gráfica regular, gráfica
completa. Subgráficas, matriz de abyacencia.
Trayectorias: definiciones, circuitos de Euler, teoremas, gráfica con pesos.

UNIDAD V: TEORIA DE ÁRBOLES

SEPTIMA SEMANA
Teoría de árboles: árbol, definición, propiedades, ejemplos. Árboles etiquetados
Árbol con raíz, nivel de un árbol con raíz, altura de un árbol con raíz.
Árbol binario, árbol binario completo, árbol binario total, código prefijo, codificación de Huffman.

OCTAVA SEMANA
Examen parcial
NOVENA SEMANA
Árbol de expansión: árbol de expansión mínimo (árbol recubridor), algoritmo de Prim,
Algoritmo de kruskal, solución de problemas.

UNIDAD VI: INTRODUCCIÓN AL ÁLGEBRA DE BOOLE

DECIMA SEMANA
Álgebra de Boole: definición y propiedades del álgebra de Boole, postulados y teoremas de Boole,
operaciones lógicas, tabla de verdad, función lógica.
Formas normalizadas: término mínimo, término máximo, forma normal en suma de productos,
forma normal en producto de sumas, problemas de conmutración.

DECIMO PRIMERA SEMANA

Puertas lógicas: puertas and, or, inversor, xor, nand, nor, exor, realización de circuitos Lógicos.
Simplificación de funciones lógicas: Mapa de Karnaugh de 2, 3, 4 y 5 variables, circuitos
combinatorios, aplicaciones.
 UNIDAD VII: SEMIGRUPOS, GRUPOS Y CODIGO
DECIMO SEGUNDA SEMANA
Estructuras matemáticas discretas: propiedades, semigrupo, monoide, propiedades, Isomorfismo,
Homomorfismo.
Teoría de grupos: definición de grupo, propiedades, teoremas, grupo Abeliano.
Subgrupo, definición, propiedades. Grupo producto y cociente

DECIMO TERCERA SEMANA

Codificación: codificación de información binaria, detección de errores por bit de Paridad, distancia
mínima, distancia de hamming, teoremas
Grupo de código, generación de grupo de código, teoremas.

UNIDAD VIII: INTRODUCCIÓN A LA TEORIA DE LENGUAJES Y

MAQUINAS DE ESTADO FINITO
DECIMO CUARTA SEMANA
Introducción a la teoría de lenguajes: definición de alfabeto, operaciones con lenguajes,
concatenación.
Máquinas de estado finito: definición de una máquina de estados, diagrama de estados, tabla de
estados. Autómata de estados finito, definición, ejemplos.

DECIMO QUINTA SEMANA

Examen final
DECIMO SEPTIMA SEMANA
Examen sustitutorio.

IV. PROCEDIMIENTOS DIDÁCTICOS

Las clases se desarrollarán teniendo en cuenta:
. Aspecto metodológico: estimular el método científico (inductivo-deductivo)
. Procedimientos: Observación, análisis, demostración, interrogación, didáctica, solución de
problemas.
. Técnicas: Expositiva, diálogo, y tutoría.

V. EQUIPOS Y MATERIALES
. Equipos: computadora, proyector multimedia y accesorios, proyector de transparencias.
. Materiales: Texto base (Colman B., Estructuras discretas para la computación ), transparencias,
separatas de teoría y de problemas, direcciones electrónicas, pizarra, tizas de colores, mota,
plumones para transparencias y plumones para pizarra acrílica.

VI. EVALUACIÓN
PP  EP  EF
La nota final se determinará mediante: PF 
3
Donde:
PP = Promedio de las tres mejores prácticas calificadas
EP = Examen parcial
EF = Examen final

VIII BIBLIOGRAFÍA
Lipschutz S., Matemáticas para computación, México. McGraw Hill, 1982
Barry B. Brey, Los Microprocesadores de Intel, México. Pearson, 2001
Kolman B. Estructuras discretas para la computación, México. Prentice Hall,1997
Grimaldi R., Matemáticas discretas y Combinatoria, E.U.A. Adison Wesley,1997
Jhonsonbaugh R., Matemáticas discretas, México. Prentice Hall, 1997