UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

(Universidad del Perú, DECANA DE AMÉRICA)

FACULTAD DE INGENIERIA DE SISTEMAS E INFORMATICA

Escuela Académico Profesional de Ingeniería de Sistemas

SILABO

1. ESPECÍFICACIONES GENERALES

Nombre del Curso : Matemática Discreta

Codigo del Curso : 203004
Duración del Curso : 17 Semanas
Forma de Dictado : Teórico – práctico
Horas Semanales : Teoría: 3h – Práctica: 2h
Naturaleza : Básico de la profesión
Numero de Créditos :4
Prerrequisitos : 202004 - Matemática Básica II
Semestre Académico : 2010 – I
Profesor :

2. SUMILLA

Lógica matemática, álgebra de Boole, teoría de conjuntos, análisis combinatorio, inducción, recursividad,
relaciones, funciones, teoría de grafos, árboles, teoría de lenguajes, estructuras discretas, teoría de
codificación.

Introduccion del Curso: La Matemática Discreta describe un tipo de matemáticas, en donde no tienen
cabida propiedades tales como cercanía y suavidad; ideas claves en el calculo; que alude a la matemática
discreta; Para realizar verificación formal de programas y añadirles funcionalidad de las estructuras
discretas.

El curso de Matemáticas Discretas desarrollado en forma Teórica - Práctica provee de herramientas básicas
para manejar con propiedad métodos, técnicas, teorías y procesos que permitan desarrollar una actitud de
creatividad e investigación en los futuros profesionales de Ingeniería de Sistemas e Informática y
Computación Científica.

3. OBJETIVO GENERAL

Proveer conceptos de Matemática Discreta es dar el fundamento teórico para generar modelos discretos en
donde los estudiantes tienen la posibilidad de desarrollar sus propios diseños. Como materia practica
pretende informar y ejercitar en ciertos métodos de aprehensión y comprensión de los conceptos utilizados
en matemática discreta.

OBJETIVO ESPECIFICO

• Proveer una formación deductiva e Heurística que sea capaz de la creación y desarrollar
habilidades para la generación de algoritmos estructurados.
• Habituarse a las habilidades de pensamiento algorítmico.
• Enseñar a los estudiantes como pensar desde un punto de vista matemático.

4. CONTENIDO ANALÍTICO POR SEMANAS

1º Semana: Lógica matemática.

Proposiciones. Compuerta lógica. Principios lógicos. Principio de Lewis. Dualidad. Inferencias. Reglas de
inferencia. Modus Ponens. Modus Tollens. Literales. Cláusulas. Función de Skolen. Resolventes.
Demostración por contradicción. Aplicaciones.

1/4
2º Semana: Cálculo de Predicado.
Sustitución de formas normales. Lógica de predicados con Cuantificadores. Reglas de particularización y
Generalización. Aplicaciones en la deducción inferencial de cuantificadores.
Teoría de Conjunto: Conjuntos. Diagrama sagital, de Hasse, de Veitch y diagrama de Karnaught.
Conjuntos equipotentes. Leyes de equivalencias. Principio de inclusión - exclusión. Conjunto potencia.
Recubrimiento. Conjunto bien ordenado. Partición. Aplicación.

3º Semana: Análisis Combinatorio.

Reglas de conteo. Principio del palomar. Factorial permutación. Permutación circular y lineal. Principio de
potencia. Combinaciones. Permutación con objetos indistinguibles. Desarrollo binomial. Aplicaciones.

4º Semana: Inducción Matemática.

Sumatoria, propiedad telescópica. Principio de inducción. Demostraciones por inducción. Segmento de
algoritmo. Propiedad del buen orden. Inducción estructural. Aplicaciones.

5º Semana: Recursividad.
Relación Recursiva. Generación de funciones recursivas. Algoritmos de funciones recursivas. Ventajas y
desventajas. Movimiento de la torre de Hanoi de la forma H (n, A, B, C). Verificación formal de programas.
Aplicaciones.

6º Semana: Relaciones.
Relaciones en un conjunto. Propiedades. Combinación de relaciones. Relaciones n-arias. Base de datos y
relaciones. SQL. Representación de relaciones usando matrices.

7º Semana: Funciones.
Definiciones. Funciones inyectivas y sobreyectivas. Funciones inversas y composición de funciones.
Grafica de funciones. Algunas funciones importantes: Signoidea. Función Gaussiana. Aplicación.

8º Semana: Examen Parcial

9º Semana: Teoría de Grafos.

Concepto de Grafo. Tipos de grafos. Modelos de grafo. Familias de grafos simples. Grafos bipartidos.
Grafos definidos a partir de otros. Producto de grafos. Matriz de adyacencia, incidencia. Grafos isomorfos.
Caminos.

