UNIVERSIDAD NACIONAL FEDERICO VILLARREAL FACULTAD DE

INGENERIA INDUSTRIAL Y DE SISTEMAS

SILABO

ASIGNATURA MATEMATICA DISCRETA CDIGO:
3b0066

1. DATOS GENERALES

1.1. Departamento : Matemtica
1.2. Escuela Profesional : Ingeniera de Sistemas
1.3. Especialidad : Ingeniera de Sistemas
1.4. Nombre de la Carrera : Ingeniera de Sistemas
1.5. Ciclo de Estudios : Cuarto
1.6. Crditos : Cuarto
1.7. rea de asignatura : Ingeniera Bsica
1.8. Condiciona : Obligatorio
1.9. Pre- Requisitos : Ecuacin Diferencial
1.10. Horas de Clase Semanal : Seis (Teora, 02 practica oy)
1.11. Horas de Clase total : Ochenta y cuarto
1.12. Prof. Responsable : Jaime Cano Espada
1.13. Ao Lectivo : 2014- 2


2. SUMILLA
La asignatura es de formacin bsica, cuyo propsito es brindar al
estudiante los conocimientos fundamentales de la induccin matemtica y
recursiva, mtodo de conteo Delaciones binarias, teora de grafos, teora
de rboles, algebra de Boole, semigrupos, grupos y cdigo introduccin
a la teora de lenguaje y maquina de estado finito.

3. OBJETIVOS GENERALES
Desarrollar en los estudiantes le razonamiento lgico y reflexivo adecuado
para la comprensin de las matemticas en todos sus niveles y de
aplicacin a otras asignaturas de la carrera profesional.


4. APORTE DE LA ASIGNATURA AL PERFIL PROFESIONAL
Con el enfoque analtico proporcionado por la asignatura al ingeniero de
sistemas podr maximizarse su efectividad en la toma de decisiones .La
importancia de este enfoque se ve realizada debido al uso de computadoras
de gran velocidad y al aumento general en las aplicaciones de las
matemticas en la solucin de distintos problemas, tales como el
conocimiento de las ecuaciones de diferencia.
En este sentido, el aporte de la asignatura al perfil profesional del ingeniero
de sistemas se da en los siguientes puntos: Aplicar con criterio de
productividad, la ciencia, ingeniera y tecnologa en la solucin de
problemas. Asimilar y transmitir los conocimientos cientficos y tecnolgicos
que se desarrollan en el mundo a las condiciones especificas del pas.

5. ORGANIZACIN DE LAS UNIDADES DE APRENDIZAJE


UNIDAD DENOMINACIN N DE HORAS
1. Induccin Matemtica y recursiva
Mtodo de conteo.
18 Horas

2. Relacin de Binaria y Teora de los
Grficos Digrfos
24 Horas
3. Teora de arboles 12 Horas
4. Introduccin de algebra de Boole 12 Horas
5. Semigrupos, grupos y cdigo 12 Horas
6. Introduccin de la teora de lenguajes
Y Maquinas de Estado Finito
6 Horas


6. PROGRAMACIN DE LAS UNIDADES DE APRENDIZAJE
PRIMERA UNIDAD : INDUCCIN MATEMTICA Y RECURSIVA.
MTODO DE CONTEO.
NUMERO DE SESIONES : 06
OBJETIVO ESPECIFICO :
Dominar los conceptos, propiedades, teoremas y aplicacin de la
induccin Matemtica y el mtodo de conteo de ciertos pasos con el
fin de evaluar el tiempo de corrido de un algoritmo.
CONTENIDO MATEMTICO





PRIMERA SEMANA
Induccin Matemtica: principio de Induccin Matemtica.
Teorema. Definicin de funcin recursiva. Resolucin de
relaciones de Recurrencia.
SEGUNDA SEMANA
Principio fundamental para contar .Teorema. Funcin factorial.
Coeficiente Binomial. Teorema del Binomio.
TERCERA SEMANA
Permutaciones. Permutacin con repeticin. Combinaciones.
Principio de Casillas.
ACTIVIDADES
Resolucin de ejercicios y problemas
BIBLIOGRAFA ESPECFICA
Richard Jonson Baugh. 1997. Matemticas Discretas. Editorial Grupo
Iberoamericana. Mxico. Pg. 92 - 1 51.

