FACULTAD DE INGENIERIA DE SISTEMAS E INFORMATICAS

Escuela Acadmico Profesional de Ingeniera de Sistemas

SILABO - MATEMATICAS DISCRETAS

I.

DATOS INFORMATIVOS

1.1.
1.2..
1.3.
1.4
1.5.

Cdigo
Ciclo
Crditos
rea curricular
Condicin

:
:
:
:
:

1.6.

Semestre Acadmico

2014 - I

1.7.
1.8.

Duracin
Horas semanales

:
:

1.9.

Requisitos

08 semanas: 68 horas
10
HT:
06
HP:
Matemtica Bsica II (202004)

1.10.

Escuela Acadmico Profesional

1.11.
1.12.

Profesores
Texto Bsico

II.

203004
III
4
Formacin Bsica
Obligatoria

04

Administracin
Ingenieria de Sistemas
Departamento Ciencias de Computacin (DCC)
Kennet, H. Rosen (Junio 2011). Matemtica Discreta y
sus Aplicaciones. ( Discrete Mathematics and Its
Applications).

SUMILLA
La asignatura pertenece al rea curricular de Formacin Bsica, es de naturaleza terica y prctica, tiene por propsito
analizar la importancia de las relaciones lgicas, estudiar la teora de conjuntos discretos, cercana y similitud, con un
enfoque conceptual y mtodos formales de induccin en donde los estudiantes tienen la posibilidad de disear y
realizar anlisis de casos combinatorios. Organiza sus contenidos en unidades de aprendizaje colaborativo, desde
Lgica Matemtica. Conjunto. Anlisis Combinatorio. Relaciones y funciones. Induccin Matemtica. Recursividad.
Teora de Grafos. rboles. Gramtica y teora de Lenguajes. Maquinas de estado finito determinsticos Cdigos.
Estructura algebraica.
.

III.
IV.

COMPETENCIA DE ASIGNATURA
Analiza Determina aplica y disea.
CAPACIDADES
Analiza formula inferencias, predicados, clausulas y deduce aplicando reglas de inferencias o demuestra

V.

aplicando resolventes y/o principios contradictorios

Determina Subconjuntos para conjuntos bien ordenados, Permutacin Circular, Segmentos de algoritmos y
algoritmos de recursividad y/o Torre de Hanoi.
Aplica Teora de Grafos a casos reales de investigacin, Analiza algoritmos de bsqueda y de rbol de
decisin, Evala cadenas Polacas
Disea Reglas de Produccin de una Gramtica, Construye Proceso de anlisis Sintctico, y Disea Maquinas
de Estado Finito Deterministicos.

PROGRAMACIN DE CONTENIDOS
UNIDAD I
FILOSOFA DEL ANLISIS LGICO CON DEDUCCIONES Y CLAUSULAS

CAPACIDAD: Analiza formula inferencias, predicados, clausulas y deduce aplicando reglas de inferencias o demuestra aplicando
resolventes y/o principios contradictorios.
Actitudes

Respeto a la persona humana

Estrategias de
Semana
Horas

Innovacin y creatividad
Aprendizaje
Contenidos Conceptuales
Contenidos Procedimentales
Lgica, Proposicin Compuesta,
Clase magistral
8-10
Tabla Lgica, Lgica Simblica de
Compuertas(ALU), Diseo de un
1
Lgica Matemtica
Chip, Diseo de Modelo Lgico,
Trabajo en equipo
11-13
Principios lgicos, Inferencias,
Reglas de Inferencias
Por Reglas de Inferencias, Mtodo
Clase magistral
8-10
2
Deduccin Lgica
del Asterisco, Principio Tautolgico,
Trabajo en equipo
11-13
Teorema Recursivo
3
Predicado, Caractersticas, Reglas de
Clase magistral
8-10

Deduccin por Clausulas y/o resolventes