10º Semana: Caminos Eulerianos y Hamiltonianos.

Circuitos hamiltonianos. Algoritmos de camino mínimos de Warschall, Dijkstra El teorema de Kuratowski.
Coloreado de grafos. Representación en memoria de un grafo. Aplicaciones.

11º Semana: Árboles.

Definiciones de Árbol. Árbol enraizado. Árbol binario. Árboles como modelo. Propiedades. Elementos.
Longitud. Profundidad. Altura. Árbol extendido. Longitudes. Árbol lleno. Árbol Completo.

12º Semana:
Árbol de Búsqueda Binaria. Árbol AVL. Árbol de Huffmann. Representación en memoria. Árbol de
montículos [Heaps]. Algoritmo de ffiltración. Búsqueda en profundidad y anchura. Árboles generadores
mínimos. Algoritmo Prim, Kruskal. Recorridos. Representación en memoria del árbol enhebrado Bi
direccional inorden.

13º Semana: Cadena Polaca de Lukasiewicz.

Recorridos. Evaluación de expresiones por pila (snack) y manual. Transformación de Infija a postfija por
pilas. Aplicación.

14º Semana: Teoría de Lenguajes

Concepto general de gramática. Tipos de gramática según Nohan Chomsky. Árbol de derivación. Lenguaje
generado por una gramática. Reglas de producción. Análisis Sintáctico. Árbol sintáctico. La forma de
Backus Naur máquina de estado finito deterministico con salida y sin salida.

15º Semana: Autómatas Finitos.

2/4
Reconocimiento de lenguajes. Teorema de Kleene. Uso de la maquina de Turing.

16º Semana: Examen Final

17º Semana: Examen Sustitutorio

5. METODOLOGÍA

El desarrollo del curso se realiza en base a clase Teórico - Práctico por parte del profesor a un sistema de
enseñanza aprendizaje - investigación (SEAI). Para cada unidad temática se exige desarrollo de proyectos
por grupos de trabajo en la implementación de algoritmos, propiciando la motivación indispensable para la
relación de la actividad de aprendizaje. La estructura del desarrollo del curso se orienta en una mixtura de
métodos activos en la que la participación de los alumnos le permite estar en permanente actividad mental.
Los grupos no podrán ser mayores al 10% del total de alumnos inscritos en el curso.

6. EVALUACIÓN

Criterios: Evaluación Continua. Participación y cumplimiento de tareas. Creatividad e iniciativa y

metodología en el desarrollo de algoritmos.

Instrumentos de Evaluación:

Examen Parcial (EP)

Examen Final (EF)
Examen Práctica (EP)
Practica Calificada : P = P1 P2
Exámenes : E1, E2.
Trabajo de Grupo : T = T1, T2, T3
Promedio de Practica : PP = ( P + T ) / N, N = n0 practica calificada.

Examen Sustitutorio:
Promedio Final : PF = ( E1 + E2 + PP ) / 3

Nota: Para que pueda obtenerse el promedio final aprobatorio, el alumno necesariamente debe tener una
nota aprobatoria en los exámenes parciales.
El alumno no puede aprobar el curso con las notas de práctica y/o trabajos.

7. BIBLIOGRAFÍA

• Matemática Discreta y sus Aplicaciones: Kenneth N. Rosen - Quinta edición. Mc Graw Hill.
• Matemáticas Discreta: Johnsonbaugh, Richard - Grupo Editorial Iberoamericana.
• Matemáticas Discretas y Lógica: Grassmann W. K. Trenblay - Ed. Prentice Hall
Hispanoamericana.
• Matemáticas Discretas y Combinatorias: Grimaldi Ralph P. - Ed. Addison – Wesley.
• Estructura de Matemáticas Discretas para la Computación: Kolman, Bernardo B. - Ed. Prentice
Hall.
• Matemática Discretas: Kenneth A. Ross - Ed. Prentice may.
• Elementos de Matemáticas Discretas: C. L. Liu. - Ed. Mc Graw Hill.
• The Science of Programing: David Gries - Springer-Verlag.
• Compiler Design Theory: Philip M. Lewis II - Eddison – Wesley.
• Inteligencia Artificial: Thomas Gawehns - Material de uso interno U. Católica.
• Análisis y Diseño de Circuitos Lógicos Digitales: Víctor P. Nelson. - J. David Irwin.
• Fundamentos de Sistema Digitales: Thomas L. Floyd - Prentice – Hall.
• C ++: Desarrollo de Proyectos - Jo Ann Smith.

3/4
• Fundamentos de Programación: Algoritmos y Estructuras de Datos - Joyanes Aguilar - Ed. MC
Grau Hill.
• Estructuras de Datos y Algoritmos - Aho, Alfred - Hopcroft / Addison.

4/4