SEGUNDA UNIDAD : RELACIONES BINARIAS, TEORIA DE LOS
GRAFOS DI GRAFOS

NUMERO DE SESIONES : 08
OBJETIVO ESPECIFICO
Dominar los conceptos, definiciones de las relaciones binarias y su
representacin matricial y sus grficas.
CONTENIDO MATEMTICO
CUARTA SEMANA
Relacin Binaria: Definicin, dominio y rango de una relacin.
Propiedades: reflexiva, simtrica, anti simtrica, transitiva,
equivalencia Relacin Inversa. Composicin de relaciones.
Relaciones y dgrafos Matriz de una relacin, trayectorias en
relaciones y dgrafos. Relacin de equivalencia .Propiedades
.Clases de equivalencia.
QUINTA SEMANA
Teora de grficos: grafo, multigrado, grado de un vrtice.
Grfica conexa. Subgrafica. Matriz de Adyacencia. Trayectorias
Circuito de Euler. Teorema.

SEXTA SEMANA
Conjunto cociente. Participacin de un conjunto .Relacin de
orden .Definicin .Propiedades. Diagrama de Hesse. Conjunto
parcialmente ordenado y totalmente ordenado .cotas: superior,
inferior, supremo e nfimo.
SPTIMA SEMANA
Grfica con pesos. Circuito Homiltoniana. Un algoritmo del
camino ms corto .Isomorfismo de grafos. Grafos planos (o
planares).
OCTAVA SEMANA
EXAMEN PARCIAL
ACTIVIDADES
Realizar ejercicios y problemas
Practica calificada
BIBLIOGRAFA ESPECFICA
Richard johnsonbaugh.1997.Matemtica Discreta.Editorial Grupo
Iberoamericana. Mxico .Pg. .161 - 207
Bernard colman .1997. Estructuras Matemticas Discretas para la
Computacin .Editorial Prentice - Hall Hispanoamericana .S.A.
Mxico Pag. 171 - 183.

TERCERA UNIDAD : TEORA DE ARBOLES

NUMERO DE SESIONES : 04
OBJETIVO ESPECIFICO :
Dominar la teora de los rboles o arborigramas para la aplicacin en la
organizacin de datos y sus relaciones entre si. Utilizacin de grafos
dirigidos para maximizar el flujo a travs de una red.
NOVENA SEMANA
Teora de rbol. Definicin .Propiedades. rbol etiquetado
Nivel de un rbol con raz, altura de un rbol. rbol binario:
Completo y total.
DECIMA SEMANA
Codificacin. Arboles generadores. Arboles generales
minimales Algoritmo de Pim. Modelo de Redes. En algoritmo de
flujo Maximal .Teorema de flujo Maximal y de corte Maximal
Pareos Redes de Petri.
ACTIVIDADES
Realizar ejercicios y problemas
Practica Calificada
BIBLIOGRAFA ESPECFICA
Richard Johnsonbaugh. 1997. Matemtica Discreta .Editorial
Grupo Iberoamericana S.A. Mxico .Pg. 219-312
CUARTA UNIDAD: INTRODUCCIN AL ALGEBRA DE BOOLE
NMERO DE SESIONES : 04
OBJETIVO ESPECFICO :
Dominar el algebra booleana para el anlisis y el diseo de Computadoras
electrnicas.
DECIMA PRIMERA SEMANA
Algebra de Boole .Definicin, propiedades . Postulados y Teorema
de Boole. Operaciones Lgicas .Tabla de verdad .Funcin Lgica.
DECIMA SEGUNDA SEMANA
Puertas lgicas: and , or, inversor.Circuitos Lgicos .Circuitos
combinatorios. Aplicaciones.
ACTIVIDADES
Realizar ejercicios y problemas
BIBLIOGRAFA ESPECFICA
Richard Johnsonbough.1997.Matemtica Discreta .Editorial
Grupo Iberoamericana .Mxico .Pg. 325 - 356
QUINTA UNIDAD: SEMIGRUPOS, GRUPOS Y CDIGO
NUMERO DE SESIONES : 04
Componer las definiciones de semigrupo y utilizando en el estudio de
mquina de estado finito.
DECIMA TERCERA SEMANA
Estructura matemtica discreta .Propiedades .Semigrupo monoide.
Propiedades. Isomorfismo.Homomorfismo. Teoria de grupos.
Definicin .Propiedades. Teorema .Grupo Abelianao. Subgrupo.
Definicin. Propiedades. Grupo producto y cociente.
DCIMA CUARTA SEMANA
Codificion: Codificion de informacin binaria y detencin de
errores. Decodificacin y correccin de errores.
ACTIVIDADES
Realizar ejercicios y problemas
BIBILOGRAFIA ESPECFICA
Bernard Colman 1997.Estructura de Matemticas Discretas para la
computacin .Editorial Prentice Hall. Mxico .Pag. 292 - 329.