Sustitucin, Cuantificadores,
Particularizacin y Generalizacin
Universal, Funcin de Thoralt Skolen,
Principio de Dualidad, Literal,
Clausulas, Deduccin por
Resolventes

Trabajo en equipo

11-13

Referencias:

o
o
o
o

David Gries Springer-Verlag

Libro: Kennet, H. Rosen (2004). Matemtica Discreta y sus Aplicaciones. Espaa: Mc. Graw Hill.
Libro Grassmann W.K. Trenblay. (2004). Matemticas Discretas y lgica Espaa: Mc. Graw Hill. Ed. Prentice Hall
Hispanoamericana
David Gries. The Science of Programing Springer-Verlag
http://www.hre.es/bioest/probabailidad_14.html
Aula de Mate http://www.aulademate.com
Tems, ejercicios y aplicaciones interactivas de matemticas
Matemticas educativas http://www.edumat.net
Apuntes, problemas, informtica aplicada y artculos matemticos.
Juegos de lgica http://juegosdelogica.net
Pgina dedicada a los juegos de estrategia y lgica de tipo matemtico.

UNIDAD II
CONJUNTO DIFUSO, ANLISIS COMBINATORIO, INDUCCIN Y RECURSIVIDAD
CAPACIDAD: Determina Subconjuntos para conjuntos bien ordenados, Permutacin Circular, Segmentos de algoritmos y
algoritmos de recursividad y/o Torre de Hanoi.
Actitudes
Estrategias de
Respeto a la persona humana
Semana
Horas
Aprendizaje
Innovacin y creatividad
Contenidos Conceptuales

Teora de Conjuntos

Conjunto Bien Ordenados

Anlisis Combinatorio

Induccin, y Recursividad

Evaluacin Parcial
Referencias:

Contenidos Procedimentales
Conjuntos, Determinacin, Clases,
Creacin de Conjuntos, cardinal,
Subconjuntos, Tipos de diagrama de
Conjuntos (Veen Euler, Sagital, Hasse,
Dewey, Vectorial, Jerrquica, Veitch,
Diagrama de Karnaugt, Reglas de
Simplificacin, Conjuntos Equipotentes,
Ley de Morgan
Conjunto Potencia, Recubrimientos,
Particin de Conjuntos, conjunto
Ordenado, Conjunto Bien Ordenado
Principio de Producto, Principio de
Suma, Principio de Potencia,
Permutacin, Permutacin Circular,
Variacin, Variacin con Repeticin,
Combinacin, Combinacin con
Repeticin, Teorema Binomial.
Sumatoria, Propiedades, Demostracin
de Sumatorias, desigualdad,
Divisibilidad, Segmento de Algoritmos.
Relacin Recursiva, Caso de
recurrencia de Orden Superior, Funcin
Recursiva, Ventajas, desventajas,
Algoritmo Recursivo (Potencia,
Factorial, Fibonacci), Torre de Hanoi
H(n,A;B:C)

Trabajos de investigacin

Clase magistral

8-10

Trabajo en equipo

11-13

Clase magistral

8-10

Trabajo en equipo
Clase magistral

11-13
8-10

Trabajo en equipo

11-13

Clase magistral

8-10

Trabajo en equipo

11-13

Solucin de
problemas
Solucin de casos

1
1

Libro: Kennet, H. Rosen (2004). Matemtica Discreta y sus Aplicaciones. Espaa: Mc. Graw Hill.
Libro Grassmann W.K. Trenblay. (2004). Matemticas Discretas y lgica Espaa: Mc. Graw Hill. Ed. Prentice Hall Hispanoamericana
C.L. LIU. Elementos de Matemtica Discreta. 2da Ed. 1995. MC GRAW HILL Pg. 1a 43 Semana 1
Richard Johnsonbaugh. Matemticas Discretas 4ta. Ed. 1999. PEARSON Pg. 1 a 72 Semana 1 y 2
Jean Paul Tremblay Ram Manohar. Matemticas Discretas. Con aplicacin a las ciencias de la
Computacin. 1ra. Ed. 1996. CECSA Pg. 1 a 124. Tema 1 y 3 Pg. 189 a 228. Semana 2

o
o
o
o
o
o
o
o

Edgard R. Scheinerman Matemtica Discreta 1ra ed. 2001 Thomson Learning

PG. 209-236
http://www.dma.fi.upm.es/ctorres/11m.html
http://gaussianos.com/teoria-de-numeros-elemental-aritmetica-modular/
http://gaussianos.com/teoria-de-numeros-elemental-aritmetica-modular/
http://es.wikipedia.org/wiki/Aritmtica_modular
http://mx.answers.yahoo.com/question/index?qid=20070105033326AAJ0tJ2&show=7
http://usuarios.lycos.es/teoriadenumeros/modular.html
http://www.wikilearning.com/caracteristicas_generales_del_pensamiento_inf
http://www.telefonica.net/web2/lasmatematicasdemario/Aritmetica/AritModu.htm

UNIDAD III
TEORA DE GRAFO-RBOL DE MONTCULO- CADENA POLACA
CAPACIDAD: Aplica Teora de Grafos a casos reales de investigacin, Analiza algoritmos de bsqueda y de rbol de decisin,
Evala cadenas Polacas.
Actitudes
Estrategias de

Respeto a la persona humana

Semana
Horas

Innovacin y creatividad
Aprendizaje
Contenidos Conceptuales

10

11

12

Teora de Grafos, Producto de Grafos

Algoritmo de Warschall, Representacin en

Memoria

Teora de rbol, rbol extendido

rbol de Montculo, Recorridos en rbol

Contenidos Procedimentales
Grafo, Funcin de Incidencia, Grafos
Dirigidos, no dirigidos, Grado o
Valencia de Nodos, Teorema de Euler,
Grafo Ponderado, Camino, Camino
Simple Elemental, Circuito Simple,
Elemental, Longitud de Camino,
Vrtices y arcos adyacentes, Grafo
Completo, grafo Conexo, Grafo
Fuertemente Conexo, Camino
Hamiltoniano, Eureliano, Subgrafos,
Grafo Isomorfo, Producto de Grafos
Matriz de Adyacencia, Matriz de
Incidencia, Matriz de Caminos (Por
Suma, Algoritmo de Warschall), Matriz
de Caminos Mnimos de Warschal,
Representacin de un Grafo en
Memoria. P.I. A. caminos minimos

Definicin, rbol enraizado, rbol

binario, elementos de un rbol,
rbol extendido, longitudes,
transformacin a rbol binario, tipos
de rbol, rbol equilibrado, rbol de
bsqueda binario, rbol de
Huffmann, P.I. A. rbol extendido
Representacin en memoria, rbol
de Montculo, operacin en un
rbol, recorridos de un rbol,
cadena polaca, rbol de una
expresin aritmtica, recorridos,
pilas de un rbol, evaluacin
manual y por pilas, transformacin
de infija a posfija. P.I. A. rbol de M

Clase magistral

8-10

Trabajo en equipo

11-13

Clase magistral

8-10

Trabajo en equipo

11-13

Clase magistral

8-10

Trabajo en equipo

11-13

Clase magistral

8-10

Trabajo en equipo

11-13

Referencias:
Libro: Kennet, H. Rosen (2004). Matemtica Discreta y sus Aplicaciones. Espaa: Mc. Graw Hill.
Libro Grassmann W.K. Trenblay. (2004). Matemticas Discretas y lgica Espaa: Mc. Graw Hill. Ed. Prentice Hall Hispanoamericana
C.L. LIU. Elementos de Matemtica Discreta. 2da Ed. 1995. MC GRAW HILL Pg. 1a 43 Semana 1
Richard Johnsonbaugh. Matemticas Discretas 4ta. Ed. 1999. PEARSON Pg. 1 a 72 Semana 1 y 2
Jean Paul Tremblay Ram Manohar. Matemticas Discretas. Con aplicacin a las ciencias de la
Computacin. 1ra. Ed. 1996. CECSA Pg. 1 a 124. Tema 1 y 3 Pg. 189 a 228. Semana 2
Edgard R. Scheinerman Matemtica Discreta 1ra ed. 2001 Thomson Learning
PG. 209-236

o
o
o
o
o
o
o
o
o

http://www.geocities.com/tapiamauricio/matrices/contmatrices.html
http://www.lafacu.com/appuntes/matematicas/matrices/default.html
http://www.lafacu.com/appuntes/matematicas/matr_dt/default.html
http://www.ecci.ucr.ac.cr/formato.html
http://www.ecci.ucr.ac.cr/orga.ht
http://www.ecci.ucr.ac.cr/formato.html Algebra matricial http://www.cnice.mecd.es/mem2000/algebra/index.html
Pgina interactiva dedicada al clculo matricial y de determinantes: ejemplos, ejercicios, tests, etc.
http://das-www.harvard.edu/es/academics/courses/sc141/sc141.html
http://www.cs.cornell.edu/info/courses/spring-94/sc314/lec7/lec7.html
http://www.cs.stedwards.edu/~jsnowde/

UNIDAD IV
TEORA DE LENGUAJES, MAQUINAS, AUTMATAS Y DISEO DE MAQUINAS
CAPACIDAD: Disea Reglas de Produccin de una Gramtica, Maquinas de Estado Finito, y Construye Proceso de anlisis
Sintctico.
Actitudes
Estrategias de

Respeto a la persona humana

Semana
Horas

Innovacin y creatividad
Aprendizaje
Contenidos Conceptuales

13

Teora de Lenguajes

Construccin del anlisis Sintctico

14

15

16

17

Maquinas de estados, Autmatas

Diseo de Maquinas

Examen Final

Contenidos Procedimentales
Gramtica, Vocabulario, Alfabeto,
Cadenas, Concatenacin de Cadenas,
Longitud, Clasificacin Gramtica de
Chomsky, Derivacin, Mtodo del rbol
de Derivacin
Lenguaje Formal, Lenguaje Generado
por una Gramtica, Gramtica
Ambigua, Anlisis Sintctico mtodo de
las pilas, Verificacin, Construccin del
Anlisis Sintctico
Maquina de Estado Finito
Determinsticos, Tabla de Transicin,
Maquina de Moore, Maquina de Mealy,
Diagrama de Flujo, Tabla de
Frecuencia de Estados, Autmatas
Maquina de Estados Finitos No
Determinsticos, Maquina comparativa,
Maquina Operativa, Maquina de bit de
paridad par/impar, Maquina de
reconocimiento, Maquina de Residuos
P.I. A. de diseo de autmatas

Clase magistral

8-10

Trabajo en equipo

11-13

Clase magistral

8-10

Trabajo en equipo

11-13

Clase magistral

8-10

Trabajo en equipo

11-13

Clase magistral

8-10

Trabajo en equipo

11-13

8-10

02
11-13

Solucin de casos

Referencias:
Libro: Kennet, H. Rosen (200). Student's Solutions Guide for Discrete Mathematics and Its Applications Kenneth Rosen (Author), Jerrold

Grossman (Author)

Libro: Kennet, H. Rosen (2004). Matemtica Discreta y sus Aplicaciones. Espaa: Mc. Graw Hill.
Libro Grassmann W.K. Trenblay. (2004). Matemticas Discretas y lgica Espaa: Mc. Graw Hill. Ed. Prentice Hall Hispanoamericana
C.L. LIU. Elementos de Matemtica Discreta. 2da Ed. 1995. MC GRAW HILL Pg. 1a 43 Semana 1
Richard Johnsonbaugh. Matemticas Discretas 4ta. Ed. 1999. PEARSON Pg. 1 a 72 Semana 1 y 2
Jean Paul Tremblay Ram Manohar. Matemticas Discretas. Con aplicacin a las ciencias de la
Computacin. 1ra. Ed. 1996. CECSA Pg. 1 a 124. Tema 1 y 3 Pg. 189 a 228. Semana 2
Edgard R. Scheinerman Matemtica Discreta 1ra ed. 2001 Thomson Learning
PG. 209-236
Jean Paul Tremblay Ram Manohar. Matemticas Discretas. Con aplicacin a las ciencias de la
Computacin. 1ra. Ed. 1996. CECSA Pg. 1 a 124. Tema 1 y 3 Pg. 189 a 228. Semana 2
Ralp P. Grimaldi Matemtica Discreta y Combinatoria 3ra. Ed. 1997 ADDISON WESLEY
IBEROAMERICA. Pg. 51 a 213. Semana 2.
Kenneth H. Rosen Matemtica Discreta y sus aplicaciones 5ta ed. 2004 Mc Graw Hill
PG. 279-366
Stanley I. Grossman lgebra Lineal 4ta Ed Mc Graw Hill PG. 37-113
DIRECCIONES ELECTRNICAS
o

http://www.bibliotecavirtual.com

Matemagia http://www.matemagia.com
Matemticas recreativas, juegos de lgica, tests, pasatiempos, juegos online, etc.
El circo matemtico http://centros5.pntic.mec.es/cpr.de.aranjuez/foro/circo/circoinicio.htm
Pgina sobre matemticas con juegos, paradojas, noticias, enlaces, etc.
El Maravilloso Mundo de las Matemticas http://www.redchilena.cl/matematicas/
Muchas cosas sobre matemticas: Matemticas Recreativas, Trucos, Paradojas, Problemas, Soluciones...
Las pginas del nmero "PI" http://www.cecm.sfu.ca/pi/pi.html
Una pgina dedicada al celebrrimo nmero "PI" que conviene visitar con los altavoces encendidos
Mucho sobre matemticas http://www.matematicas.net
Se trata de una pgina web en la que se pueden encontrar muchas cosas sobre matemticas, incluso algo sobre otras
materias.
Matemticas http://cerezo.pntic.mec.es/~jetayo/
Aula de Mate http://www.aulademate.com
Tems, ejercicios y aplicaciones interactivas de matemticas

o
o
o
o
o
o
o

VI.
6.1.

6.2.

METODOLOGA
Estrategias centradas en la enseanza y aprendizaje basado en problemas. (ABP)
a.
Solucin de problemas
b.
Discusin en grupos pequeos
c.
Estudio de casos
d.
Solucin de casos
Estrategias centradas en el aprendizaje
e.
Solucin de problemas
f.
Discusin en grupos pequeos
g.
Estudio de casos
h.
Solucin de casos
EVALUACION

PF =

Asistencia y puntualidad (80% de asistencia como mnimo).

Se tomaran 2 exmenes obligatorios. + un sustitutorio
Se tomaran 2 prcticas calificadas escritas, antes de los exmenes parciales.
Se tomara en cuenta la participacin en clase, trabajos de grupos, y de exposiciones.
El Promedio Final se obtendr de la aplicacin de la siguiente frmula:

EP EF
3

PT

donde:

EP: Examen Parcial

EF: Examen Final
PT: Promedio de Trabajos de clase + Practicas Calificadas + trabajos de investigacin
La Nota mnima para obtener el promedio (PF) se deber alcanzar 21 puntos, entre EP y EF.

V.- RED DE APRENDIZAJE

UINDAD I
FILOSOFA DEL ANLISIS
LGICO CON DEDUCCIONES
Y CLAUSULAS

UINDAD I I

UNIDAD III

CONJUNTO DIFUSO,
ANLISIS COMBINATORIO,
INDUCCIN Y RECURSIVIDAD

TEORA DE GRAFO-RBOL
DE MONTCULO- CADENA
POLACA

UNIDAD IV TEORA DE
LENGUAJES, MAQUINAS,
AUTMATAS Y DISEO DE
MAQUINAS