SEXTA UNIDAD : INTRODUCCIN A LAA TEORA DE LENGUAJES Y
MAQUINAS DE ESTADO FINITO.

NUMERO DE SESIONES : 02
OBJETIVO ESPECIFICO :
Comprender que una de estado finito es un modelo que incluye
dispositivos que van de un simple " slip - flor" hasta una
computadora y que son tiles en el estudio de los lenguajes
formales de programacin.
DECIMA QUINTA SEMANA
Lenguaje .Representacin de Lenguajes y gramtica especiales.
Maquinas de estado finito. Semigrupos, maquinas y lenguaje.
Maquina y lenguaje regulares. Simplificacin de maquinas.

DECIMA SEXTA SEMANA
Examen Final

DECIMA SPTIMA SEMANA
Examen Sustitutorio

ACTIVIDADES
Realizar ejercicios y problemas
Practica Calificada

BIBLIOGRAFA ESPECFICA
Bernard Colman 1927.Estructuras de Matemticas Discretas para la
computacin.
Editorial al Printice Hall. Mxico .Pag. .338-360.
7. ESTRATEGIAS METODOLGICAS
Se utilizan en el desarrollo los mtodos deductivos en inductivos. El
profesor de la asignatura presentara en cada clase, el fundamento
terico de los distintos temas, siguiendo el orden que se seala en el
programa de las unidades.
Se pondr a disposicin de los alumnos separadas, apuntes y gua de
prcticas que debern ser resueltos por los alumnos separatas, apuntes y
gua de practicas que debern ser resueltos por los alumnos para que de
esta manera alcance y profundice los conocimientos adquiridos. los
alumnos debern asistir a clase debiendo ledo uno de los libros de la
bibliografa de lo que el profesor va a presentar el tema. De esta manera
se facilitara la comprensin y los estudiantes estarn en mejores
condiciones para hacer consultas en clase.
8. EVALUACIN
La nota final se obtendr de la siguiente manera:
NF = TA + EP + EF
3
Donde:
NF : nota final
TA : Tareas Acadmicas
EP : Examen Parcial
EF : Examen Final

La nota de tareas acadmicas se obtiene como promedio de las
Prcticas calificadas de acuerdo al cronograma que se fija.


BIBLIOGRAFA GENERAL

Grimaldi R.

1998

Matemtica Discreta y
Combinatoria.Editorial
Prentice Hall.Mxico
Colman Bernard
1997
Estructura de
Matemticas Discretas
para
computadoras.Editorial
.Prentice Hall .Mxico.

Frassman Winfried
1988

Matemtica Discreta
.Editorial Prentice Hall.
Mxico

Johnsonbauch Richard 1997 Matemticas Discretas.
Editorial Iberoamericana.
Mxico.

Lipschutz S.

1982 Matemti ca para
Computacin .Editorial
Me Graw Hill.Mexico.

Noel Permiengeat
Demis
1993 Algebra de Boole
Editorial vinces vives.
Espaa





Prof. De la Asignatura Jefe del Departamento


Director de Escuela