Fundamentos de Matemática Discreta

FACULTAD DE CIENCIAS Y TECNOLOGA
RED NACIONAL UNIVERSITARIA UNIDAD ACADMICA DE ORURO
Facultad de Ciencias y Tecnologa Ingeniera de Sistemas
TERCER SEMESTRE
SYLLABUS MATEMTICA DISCRETA
Elaborado por: Ing. Jaqueline Martnez Caldern
Gestin Acadmica I/2011
U N
I V E R S I D A D
D E 1
Q U
I N O
O L
I V I A
UDABOL
UNIVERSIDAD DE AQUINO BOLIVIA Acreditada como PLENA mediante R. M. 288/01
VISION DE LA UNIVERSIDAD Ser la Universidad lder en calidad educativa. MISION DE LA UNIVERSIDAD Desarrollar la Educacin Superior Universitaria con calidad y competitividad al servicio de la sociedad.
Estimado(a) estudiante: El syllabus que ponemos en tus manos es el fruto del trabajo intelectual de tus docentes, quienes han puesto sus mejores empeos en la planificacin de los procesos de enseanza para brindarte una educacin de la ms alta calidad. Este documento te servir de gua para que organices mejor tus procesos de aprendizaje y los hagas mucho ms productivos. Esperamos que sepas apreciarlo y cuidarlo.
U N
I V E R S I D A D
D E 2
Q U
I N O
O L
I V I A
I. SYLLABUS
Asignatura: Cdigo: Requisito: Carga Horaria: Horas tericas Horas prcticas Crditos:
Matemtica Discreta MAT-201A MAT-111A 80 horas 80 4
II. OBJETIVOS GENERALES DE LA ASIGNATURA
Desarrollar los conceptos fundamentales de la matemtica discreta, estableciendo su importancia en las ciencias de la computacin, a travs de ejemplos de aplicacin practica. La enseanza de los contenidos fundamentales de la Matemtica Discreta y el uso de su terminologa son imprescindibles en todos los cursos de nivel universitario, ya que van asociadas al progreso de las ciencias y la unidad conceptual, desde el punto de vista instructivo la asignatura introduce la terminologa y conocimientos que trata con diferentes tipos de objetos, los cuales pueden a su vez, combinarse de maneras diferentes. III. PROGRAMA ANALTICO DE LA ASIGNATURA
UNIDAD 1: PRINCIPIOS FUNDAMENALES DEL CONTEO ENUMERACIN EN LA TEORIA DE CONJUNTOS
TEMA 1. Introduccin al Anlisis Discreto
1.1. 1.2. 1.3. 1.4. 1.5.
La regla de la suma y el producto Permutaciones Combinaciones Distribuciones Fundamentos de lgica
U N
I V E R S I D A D
D E 3
Q U
I N O
O L
I V I A
TEMA 2. Teora de Conjuntos
2.1. 2.2. 2.3.
Conjuntos y subconjuntos Operaciones con Conjuntos Conteos y diagramas de Venn
UNIDAD 2: Relaciones y Funciones
TEMA 3. Funciones
3.1. 3.2. 3.3. 3.4. 3.5.
Producto cartesiano y relaciones Clasificacin de funciones Nmero de Stirling Funciones especiales El principio del palomar
TEMA 4. Relaciones
4.1. 4.2. 4.3. 4.4. 4.5.
Relaciones Propiedades de las relaciones Matrices y Grafo de una funcin Ordenes parciales: Diagramas de Hasse Relaciones de equivalencia y particiones
UNIDAD 3: EL PRINCIPIO DE INCLUSIN Y DE EXCLUSIN
TEMA 5. Principio de Inclusin y Exclusin
5.1. 5.2. 5.3. 5.4. 5.5.
Principio de inclusin y exclusin Generalizacin del principio Desordenes Polinomios torre Disposicin con posiciones prohibidas
U N
I V E R S I D A D
D E 4
Q U
I N O
O L
I V I A
UNIDAD 4: FUNCIONES GENERATRICES, LGEBRA BOOLEANA Y FUNCIONES DE CONMUTACIN
TEMA 6. lgebra Booleana
6.1. 6.2. 6.3.
Ejemplos introductorias Definiciones y ejemplos Tcnicas de clculo
TEMA 7. Funciones Generatrices y de Conmutacin
7.1. 7.2. 7.3. 7.4. 7.5.
Formas normales disyuntiva y conjuntiva Redes de compuertas Suma minimal de productos Mapas de Karnaugh Aplicaciones adicionales. Condiciones de indiferencia
IV. SISTEMA DE EVALUACIN DE APRENDIZAJES
En aplicacin del Instructivo No. 3/2004 del 19 de Julio de 2004 de Presidencia de la Corporacin de Aquino Bolivia, es necesario y oportuno hacer conocer el nuevo sistema de evaluacin de aprendizajes en la Universidad de Aquino-Bolivia. Diagnstica: es la evaluacin de los saberes o conocimientos previos de los y las
estudiantes, as como de sus ritmos y estilos de aprendizaje y sus tipos de inteligencia, que sirve al docente como punto de partida para, el desarrollo curricular, para la mejor organizacin y estructuracin de las secuencias de aprendizaje, de modo que estas tengan en cuenta no slo el punto de partida del grupo con el que trabajar durante el semestre sino adems las diferencias y especificidades de cada estudiante para que los aprendizajes resulten ms efectivos y permitan el ptimo desarrollo integral de cada uno(a). Procesual o de desempeo o formativa: en esta forma de evaluacin se valora el avance del o de la estudiante de su nivel de desarrollo real (detectado mediante la evaluacin
U N
I V E R S I D A D
D E 5
Q U
I N O
O L
I V I A
diagnstica) a su nivel de desarrollo potencial (detectado mediante diversas actividades o tareas).
Esta forma de evaluacin, por su naturaleza, es eminentemente cualitativa aunque puede ser valorada cuantitativamente mediante un sistema de puntaje que permita apreciar los avances del o de la estudiante en su zona de desarrollo prximo (zdp) (o, incluso, fuera de ella, en el caso de que el proceso de aprendizaje rebase la misma y d lugar a nuevas zdp).
La materia de Matemtica Discreta dentro la evaluacin procesual contempla la realizacin de cuestionarios, prcticas de clases, trabajos de investigacin, Visitas a la Industria, Seminarios por parte de expertos en el rea, evaluacin diaria, desarrollo de Work Paper, Difs, Jornadas Cientificas, actividades de Brigadas de aula abierta. De resultados del proceso de aprendizaje o sumativa: es la valoracin de los resultados de los procesos de aprendizaje del o de la, estudiante durante el semestre.
Esta forma de evaluacin es tanto cualitativa como cuantitativa, por su naturaleza y por la funcin que cumple dentro de la evaluacin.
La evaluacin de resultados en la asignatura especfica se llevar a cabo de forma terica y prctica orientada ms a la resolucin de ejercicios por la caracterstica de la materia misma.
U N
I V E R S I D A D
D E 6
Q U
I N O
O L
I V I A
V. BIBLIOGRAFA:
BIBLIOGRAFA BSICA
Ralph, Grimaldi: Matemtica Discreta y Combinatoria, Addison-Wesley, bero Amrica Kenneth A. Ross, R.B. Wright: Matemtica Discreta, Editorial Prentice Hall, Mxico.
BIBLIOGRAFA COMPLEMENTARIA -
Grassmann Winfried, Tremblay Jean Paul: CECSA.
Matemtica Discreta y Lgica,
Seymour Lipschtz, Ph. D.: Matemticas Finitas, Primera Edicin Espaol, Colombia, Editorial Mc Graw Hill, ( Serie de Compendios Schaum), 1977 ColmanBusby Ross: Estructuras de Matemtica Discreta para la Computacin, Tercera Edicin, Mxico, Editorial Mc Graw Hill, 1995.
U N
I V E R S I D A D
D E 7
Q U
I N O
O L
I V I A
VI. CONTROL DE EVALUACIONES
1 evaluacin parcial Fecha Nota
2 evaluacin parcial Fecha Nota
Examen final Fecha Nota
APUNTES
U N
I V E R S I D A D
D E 8
Q U
I N O
O L
I V I A
VII. PLAN CALENDARIO
GESTIN I/2011 TURNOS REGULAR-TRABAJO ESTUDIANTES NUEVOS-ANTIGUOS

SEMANA
CALENDARIO ACADMICO
DEL 09-mar 14-mar 21-mar 28-mar 04-abr 11-abr 18-abr 25-abr 02-may 09-may 16-may 23-may 30-may 06-jun 13-jun 20-jun 27-jun 04-jul 11-jul 18-jul 25-jul
AL 12-mar 19-mar 26-mar 02-abr 09-abr 16-abr 23-abr 30-abr 07-may 14-may 21-may 28-may 04-jun 11-jun 18-jun 25-jun 02-jul 09-jul 16-jul 23-jul 26-jul Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia Avance de materia
ACTIVIDADES
OBSERVACIONES
1ra. 2da. 3ra. 4ta. 5ta. 6ta. 7ma. 8va. 9na. 10ma. 11ra. 12da. 13ra. 14ta. 15ta. 16ta. 17ma. 18va. 19na. 20va. 21ra.
Inicio Primera Evaluacin Parcial Conclusin Primera Evaluacin Parcial
Presentacin de Notas Presentacin de Notas
Inicio Segunda Evaluacin Parcial

Conclusin Segunda Evaluacin Parcial
Presentacin de Notas Presentacin de Notas
Inicio Evaluacin Final

Conclusin Evaluacin Final Evaluacin del segundo turno Cierre de Gestin FERIADOS
Presentacin de Notas Transcripcin de Notas Transcripcin de Notas
22 de abril 1 de mayo 23 de junio
Viernes Santo Da del Trabajo Corpus Christi
U N
I V E R S I D A D
D E 9
Q U
I N O
O L
I V I A
PLANIFICACIN DE ACTIVIDADES CONTENIDO ANALTICO Tema 1: Introduccin al Anlisis Discreto Tema 6: Algebra Booleana Tema 7: Funciones Generatrices y de Conmutacin Tema 2: Conjuntos Tema 3: Funciones Tema 4: Relaciones Tema 6: Algebra Booleana Tema 7: Funciones Generatrices y de Conmutacin Tema 6: Algebra Booleana Tema 7: Funciones Generatrices y de Conmutacin PERIODOS ACADMICOS 4 Periodos RECURSOS DIDCTICOS Data Display Data Display Software de Monitoreo de Procesos Instrumentacin Data Display Equipo de Computacin Papelgrafo Software Data Display Software Pizarras Presentaciones Data Display Software Pizarras Presentaciones Soporte CDs
CONTENIDO MNIMO INTRODUCCIN A LA TEORA DE CONJUNTOS ENUMERACIN
ACTIVIDAD Clases Magistrales Visita a la Industria
4 Periodos
INTRODUCCIN A LA TEORA DE CONJUNTOS RECUENTO ENUMERACIN
Brigadas
8 Periodos
Trabajo de Investigacin
8 Periodos
RECUENTO ENUMERACIN
Trabajo de Investigacin final de curso
4 Periodos
U N
I V E R S I D A D
D E 10
Q U
I N O
O L
I V I A
WORK PAPER # 1
PROGRAMA DE CONTROL DE CALIDAD
No. DE PROCEDIMIENTO : APRO 07
No. DE HOJAS : 4
ELABOR : Ing. Jaqueline Martnez Caldern TTULO DEL WORK PAPER : Fundamentos de Lgica
CDIGO : MAT-201A
DPTO.: Facultad de Ciencias y Tecnologa UDABOL ORURO DESTINADO A: DOCENTES ALUMNOS X ADMINIST. OTROS
OBSERVACIONES: Carrera : Ingeniera de Sistemas, Asignatura : MATEMTICA DISCRETA, Unidad I, Tema 1 FECHA DE DIFUSIN :
FECHA DE ENTREGA :
U N
I V E R S I D A D
D E 11
Q U
I N O
O L
I V I A
FUNDAMENTOS DE LOGICA
PREPOSICIN, TABLAS DE VERDAD, TAUTOLOGA Y CONTRADICCIN
LGICA Y CLCULO PROPOSICIONAL
Preposicin: Cualquier frase susceptible de adquirir un valor de verdad. En general se compone de la siguiente manera: (SUJETO + VERBO + PREDICADO) Tablas de verdad:
Disyunci Proposicion es Conjunci Disyunci n PQ V F F F n PQ V V V F n excluyen te P V V F F Q V F V F PQ F V V F
Doble implicaci n PQ V F F V
Implicaci n PQ V F V V
Tautologa: El valor de verdad de toda la columna es Verdadero. Contradiccin: El valor de verdad de toda la columna es Falso. Contingencia : Los valores de la tabla de toda la columna son mixtos Falso y Verdadero.
Tautologa: Contradiccin. Contradiccin: Tautologa.
Si el antecedente de una implicacin es Falso, el valor de verdad es Verdadero Leyes de De Morgan:
U N
I V E R S I D A D
D E 12
Q U
I N O
O L
I V I A
P Q V V V F F V F F
~ (PQ) F F F V V V V F
V V V V
~P ~Q F F V V F F F V F V F V
P V V F F
Q V F V F
(PQ) V F V V
V V V V
(~P Q) V F V V
Cuantificadores : Hay dos tipos: El cuantificador Universal (Para todo) y el cuantificador existencial (Existe).
Hay proposiciones como por ejemplo: 5 > 2; X toma el mismo valor que Y; 5=20; a las que podemos adjudicarle un valor de verdad (Verdadero o Falso), y hay expresiones que incluyen variables como x+2x-3 = 0 que no podemos decir que sean proposiciones, puesto que si x=1 resulta verdadero, pero su x=0 entonces resulta falso. Si decimos x: x+2x-3= 0, ahora si es una proposicin y es falsa, puesto que podemos mostrar el contraejemplo, dndole a x el valor 0. La expresin: x / x+2x-3 = 0 es tambin una proposicin y en este caso es verdadera.
Negacin de los cuantificadores: ~ ( x: P(x) ) x: ~ P(x) ~ ( x: P(x) ) x: ~ P(x) (p1, ^ p2 ^ p3 ^ p4) C
p1 p2 p3 p4 C
V V V V V
F F F F F
V F V V F
U N
I V E R S I D A D
D E 13
Q U
I N O
O L
I V I A
CUESTIONARIO
1. Construir la tabla y verificar si es una tautologa, contradiccin contingencia. a) (p q) [(p ~ q) (p q)] b) [(p q) r ] (p ~ q) c) [(p q) (p r ] (~ q p) d) [p (p q) ] q
U N
I V E R S I D A D
D E 14
Q U
I N O
O L
I V I A
WORK PAPER # 2
No. DE HOJAS : 5
ELABOR : Ing. Jaqueline Martnez Caldern TTULO DEL WORK PAPER : Teora de Conjuntos
CDIGO : MAT-201A
OBSERVACIONES: Carrera : Ingeniera de Sistemas, Asignatura : MATEMTICA DISCRETA, Unidad I, Tema 2 FECHA DE DIFUSIN :
FECHA DE ENTREGA :
U N
I V E R S I D A D
D E 15
Q U
I N O
O L
I V I A
TEORA DE CONJUNTOS
Introduccin al concepto de Teora de Conjuntos
La Teora de Conjuntos es una teora matemtica, que estudia bsicamente a un cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, as como a los problemas relacionados con estos. Intuitiva e informalmente los objetos de estudio de la Teora de Conjuntos quedan descritos as: 1. Si x no tiene elementos, entonces x es un objeto de la Teora de Conjuntos. 2. Si x es un conjunto, entonces x es un objeto de la Teora de Conjuntos. 3. Los nicos objetos de la Teora de Conjuntos son los descritos en 1 y 2. La importancia de la Teora de Conjuntos radica en que a partir de ella se puede reconstruir toda la matemtica, salvo la Teora de Categoras.
Por ejemplo, con la Teora de Conjuntos se pueden definir los siguientes conceptos y probar todas sus propiedades: par ordenado, relacin, funcin, particin, orden, estructuras algebraicas, los naturales, los enteros, los racionales, los reales, los complejos, etc. Conceptos bsicos de la Teora de Conjuntos
Son dos los conceptos bsicos de la Teora de Conjuntos:
1. Conjunto: Coleccin de cualquier tipo de objetos considerada como un todo, una multiplicidad vista como unidad; entidad completa bien determinada. 2. Los objetos que forman al conjunto son nombrados elementos del conjunto o miembros del conjunto.
Por coleccin entenderemos a una agrupacin que est determinada por una propiedad enunciada por medio de un lenguaje preciso.
Todo conjunto es una coleccin de objetos, pero no toda coleccin de objetos es un conjunto. Esta afirmacin ser demostrada ms adelante.
U N I V E R S I D A D D E 16 A Q U I N O B O L I V I A
Relacin de Pertenencia: El ser elemento de es una relacin binaria o de dos argumentos entre dos objetos de la Teora de Conjuntos.
Esta relacin va de un objeto a otro, donde el segundo objeto es necesariamente un conjunto y el primero puede ser o no un conjunto.
Colecciones : Clases y Conjuntos
Como se mencion anteriormente, una coleccin est determinada por una propiedad P formulada en un lenguaje preciso. Una clase es una coleccin, cuyos objetos son los objetos de la Teora de Conjuntos que cumplen la propiedad P que caracteriza a la coleccin.
Las colecciones llamadas clases, son colecciones de objetos de la Teora de Conjuntos, y pueden ser o no conjuntos en el siguiente sentido: Todo conjunto es una clase, pero no toda clase es un conjunto. Proposicin
La clase de todos los objetos x tales que cumplen la propiedad "x no pertenece a x", no es un conjunto. Prueba
Supongamos que dicha clase s fuera un conjunto y llammosle R. Entonces:
1. Si R no pertenece a R, R cumple la propiedad que caracteriza a la clase y tenemos que R pertenece a R.
2. Si R pertenece a R, entonces R no cumple la propiedad que caracteriza a la clase y tenemos que R no pertenece a R.
As pues, hemos mostrado que: si R no pertenece a R, entonces R pertenece a R; y si R pertenece a R, entonces R no pertenece a R. Pero como R pertenece a R o R no pertenece
a R, entonces necesariamente se cumple que R pertenece a R y que R no pertenece a R, lo cual es absurdo.
En conclusin, no es posible que dicha clase sea un conjunto. Si una clase no es un conjunto le llamaremos clase no conjunto o clase propia, y no es un objeto de estudio de la Teora de Conjuntos. Por lo anterior, la clase de todos los objetos x tales que x no pertenece a x, es una clase propia. Y se le conoce a dicha proposicin como la Paradoja de Russell. El Conjunto Universo Local
En la Teora de Conjuntos, se tiene como referencia, explcita o implcitamente, un universo local; es decir, un marco de referencia dentro del cual se trabaja.
Este universo local o del discurso debe de ser un conjunto, quedando muy claro este concepto, ya que no se le debe confundir con la coleccin de todos los conjuntos, que es una coleccin que no es un conjunto, sino una clase propia; por lo tanto, aunque no existe el conjunto de todos los conjuntos, si existir en casi cada caso particular, un conjunto que tenga a todos los conjuntos de inters del discurso. Axioma de Separacin o de Comprensin
Si A es un conjunto cualquiera y P es una propiedad acerca de conjuntos, la coleccin de elementos de A que tienen la propiedad P, es un conjunto.
Ms precisamente, para toda propiedad P formulada en el lenguaje de la Teora de Conjuntos lo siguiente es cierto: Para todo conjunto A, existe un conjunto B cuyos elementos son exactamente los elementos z de A tales que z cumple la propiedad P.
Teorema
Para todo conjunto, hay un conjunto que no le pertenece.
U N
I V E R S I D A D
D E 18
Q U
I N O
O L
I V I A
Prueba
Sea A un conjunto cualquiera. Sea D el conjunto de las y que pertenecen al conjunto A, tales que cumplen la propiedad "y no pertenece a y".
De lo anterior, por el axioma de separacin, se sigue que D es un conjunto y que es subconjunto de A.
Se afirma que D no pertenece al conjunto A, pues suponiendo que D pertenece al conjunto A entonces se tiene que: 1. Si D no pertenece a D, entonces D pertenece a D, por cumplir la propiedad que caracteriza a D y por la suposicin de que D pertenece al conjunto A. 2. Si D pertenece a D, entonces D cumple la propiedad, por lo tanto, D no pertenece a D. Las dos conclusiones anteriores juntas, implican que D pertenece a D y que D no pertenece a D, y esto es absurdo. Por lo tanto, se tiene que D no pertenece al conjunto A. As pues, dado cualquier conjunto A, hay un conjunto D tal que D no pertenece al conjunto A.
Corolario
Ningn conjunto puede tener como elementos suyos, a todos los conjuntos
CUESTIONARIO
1. Cul cree que es la utilidad de los conjuntos? 2. Cual la funcin de los conjuntos y que objetivo tienen? 3. Por qu cree que se establece una clasificacin para los grafos? 4. Mencione la diferencia entre axioma, teorema, corolario? 5. Cul su conclusin de este Work paper?
U N
I V E R S I D A D
D E 19
Q U
I N O
O L
I V I A
WORK PAPER # 3
No. DE HOJAS : 7
ELABOR : Ing. Jaqueline Martnez Caldern TTULO DEL WORK PAPER : Grafos
CDIGO : MAT-201A
OBSERVACIONES: Carrera : Ingeniera de Sistemas, Asignatura : MATEMTICA DISCRETA, Unidad II, Tema 4 FECHA DE DIFUSIN :
FECHA DE ENTREGA :
U N
I V E R S I D A D
D E 20
Q U
I N O
O L
I V I A
GRAFOS
Desafortunadamente no existe una terminologa estandarizada en la teora de los grafos, por lo tanto es oportuno aclarar que las presentes definiciones pueden variar ligeramente entre diferentes publicaciones de estructura de datos y de teora de grafos, pero en general se puede decir que un grafo como indica su nombre lo indica es la representacin (para nuestro caso) grfica de los datos de una situacin particular. Los datos contienen, en algunos casos, relaciones entre ellos que no es necesariamente jerrquica. Por ejemplo, supongamos que unas lneas areas realizan vuelos entre las ciudades conectadas por lneas como se ve en la figura anterior (ms adelante se presentaran grafos con estructuras de datos); la estructura de datos que refleja esta relacin recibe el nombre de grafo. Se suelen usar muchos nombres al referirnos a los elementos de una estructura de datos. Algunos de ellos son "elemento", "tem", "asociacin de tems", "registro", "nodo" y "objeto". El nombre que se utiliza depende del tipo de estructura, el contexto en que usamos esa estructura y quien la utiliza. En la mayora de los textos de estructura de datos se utiliza el trmino "registro" al hacer referencia a archivos y "nodo" cuando se usan listas enlazadas, rboles y grafos. Tambin un grafo es una terna G = (V,A,j ), en donde V y A son conjuntos finitos, y j es una aplicacin que hace corresponder a cada elemento de A un par de elementos de V. Los elementos de V y de A se llaman, respectivamente, "vrtices" y "aristas" de G, y j asocia entonces a cada arista con sus dos vrtices. Esta definicin da lugar a una representacin grfica, en donde cada vrtice es un punto del plano, y cada arista es una lnea que une a sus dos vrtices. Aristas
Son las lneas con las que se unen las aristas de un grafo y con la que se construyen tambin caminos. Si la arista carece de direccin se denota indistintamente {a, b} o {b, a}, siendo a y b los vrtices que une. Si {a ,b} es una arista, a los vrtices a y b se les llama sus extremos.
U N
I V E R S I D A D
D E 21
Q U
I N O
O L
I V I A
Aristas Adyacentes: Se dice que dos aristas son adyacentes si convergen en el

mismo vrtice.
Aristas Paralelas: Se dice que dos aristas son paralelas si vrtice inicial y el
final son el mismo.
Aristas Cclicas: Arista que parte de un vrtice para entrar en el mismo. Cruce: Son dos aristas que cruzan en un punto.
Vrtices
Son los puntos o nodos con los que esta conformado un grafo. Llamaremos grado de un vrtice al nmero de aristas de las que es extremo. Se dice que un vrtice es `par' o `impar' segn lo sea su grado.
Vrtices Adyacentes: si tenemos un par de vrtices de un grafo (U, V) y si tenemos

una arista que los une, entonces U y V son vrtices adyacentes y se dice que U es el vrtice inicial y V el vrtice adyacente.
Vrtice Aislado: Es un vrtice de grado cero. Vrtice Terminal: Es un vrtice de grado 1.

Caminos
Sean x, y " V, se dice que hay un camino en G de x a y si existe una sucesin finita no vaca de aristas {x,v 1 }, {v 1 ,v 2 },..., {v n ,y}. En este caso
x e y se llaman los extremos del camino El nmero de aristas del camino se llama la longitud del camino. Si los vrtices no se repiten el camino se dice propio o simple. Si hay un camino no simple entre 2 vrtices, tambin habr un camino simple
entre ellos.
Cuando los dos extremos de un camino son iguales, el camino se llama circuito
o camino cerrado.
Llamaremos ciclo a un circuito simple Un vrtice a se dice accesible desde el vrtice b si existe un camino entre ellos.
Todo vrtice es accesible respecto a si mismo
U N
I V E R S I D A D
D E 22
Q U
I N O
O L
I V I A
Clasificacin de grafos
Los grafos se pueden clasificar en dos grupos: dirigidos y no dirigidos. En un grafo no dirigido el par de vrtices que representa un arco no est ordenado. Por lo tanto, los pares (v1, v2) y (v2, v1) representan el mismo arco. En un grafo dirigido cada arco est representado por un par ordenado de vrtices, de forma que y representan dos arcos diferentes.
Ejemplos
G1 = (V1, A1) V1 = {1, 2, 3, 4} A1 = {(1, 2), (1, 3), (1, 4), (2, 3), (2, 4), (3, 4)} G2 = (V2, A2) V2 = {1, 2, 3, 4, 5, 6} A2 = {(1, 2), (1, 3), (2, 4), (2, 5), (3, 6)} G3 = (V3, A3) V3 = {1, 2, 3} A3 = { <1, 2>, <2, 1>, <2, 3> }
Grficamente estas tres estructuras de vrtices y arcos se pueden representar de la siguiente manera:
Algunos de los principales tipos de grafos son los que se muestran a continuacin:
Grafo regular: Aquel con el mismo grado en todos los vrtices. Si ese grado es k lo
llamaremos k-regular. Por ejemplo, el primero de los siguientes grafos es 3-regular, el segundo es 2-regular y el tercero no es regular
Grafo bipartito: Es aquel con cuyos vrtices pueden formarse dos conjuntos disjuntos
de modo que no haya adyacencias entre vrtices pertenecientes al mismo conjunto Ejemplo.- de los dos grafos siguientes el primero es bipartito y el segundo no lo es
Grafo completo: Aquel con una arista entre cada par de vrtices. Un grafo completo
con n vrtices se denota K n .
A continuacin pueden verse los dibujos de K 3 , K 4 , K 5 y K 6
Un grafo bipartito regular: se denota K m,n donde m, n es el grado de cada conjunto

disjunto de vrtices. A continuacin ponemos los dibujos de K 1,2 , K 3,3, y K 2,5
Grafo nulo: Se dice que un grafo es nulo cuando los vrtices que lo componen no
estn conectados, esto es, que son vrtices aislados.
Grafos Isomorfos: Dos grafos son isomorfos cuando existe una correspondencia
biunvoca (uno a uno), entre sus vrtices de tal forma que dos de estos quedan unidos por una arista en comn.
Grafos Platnicos: Son los Grafos formados por los vrtices y aristas de los
cinco slidos regulares (Slidos Platnicos), a saber, el tetraedro, el cubo, el octaedro, el dodecaedro y el icosaedro.
U N
I V E R S I D A D
D E 24
Q U
I N O
O L
I V I A
Grafos Eulerianos
Para definir un camino euleriano es importante definir un camino euleriano primero. Un camino euleriano se define de la manera ms sencilla como un camino que contiene todos los arcos del grafo. Teniendo esto definido podemos hablar de los grafos eulerianos describindolos simplemente como aquel grafo que contiene un camino euleriano. Como ejemplos tenemos las siguientes imgenes: El primer grafo de ellos no contiene caminos eulerianos mientras el segundo contiene al menos uno. Grafos Conexos.
Un grafo se puede definir como conexo si cualquier vrtice V pertenece al conjunto de vrtices y es alcanzable por algn otro. Otra definicin que dejara esto ms claro sera: un grafo conexo es un grafo no dirigido de modo que para cualquier par de nodos existe al menos un camino que los une.
U N
I V E R S I D A D
D E 25
Q U
I N O
O L
I V I A
CUESTIONARIO
6. Cul cree que es la utilidad de los grafos? 7. Cual la funcin de los elementos de los grafos y que objetivo tienen? 8. Por qu cree que se establece una clasificacin para los grafos? 9. Mencione en que reas se podra aplicar los grafos? 10. Cul su conclusin de este Work paper?
U N
I V E R S I D A D
D E 26
Q U
I N O
O L
I V I A
WORK PAPER # 4
No. DE HOJAS : 16
ELABOR : Ing. Jaqueline Martnez Caldern TTULO DEL WORK PAPER : rboles
CDIGO : MAT-201A
OBSERVACIONES: Carrera : Ingeniera de Sistemas, Asignatura : MATEMTICA DISCRETA, Unidad II, Tema 4, Unidad IV, Tema 5 FECHA DE DIFUSIN :
FECHA DE ENTREGA :
U N
I V E R S I D A D
D E 27
Q U
I N O
O L
I V I A
RBOLES
Introduccin
En el presente trabajo trata de dar una visin ms cercana sobre todas las actividades que se toman en cuenta para el desarrollo de un sistema de informacin. Para lograr este fin se deben de tomar en cuenta varios aspectos que son muy esenciales para que el sistema que se vaya a realizar estas tcnicas son los hallazgos de los hechos utilizar varias tcnicas para recopilar informacin ya sea basndose en preguntas en encuestas o cuestionarios y tambin por la observacin. No solamente se emplea esa tcnica, otra forma de ver la forma de elaborar un sistema es el anlisis ya sea de manuales, de reportes, de guas, de reglamentos, de diccionario de campos, etc. La utilizacin de rboles y tablas de decisin ayuda a observar las condiciones y acciones que producir el proceso de la creacin de un nuevo sistema. Un aspecto que tambin se toma en cuenta es el flujo de datos, es decir, hay que examinar de donde viene, hacia donde se dirigen y donde se almacenan los datos. Hallazgos de los hechos
Los analistas utilizan mtodos especficos, tcnicas para encontrar hechos, con el objeto de reunir datos relacionados con los requerimientos. Entre stos se incluyen la entrevista, el cuestionario, la revisin de los registros (en el sitio donde se encuentran estos) y la observacin. En general los analistas emplean ms de una de estas tcnicas para estar seguros de llevar a cabo una investigacin amplia y exacta. Entrevista
Los analistas emplean una entrevista para reunir informacin proveniente de personas o de grupos. Por lo comn, los entrevistados son usuarios de los sistemas existentes o usuarios en potencia del sistema propuesto. En algunos casos, los entrevistados son gerentes o empleados que proporcionan los datos para el sistema propuesto por qu sern afectados por l. Aunque algunos analistas prefieren la entrevista sobre otras tcnicas, esta no siempre
es la mejor fuente de datos sobre la aplicacin. Dado que la entrevista requiere de tiempo, es necesario utilizar otros mtodos para obtener la informacin necesaria para conducir una investigacin. Entrevista estructurada
Ventajas
Asegura trminos uniformes en las preguntas para todo los entrevistados. Fcil de administrar y evaluar. Evaluacin ms objetiva de las preguntas y respuestas por parte en de los que participan
en entrevista.
Se necesita un entrenamiento limitado por parte del entrevistador. Se obtiene resultados con entrevistas cortas.
Desventajas
El costo de la preparacin es alto. Es posible que los entrevistados no acepten un alto nivel en la estructura y planteamiento
mecnico de las preguntas.

El alto nivel de la estructura quiz no sea el ms adecuado para todas las situaciones. El alto nivel de la estructura disminuye la espontaneidad como la habilidad del
entrevistador para seguir con los comentarios durante la entrevista.
Entrevista no estructurada
Ventajas
Las entrevistas dan a los analistas de oportunidades para reunir informacin de las personas que han seleccionado debido a sus conocimientos del sistema que est bajo estudio. A menudo este mtodo es la mejor fuente de informacin cualitativa, otros mtodos para recolectar hechos son ms tiles para recoger datos cuantitativos. La entrevista puede clasificarse como estructurada y no estructurada. Las entrevistas no estructuradas utilizan un formato pregunta- respuesta que es apropiada cuando el analista
desea adquirir informacin general acerca del sistema. Este formato anima a los entrevistados a compartir sus sentimientos, ideas y creencias. Las entrevistas estructuradas utilizan preguntas estndar en un formato de respuesta abierta o cerrada. El primero permite que el entrevistado de respuesta a las preguntas con sus propias palabras; el otro utiliza un conjunto anticipado de respuestas. El xito de una entrevista depende de la habilidad del entrevistador y de su preparacin para la misma. Los analistas necesitan ser sensibles a las dificultades que algunos entrevistados crean durante la entrevista sino tambin su significado. Cuestionarios
Esta tcnica permite los analistas reunir informacin proveniente relacionada con varios aspectos de un sistema de un grupo grande de personas. El empleo de formatos estandarizados para las preguntas puede proporcionar datos ms confiables que otras tcnicas; por otra parte, su amplia distribucin asegura el anonimato de los encuestados, situacin que puede conducir a respuestas ms honestas. Sin embargo, este mtodo no permita al analista observar las expresiones correcciones de los encuestados. As misma, la respuesta puede ser limitada ya que es posible que no tenga mucha importancia para los encuestados llenar el cuestionario. El alto costo asociado con el desarrollo y distribucin de cuestionarios demanda del analista la consideracin cuidadosa del objetivo de estos as como de la estructura que ser ms til para el estudio y ms fcil de entender para los encuestados. As mismo, es necesario realizar pruebas con el cuestionario y, si es necesario, modificarlos antes de su impresin y distribucin. Revisin de registro
Varios tipos de reportes y de registros pueden proporcionar al analista informacin valiosa con respecto a las organizaciones y a sus operaciones. Al revisar los registros, el analista examina la informacin asentada en ellos relacionada con el sistema y los usuarios. La revisin puede efectuarse el comienzo del estudio, como introduccin o despus, esto sirve para comparar las operaciones actuales, por lo tanto los registros pueden indicar que est sucediendo.
U N
I V E R S I D A D
D E 30
Q U
I N O
O L
I V I A
Los registros incluyen manuales de polticas, reglamentos y procedimientos estndares de operacin utilizados por la mayor parte de las organizaciones como guas. Los registros no indican la forma en la que se desarrollan las actividades, donde se encuentra todo el poder en la toma de decisiones, o como se realizan todas las tareas. Observacin
Este mtodo de recopilacin de formacin permite al analista ganar informacin que no se puede obtener por otras tcnicas. Por medio de la observacin se obtienen formacin de primera mano sobre la forma en que se efectan las actividades, este mtodo es ms til para ver la forma en que se maneja los documentos y se llevan acab los procesos y si se siguen todo los pasos especificados. Anlisis estructurado
Esta fase es donde el analista que examina una situacin en forma independiente sin lineamientos o herramientas o tcnicas, recopilan informacin para describir el sistema. El objetivo del anlisis estructurado es el de organizar las tareas asociadas con la determinacin de requerimientos para obtener la comprensin exacta de una situacin dada. Para el anlisis estructurado se utilizan varios componentes para la observacin y obtener datos importantes para el desarrollo del sistema, como lo puede ser el examinar smbolos grficos, diccionarios de datos, descripcin de procesos y procedimientos y las reglas. Herramientas para documentar procesos y decisiones
Seguir procedimientos y tomar decisiones son muy importantes en cualquier empresa, sin embargo, las decisiones y procedimientos son de importancia para el analista cuando ste conduce una investigacin de sistemas dentro de una empresa. Una herramienta es cualquier dispositivo, objeto u operacin utilizada para ejecutar una tarea especfica. El analista de sistemas depende de las herramientas para realizar su trabajo de la misma manera que otras personas de sus actividades cotidianas. Es importante conocer que herramientas existen, pero ms an saber utilizarlas adecuadamente. Cuando se analizan procedimientos y decisiones que el primer paso es identificar condiciones y acciones, conceptos comunes a todas las de actividades.
Condiciones y variables de decisin
Cuando se observa un sistema y se pregunta por las condiciones, un ejemplo de condiciones es "bueno" y "malo", sin embargo, las condiciones cambian y por esto el analista que se refiere a ellas como variables de decisin. Al documentar la decisin el investigador de identificar tanto las condiciones permisibles como las relevantes que pueden presentarse en determinada situacin. Slo deben incluirse en el estudio aquellas condiciones que son relevantes. Tener diferentes formas de decir la misma cosa puede crear dificultades de comunicacin durante los estudios de sistemas. Por consiguiente, el analista busca evitar los ms las interpretaciones. Asimismo, necesita organizar la informacin recopilada con respecto a la toma de decisiones y evita dificultades en la comunicacin.
rboles de decisin
Caractersticas de los rboles de decisin
El rbol de decisin es un diagrama que representan en forma secuencial condiciones y acciones; muestra qu condiciones se consideran en primer lugar, en segundo lugar y as sucesivamente. Este mtodo permite mostrar la relacin que existe entre cada condicin y el grupo de acciones permisibles asociado con ella. La raz del rbol, aparece en la parte izquierda del diagrama y est es el punto donde comienza la secuencia de decisin. La rama a seguir depende de las condiciones existentes y de la decisin que debe tomarse. Al avanzar de izquierda a derecha por una rama particular, se entiende una serie de toma de decisiones. Despus de cada punto de decisin, se encuentra el siguiente conjunto de decisiones a considerar. De tal forma que los nodos del rbol representan condiciones y sealan la necesidad de tomar una determinacin relacionada con la existencia de alguna de estas, antes de seleccionar la siguiente trayectoria. La parte que se encuentra en la parte derecha del rbol indican las acciones que deben realizarse, las que su vez dependen de la secuencia de condiciones que les preceden. Us de rboles decisiones
U N
I V E R S I D A D
D E 32
Q U
I N O
O L
I V I A
El desarrollo de rboles de decisin beneficiado analista en dos formas. Primero que todo, la necesidad de describir condiciones y acciones llevan a los analistas a identificar de manera formal las decisiones que actualmente deben tomarse. De esta forma, es difcil para ellos pasar por alto cualquier etapa del proceso de decisin, sin importar que este dependa de variables cuantitativas o cualitativas. Los rboles tambin obligan a los analistas a considerar la consecuencia de las decisiones. Se ha demostrado que los rboles de decisin son eficaces cuando es necesario describir problemas con ms de una dimensin o condicin. Tambin son tiles para identificar los requerimientos de datos crticos que rodean al proceso de decisin, es decir, los rboles indican los conjuntos de datos que la gerencia requiere para formular decisiones o tomar acciones. El analista debe identificar y elaborar una lista de todos los datos utilizados en el proceso de decisin, aunque el rbol de decisin no muestra todo los datos. Si los rboles de decisin se construyen despus de completar el anlisis de flujo de datos, entonces es posible que los datos crticos se encuentren definidos en el diccionario de datos (el cual describe los datos utilizados por el sistema y donde se emplean). Si nicamente se usan rboles de decisiones, entonces el analista debe tener la certeza de identificar con precisin cada dato necesario para tomar la decisin. Los rboles de decisin no siempre son la mejor herramienta para el anlisis de decisiones. El rbol de decisiones de un sistema complejo con muchas secuencias de pasos y combinaciones de condiciones puede tener un tamao considerable. El gran nmero de ramas que pertenecen a varias trayectorias constituye ms un problema que una ayuda para el anlisis. En estos casos los analistas corren el riesgo de no determinar qu polticas o estrategias de la empresa son la gua para la toma de decisiones especficas. Cuando aparecen estos problemas, entonces es momento de considerar las tablas de decisin. Tablas de decisin
La tabla de decisin es una matriz de renglones y columnas que indican condiciones y acciones. Las reglas de decisiones, incluidas en una tabla de decisin establecen el procedimiento a seguir cuando existen ciertas condiciones. Este mtodo se emplea desde mediados de la dcada de los 50, cuando fue desarrollado por General Electric para el anlisis de funciones de la empresa como control de inventarios, anlisis de ventas, anlisis de crditos y control de transporte y rutas.
U N
I V E R S I D A D
D E 33
Q U
I N O
O L
I V I A
Caractersticas de las tablas de decisin
Las tablas estn integradas por cuatro secciones: identificacin de condiciones, entradas de condiciones, identificacin de acciones y entrada de acciones. La identificacin de condiciones seala aquellas que son relevantes. La entrada de condiciones indican qu valor, as es que lo hay, se debe asociar para una determinada condicin. La identificacin de acciones enlista el conjunto de todos los pasos que se deben segua cuando se presenta cierta condicin. La entrada de acciones muestra las acciones especficas del conjunto que deben emprenderse cuando ciertas condiciones o combinaciones de estas son verdaderas. Las columnas de lado derecho de la tabla enlazan condiciones y acciones, forman reglas de decisin que establecen las condiciones que debe satisfacerse para emprender un determinado conjunto de acciones. El orden de la secuencia se omite, cosa que no sucede con los rboles de decisin. La regla de decisin incorpora todas las condiciones que deben ser ciertas y no slo una a la vez.
Como construir tablas de decisin
Para desarrollar tablas de decisin, los analistas deben emprender los siguientes pasos: 1. Determinar los factores considerados como ms relevantes en la toma de decisiones. Esto permite identificar las condiciones en la decisin. Cada condicin seleccionada de detener la caracterstica de ocurrir quo no ocurrir; en este caso no es posible la ocurrencia parcial. 2. Determinar los pasos o actividades ms factibles bajo condiciones que cambian (no slo las condiciones actuales). Esto permite identificar las acciones. 3. Estudiar las diferentes posibilidades de combinaciones de condiciones. Para cualquier nmero N condiciones, existen 2n combinaciones a considerar, por ejemplo para tres condiciones es necesario examinar ocho posibles combinaciones 23= 8. 4. Llenar la tabla con reglas de decisiones. Existen dos formas para hacerlo. La primera, escenario los renglones de condicin con valores s o no para cada combinacin posible de condiciones. Esto es llenar la primera mitad del rengln consigo y la otra mitad con no. El siguiente rengln se llena alternando con S y N, repitindose este proceso hasta llenar la tabla.
U N
I V E R S I D A D
D E 34
Q U
I N O
O L
I V I A
El otro mtodo para llenar la tabla considera una condicin a la vez y, por cada condicin adicional, la aade a la tabla pero sin considerar las combinaciones de condiciones y acciones duplicadas. Establece la primera condicin y todas las acciones permisibles. Aadir la segunda condicin duplicando la primera mitad de la matriz y llenando los diferentes valores S y N de las dos mitades de la matriz aumentada con las nuevas condiciones. Para cada condicin adicional repite el paso b.
5. Marcar las entradas correspondientes a las acciones con una X para indicar que stas se emprenden; dejar las celdas vacas o marcadas con un guin para sealar que en ese rengln no emprende ninguna accin. 6. Examinar la tabla para detectar reglas redundantes o contradicciones entre estas. Estos sencillos lineamientos no slo ahorran tiempo al construir una tabla de decisiones a partir de informacin recopilada durante la investigacin sino que tambin es de ayuda para sealar donde falta informacin, donde no importan las condiciones en un proceso, o donde existen relaciones o resultados importantes que otros no detectaron o consideraron. En otras palabras, el empleo de las tablas de decisin produce un anlisis ms completo y exacto. Verificacin de tablas de decisin
Despus de construir una tabla, los analistas verifican que sea correcta y completa con la finalidad de asegurar que la tabla incluye todas las condiciones junto con las reglas de decisin que las relacionan con las acciones. Asimismo, los analistas tambin deben examinar la tabla para encontrar redundancias y contradicciones. Eliminacin de la redundancia. Las tablas de decisin pueden volverse muy grandes y difciles de manejar si se permite que crezcan sin ningn control. Remover las entradas redundantes puede ser de ayuda para manejar el tamao de la tabla. La redundancia se presenta cuando las siguientes condiciones son verdaderas al mismo tiempo: 1) dos reglas de decisin son idnticas salvo para una condicin del rengln y 2) las acciones para las dos reglas son idnticas. Supresin de contradicciones. Las reglas de decisin son contradictorias entre s cuando dos o ms reglas tienen el mismo conjunto de condiciones pero sus acciones son diferentes. Las contradicciones indican que la informacin que tiene el analista es incorrecta o bien que existe un error en la construccin de la tabla. Sin embargo, muchas veces la contradiccin es
resultado de las discrepancias en la informacin que recibe el analista de diferentes personas con respecto a la forma en que estas toman decisiones. Se puede tomar una decisin especfica utilizando diferentes reglas. Encontrar tales discrepancias puede ser de gran utilidad para el analista que trabaja con la finalidad de mejorar una situacin de decisin. En las tablas de decisiones se manejan varios tipos que a continuacin se describirn:
Forma de entrada limitada:
La estructura bsica de una tabla consiste en S, N y entradas en blanco, es una forma de entrada limitada. Este es uno de los formatos ms comunes. Existen otros dos que tambin se usan o se emplean de manera limitada. Forma de entrada extendida:
En esta forma se remplazan las S y N con acciones que indican al lector cmo decidir. En este formato los identificadores de condicin y accin no estn completos y es la razn por la que las entradas contienen ms detalles que una S y N. Muchas personas favorecen este formato sobre el mtodo de entradas limitadas porque es mas explicito para sealar las acciones.
Forma de entrada mixta:
En ocasiones el analista prefiere combinar en la misma tabla las caractersticas de los dos mtodos anteriores. En general debe utilizarse una sola forma en cada seccin de la tabla, pero entre las secciones de condiciones y acciones se pueden de cualquier forma. Forma else:
Esta es una variante en las tablas de decisin esta tiene como finalidad omitir la recepcin por medio de reglas ELSE. Para construir una tabla de decisiones en la forma ELSE, se especifican las reglas junto con las entradas de condicin, que cubren todo el conjunto de acciones con excepcin de una que se convierte en la regla a seguir cuando ninguna de las dems condiciones explicitas es verdadera. Esta regla se encuentra en la columna final en el
margen derecho, que es columna ELSE si ninguna de las otras condiciones es valida, se siguen las reglas de condicin ELSE. Esta regla elimina la necesidad de repetir condiciones que conducen a las mismas acciones. Tablas mltiples:
La forma ELSE es una alternativa para controlar el tamao de las tablas de decisin. Otra manera de alcanzar este mismo objetivo es alcanzando varias tablas de decisin. De acuerdo con la s acciones seleccionadas en la primera tabla, otras se explican en otras tablas adicionales; cada tabla proporciona mayores detalles relacionados con las acciones y emprender. Tambin permiten al analista establecer acciones repetitivas que deben realizarse despus de tomar las decisiones y que continan hasta que se alcanzan determinadas condiciones. Las tablas se alcanzan en forma jerrquica: una tabla de nivel-alto contiene las condiciones principales que, cuando son seleccionadas, determinan las tablas y acciones adicionales donde se encuentran otros detalles. Una declaracin de transferencia, como GO TO o PERFORM, en la seccin e acciones de la tabla de control (nivel superior) dirige el recorrido hacia tablas de niveles inferiores. Existen dos tipos de transferencias: Transferencia directa:
Se emplea una sola vez; la tabla que es seleccionada de esta manera no vuelve a referirse a la tabla original. La proposicin "GO TO" indica cual es la siguiente tabla que se va a examinar. Cuando se termina de examinar las condiciones decisiones y acciones especificadas en esa tabla y se selecciona la apropiada para completar el trabajo. Transferencia temporal:
En contraste con la anterior se debe de enlazar por medio de la proposicin PERFORM al final de la tabla y con la proposicin RETURN regresa de nuevo el control a la proposicin que sigue al GO TO en la anterior. Procesadores de las tablas de decisin:
Las tablas de decisin han sido automatizadas. Los procesadores de tablas de decisiones son programas para computadora que manejan la formulacin actual de una tabla con base en la informacin de entrada proporcionada por el analista. Estos procesadores tambin aprenden las verificaciones necesarias para detectar inconsistencias y redundancias. Algunos convierten el conjunto de decisiones en instrucciones para programa de computadora. Estrategias de flujo de datos
Para empezar con este tema se debe saber que es un anlisis de flujo de datos: Para nosotros primero debemos saber las respuestas a cuatro preguntas: Qu procesos integran el sistema? Qu datos emplean cada proceso? Qu datos son almacenados? Qu datos ingresan y abandonan el sistema? Estas preguntas se pueden contestar gracias al anlisis de datos Los datos son la gua de las actividades de al empresa. Ellos pueden iniciar eventos y ser procesados para dar informacin til al personal que desea saber que tan bien se han manejado los eventos. El analista en sistemas en especial conoce el papel central que tienen los datos de la empresa en las organizaciones. Seguir el flujo de datos por todos los procesos de la empresa, que es la finalidad del anlisis de flujo de datos, lo cual les dice mucho a los analistas sobre como se alcanzan los objetivos de las organizaciones. El anlisis de flujo de datos estudia el empleo de los datos en cada actividad. Documenta los hallazgos con diagramas de flujos de datos que muestran en forma grafica la relacin entre procesos y datos y en los diccionarios de datos que describen de manera formal los datos del sistema y los sitios donde son utilizados.
Caractersticas de la estrategia de flujo de datos
Examina el empleo de los datos para llevar a cabo procesos especficos de la empresa dentro del mbito de una investigacin de sistemas. El anlisis puede pensarse de tal manera que se estudien actividades del sistema desde el punto de vista de los datos; donde
se originan, como se utilizan o cambian, hacia donde van, incluyendo las paradas a lo largo del camino que se siguen desde su origen hasta su destino. Herramientas de la estrategia del flujo de datos
La estrategia de flujo de datos muestra el empleo de estos en forma grafica. Las herramientas utilizadas para seguir esta estrategia muestran todas las caractersticas esenciales del sistema y la forma en que se ajustan entre s. Puede ser difcil comprender en su totalidad un proceso de la empresa si se emplea por ello solo una descripcin verbal; las herramientas para el flujo de datos ayudan a ilustrar los componentes esenciales de un sistema junto con sus interacciones. El anlisis de flujo de datos utilizan las siguientes herramientas: Diagrama de flujo de datos:
Una herramienta grafica se emplea para describir y analizar el movimiento de datos a travs de un sistema. Ya sea manual o automatizada, incluyendo procesos, lugares para almacenar datos y retrasos en el sistema. Los diagramas de flujo son las ms importantes herramientas y la base sobre la cual se desarrollan otros componentes. La transformacin de datos de entrada en salida por medio de procesos puede describirse en forma lgica e independiente en los componentes fsicos (computadoras unidades de disco etc.)Asociadas con el sistema. Estos diagramas reciben el nombre de "diagramas lgicos de flujo de datos. Estos muestran la implantacin y movimiento real de datos entre las personas, departamentos y estaciones de trabajo. Diccionario de datos:
El diccionario contiene las caractersticas lgicas de los sitios donde son almacenados los datos del sistema, incluyendo nombre, descripcin, alias, contenidos y organizacin. Tambin identifican los procesos donde se emplean los datos y los sitios donde se necesitan el acceso inmediato a la informacin. Sirve como punto de partida para identificar los requerimientos de las bases de datos durante el diseo del sistema.
U N
I V E R S I D A D
D E 39
Q U
I N O
O L
I V I A
Diagrama de estructura de datos:
Es una descripcin de la relacin entre entidades, personas, lugares, etc. De un sistema y el conjunto de informacin relacionado con la entidad. No considera el almacenamiento fsico de datos.
Grfica de estructura:
Herramienta de diseo que muestra con smbolos la relacin entre los mdulos del procesamiento y el software de las computadoras. Describen la jerarqua de los mdulos componentes y los datos que sern transmitidos entre ellos. Incluyen anlisis de las transformaciones entrada-salida y el anlisis de transacciones.
Herramientas para flujos de datos: mas halla del anlisis
El mtodo de desarrollo para anlisis estructurado a menudo se interpreta como til solo para la parte de anlisis de sistemas de la actividad de desarrollo. Algunos analistas lo emplean solo de esta manera pero su uso no se limita necesariamente a estas fases. El nombre es tal vez un poco afortunado ya que sugiere solo el anlisis de sistema. Sin embargo, las herramientas que forman parte del mtodo proporcionan la base para soportar todo el proceso de desarrollo. Dado que la gran parte del trabajo de desarrollo de una aplicacin se centra sobre el manejo adecuado de los datos, el diccionario de datos y las graficas estructuradas de datos se convierten en herramientas muy importantes. Notacin
Los mtodos para el anlisis de flujo de datos fueron desarrollados y promovidos al mismo tiempo por dos organizaciones. Los diagramas lgicos de flujos de datos se pueden dibujar con solo cuatro notaciones sencillas. Es decir con smbolos especiales o iconos y anotaciones que los asocian con un sistema especifico:
U N
I V E R S I D A D
D E 40
Q U
I N O
O L
I V I A
1. El flujo de datos: movimiento de datos en determinada direccin desde un origen hacia un destino en forma de documentos, cartas, llamadas telefnicas o virtuales por cualquier otro medio. 2. Procesos: personas, procedimientos, o dispositivos que utilizan o producen (transforman) datos. No se identifica el componente fsico. 3. Fuente o destino de los datos: fuentes o destinos externos de datos que pueden ser personas, preguntas, organizaciones u otras entidades que interactan con el sistema pero se encuentran fuera de su frontera. Los trminos fuente y poza son intercambiables con origen y destino. 4. Almacenamiento de datos: en el lugar donde se guardan los datos o a los que hacen referencia los procesos en el sistema. El almacenamiento de datos puede representar dispositivos tanto computarizados como no computarizados.
Cada componente de un diagrama de flujo de datos tiene una etiqueta con un nombre descriptivo. Los nombres de los procesos tambin reciben un nmero que es utilizado con fines de identificacin. l numera asignado a cada proceso no tiene que ver con la secuencia de procesos. Sirve estrictamente para la identificacin y tiene un valor adicional cuando se estudian los componentes que integran unos procesos especficos. Ventajas del anlisis de flujo de datos:
Los usuarios y otras personas de la empresa que forman parte del proceso bajo estudio comprenden con facilidad anotaciones sencillas. Por consiguiente, los anlisis pueden trabajar con los usuarios y lograr que participen en el estudio de los diagramas de flujo de datos. Los usuarios pueden hacer sugerencias para modificar los diagramas con la finalidad de describir la actividad con mayor exactitud. Asimismo pueden examinar las graficas y reconocer con rapidez los problemas; esto permite efectuar las correcciones necesarias antes que comiencen otras tareas relacionadas con el diseo. Si los problemas no son detectados en la primera fase del proceso de desarrollo, entonces ser difcil corregirlos cuando aparezcan mas adelante. Una extensa investigacin de sistemas produce muchos conjuntos de diagramas de flujos de datos. Algunos brindan panoramas de procesos importantes mientras que otros nos muestren con bastante detalle elementos dato, almacenes de datos y pasos de procesamiento para componentes especficos de un sistema grande. Si los analistas desean
revisar todo el sistema primero utilizan los diagramas de alto nivel, aquellos que muestren la visin panormica de todo el sistema. Pero sientan interesados
CUESTIONARIO
1. Cul cree que es la utilidad de los rboles en la programacin y la relacin con los Sistemas de informacin? 2. Cual la funcin de la entrevista, cuando y donde se utiliza? 3. Cul el uso de las tablas de decisin? 4. Qu es un diagrama de estructura de datos y cual su aplicacin? 5. Cul su conclusin de este Work paper?
U N
I V E R S I D A D
D E 42
Q U
I N O
O L
I V I A
PROGRAMA DE CALIDAD UDABOL DIF 001
FUNCIN MATEMTICA
En Matemticas, una funcin o aplicacin del conjunto A en el conjunto B asocia a cada uno de los elementos de A un elemento, y solo uno, de B. Desde un punto de vista formal, se dice que f es una funcin o aplicacin de A en B y se denota
y satisface: 1. 2. Si
Esto significa que a cada elemento a de A, le corresponde por f un elemento b, y slo uno, de B, al que se denomina imagen de a por f y que se denota . en vez de
En algunos textos de matemtica se reserva la palabra funcin para el caso en que el conjunto B es un conjunto numrico y se utiliza aplicacin para el caso ms general de conjuntos cualesquiera. Esta distincin no est generalizada y se trata, en todo caso, de una distincin informal y de uso discrecional. Se suele usar la notacin
Dominio, conjunto de llegada y conjunto imagen
El dominio de una funcin es el conjunto de existencia de la misma, o sea los valores para los cuales la funcin est definida. Entonces, el dominio de una funcin f es el conjunto de todos los objetos que puede transformar. Se denota Dom f o Df.
U N
I V E R S I D A D
D E 43
Q U
I N O
O L
I V I A
Obsrvese que la condicin de existencia de la definicin de funcin garantiza que, si es una funcin, entonces D f = A
El codominio de una funcin
es el conjunto
Obsrvese que algunos elementos del codominio pueden no ser imagen de ningn elemento del dominio. Puede haber algn
tal que
El conjunto imagen, tambin llamado recorrido o rango, est formado por los valores que alcanza la funcin. Entonces, la imagen de una funcin f es el conjunto de todos los valores que toma la variable dependiente. Se denota Im f o If.
Por ejemplo, la funcin f(x) = x + 1 tiene como dominio e imagen todos los nmeros reales, pero una funcin g(x) = x, si bien tendr como dominio a todos los reales, slo tendr como imagen los valores comprendidos entre 0 y + que sean el cuadrado de un nmero real (de hecho, todos lo son).
Siempre es posible restringir tanto el conjunto dominio e imagen de una funcin con un propsito determinado. Por ejemplo, si se quiere restringir f(x) = x para que sea biyectiva, es posible tomar una sola de las ramas de modo que el dominio restringido y el conjunto imagen tomen valores del intervalo [0,+).
Cantidad de variables El dominio y la imagen pueden tener una nica variable, o bien varias. De acuerdo a dichas cantidades se le pueden dar diferentes nombres a la funcin

es una funcin escalar es un campo escalar es una funcin vectorial es un campo vectorial
Se debe notar que la presencia de varias variables no afecta los criterios ya definidos sobre lo que es una funcin y lo que es slo una Relacin matemtica. Dado un (a,b) puede ocurrir que a = b, pero el elemento que pertenece al dominio y que debe tener una y slo una imagen es (a,b), no a o b en forma individual.
U N
I V E R S I D A D
D E 44
Q U
I N O
O L
I V I A
Conceptos para funciones de valor real Para funciones
tenemos:
Conjunto de ceros: Es el conjunto de puntos pertenecientes al dominio de la funcin para los cuales dicha funcin vale cero.
Conjunto de negatividad: Es el conjunto de puntos pertenecientes al dominio de la funcin para los cuales dicha funcin toma valores negativos.
Conjunto de positividad: Es el conjunto de puntos pertenecientes al dominio de la funcin para los cuales dicha funcin toma valores positivos.
Funciones inyectivas, sobreyectivas y biyectivas
Funcin inyectiva: Si cada elemento del conjunto imagen es imagen de un nico elemento del dominio. ; o lo que es es lo inyectiva mismo:
Funcin sobreyectiva:
es sobreyectiva si el conjunto imagen coincide es sobreyectiva
con el conjunto B (conjunto de llegada o codominio).
Funcin biyectiva:
es biyectiva si
es inyectiva y sobreyectiva.
U N
I V E R S I D A D
D E 45
Q U
I N O
O L
I V I A
Sobreyectiva, no inyectiva
Inyectiva, no sobreyectiva
Biyectiva
No sobreyectiva, no inyectiva
lgebra de las funciones Composicin de funciones
Dadas dos funciones
tales que la imagen de
est contenida en
el dominio de , se define la funcin composicin , para todos los elementos de .
como el conjunto de pares
Dado
conocemos
U N
, puesto que conocemos la funcin

I V E R S I D A D D E 46 A Q U I N O B
, y dado cualquier
O L I V I A
elemento tanto,
de
conocemos tambin
, puesto que conocemos la funcin . Por cumple la condicin de
est definido para todo x. Luego
existencia que se exige a las funciones.
Tambin cumple la condicin de unicidad, dado que para cada para cada tambin lo es el de
el valor de
es nico, y
, por ser y funciones.
La composicin de funciones es asociativa:
Sin embargo, en general, la composicin de funciones no es conmutativa. Dadas y elementos de , , en tanto que puede no tener ni siquiera sentido, porque est definida en el dominio devuelve
. Pero incluso en los casos
en que dominios y codominios son compatibles (o son el mismo conjunto), nada garantiza que la composicin de funciones sea conmutativa. Por ejemplo, con funciones numricas y , , en tanto que
Funcin identidad Dado un conjunto , la funcin que asigna a cada de el mismo de
se denomina funcin identidad o funcin unitaria.
Dada cualquier funcin
, es claro que , puesto que para todo
es igual a
y que y
es tambin igual a tambin
U N
I V E R S I D A D
D E 47
Q U
I N O
O L
I V I A
Funcin inversa Dada una funcin , se denomina funcin inversa o funcin recproca de ,
a la funcin que cumple la siguiente condicin:
Si existe una funcin que cumpla esas dos condiciones, ser inversa por la izquierda y ser inversa por la derecha, se demuestra que esa funcin es nica. Eso justifica la notacin que sera ambigua si pudiera haber dos inversas de la misma funcin. ,
Slo algunas funciones tienen inversa. De hecho, la condicin necesaria y suficiente para la existencia de

es que sea biyectiva. Por tanto, las afirmaciones
Existe funcin inversa de y es biyectiva
son lgicamente equivalentes.
El grupo de las funciones biyectivas Considerando todas las funciones biyectivas anterior pueden resumirse en: 1. Dadas tres funciones la operacin de composicin es asociativa: , las conclusiones del apartado
2.
tal que
tenemos
3.
tal que
U N
I V E R S I D A D
D E 48
Q U
I N O
O L
I V I A
Estas tres condiciones determinan un grupo. El conjunto de las funciones biyectivas es un grupo con respecto a la operacin de composicin de funciones y recibe el nombre de grupo simtrico de .
Funciones reales de variable real Los anteriores apartados se han referido a funciones entre conjuntos cualesquiera. Las funciones entre conjuntos de nmeros, y particularmente las funciones , o
funciones reales de variable real son particularmente relevantes por la diversidad de sus aplicaciones prcticas y por sus particulares propiedades matemticas. En algunos textos se reserva para las funciones entre conjuntos de nmeros el trmino funcin mientras que a las funciones entre conjuntos cualesquiera se las denomina aplicaciones. A continuacin se detallan algunas propiedades y definiciones de inters referidas a las funciones definidas o entre conjuntos de nmeros ( ).
Funciones reales y funciones discretas
Si el dominio de una funcin es un intervalo de la recta real la funcin se denominar real. En cambio, si la funcin est definida para los nmeros enteros se denominar funcin discreta. Un ejemplo de una funcin discreta son las sucesiones.
Funciones acotadas
Una funcin se denomina acotada si su conjunto imagen est acotado, por ejemplo: f(x) = sen(x) y g(x) = cos(x) tienen por conjunto imagen el intervalo [-1,1]. Si su conjunto imagen est acotado slo superior o inferiormente, se dice que la funcin est acotada superior o inferiormente, respectivamente. Por ejemplo, f(x)=|x| tiene por conjunto imagen , por lo que est acotada inferiormente.
Funciones pares e impares Se dice que una funcin es par cuando presenta simetra sobre el eje de ordenadas, esto es, si
U N
I V E R S I D A D
D E 49
Q U
I N O
O L
I V I A
Una funcin es impar si presenta simetra con respecto al origen de coordenadas, esto es si
Una funcin que no presenta simetra par no tiene necesariamente simetra impar. Algunas funciones no presentan ninguno de los dos tipos de simetra o bien la presentan frente a focos o ejes distintos del origen de coordenadas o el eje de ordenadas (o eje Y)
Funciones montonas 1. La funcin f es estrictamente creciente en
2. f es estrictamente decreciente en
Si una funcin es estrictamente creciente o decreciente entonces es biyectiva. 1. f es creciente en 2. f es decreciente en
Si una funcin verifica cualquiera de las cuatro propiedades anteriores se dice que es montona.
RECUERDE : Los DIFs deben ser ledos con mucho detenimiento para entrar en la discusin.
Es recomendable que la discusin de este DIFs sobre Funcin Matemtica inmersa en la asignatura de Matemtica Discreta, aplicable a diversas reas de la Ingeniera de Sistemas identificando su clasificacin y respectiva notacin.
U N
I V E R S I D A D
D E 50
Q U
I N O
O L
I V I A
ALGEBRA DE BOOLE
George Boole cre el lgebra que lleva su nombre en el primer cuarto del siglo XIX. Pretenda explicar las leyes fundamentales de aquellas operaciones de la mente humana por las que se rigen los razonamientos. En esa poca nadie pudo prever la utilizacin de este lgebra en el diseo de circuitos digitales.
Como veremos las operaciones se realizarn mediante relaciones lgicas, lo que en el lgebra convencional son las sumas y multiplicaciones. Las variables con las que opera son las binarias 1 y 0 (verdadero o falso). Los signos 1 y 0 no expresan cantidades, sino estados de las variables.
Podemos decir, que el sistema de numeracin binario y el lgebra de Boole constituyen la base matemtica para el diseo y construccin de sistemas digitales.
Se define Funcin Lgica a toda variable binaria cuyo valor depende de una expresin formada por otras variables binarias relacionadas mediante los signos + y x. Por ejemplo: S=(a.b)+b.c. Siendo S la funcin, mientras que a, b y c son las variables. Esta funcin la leeramos de la siguiente forma: si a y b o b y c son verdaderas(1) la funcin lgica S es verdadera(1).
Mediante contactos podramos explicar o aclarar la funcin lgica.
Tablas de verdad.- A travs de las tablas de verdad se puede conocer tericamente el comportamiento de las funciones lgicas, en funcin de los niveles que se aplican a la entrada. Ms adelante veremos como adems nos van a servir para disear circuitos digitales.
FUNCIONES BSICAS BOOLEANAS
FUNCIN a S=a 0 1
TABLA DE VERDAD S 0 1
SMIL CON CONTACTOS
a) Igualdad b) Unin (funcin =O) FUNCIN a 0 S = a+b 0 1 1 TABLA DE VERDAD b 0 1 0 1 S 0 1 1 1
SMIL CON CONTACTOS
c) Interseccin (funcin Y) FUNCIN TABLA DE VERDAD a 0 S = a.b 0 1 1 b 0 1 0 1 S 0 0 0 1
U N
I V E R S I D A D
D E 52
Q U
I N O
O L
I V I A
SMIL CON CONTACTOS
d) Negacin (funcin NO)
Tambin denomina funcin complemento FUNCIN a TABLA DE VERDAD S 1 0
S =a
0 1
SMIL CON CONTACTOS
POSTULADOS DEL LGEBRA DE BOOLE
a) Las operaciones del lgebra de Boole son conmutativas. a+b=b+a a.b=b.a b) Identidad 0+a=a 1.a=a c) Cada operacin es distributiva respecto de la otra: a . (b + c) = a . b + a . c a + b . c = (a + b) . (a + c) d) Para cada elemento "a" existe un elemento complementario , a . Se comprueba que:
a + a =1 aa = 0
a=a
a + b + c = a bc a bc = a + b + c
EL LGEBRA DE BOOLE EN LENGUAJE DE CONTACTOS
POSTULADOS
a. Propiedad conmutativa
a+b
b+a
a.b
b.a
b. Identidad
0+a=a
1.a=a
c. Propiedad distributiva
a . (b + c )
a.b+a.c
a + (b . c)
U N I V E R S I D A D D E 54 A Q U
(a + b) . (a + c)
I N O B O L I V I A
d. Complementario o inversin
a + a =1
aa = 0
TEOREMAS Teorema 2
a+1=1 Teorema 3
a.0=0
a+a=a Teorema 4. Ley de Absorcin
a.a=a
a+a.b=a
a.(a+b)=a
Es recomendable que la discusin de este DIFs sobre el Algebra Booleana inmerso en la asignatura de Matemtica Discreta, aplicable a diversas reas de la Ingeniera de Sistemas.
U N
I V E R S I D A D
D E 55
Q U
I N O
O L
I V I A
RBOLES
Un rbol es un grafo simple en el cual existe un nico camino entre cada par de vrtices. Sea G =(V,A) un grafo no dirigido. G se denomina ARBOL, si es conexo y no contiene ciclos.
Un rbol con raz, es un rbol que tiene un vrtice particular designado como raz.
Ejemplo de rbol:
En la figura anterior G1 corresponde a lo que llamamos mediante la definicin ARBOL, en el caso de G2, ste no corresponde debido a que contiene un ciclo.
Podemos destacar que cuando un grafo G es un rbol, se reemplaza G, por R.
En la figura mostrada G1 es un subgrafo de G2, en el que G1 contiene los vrtices de G2 y es rbol, adems lo llamaremos rbol abarcador, por que proporciona conexin minimal para el grafo y un esqueleto minimal que une los vrtices.
Ejemplo de rbol raz:
U N
I V E R S I D A D
D E 56
Q U
I N O
O L
I V I A
Para apoyar el entendimiento de las definiciones entregadas agregaremos algunos teoremas. Teorema:
Si a, b son vrtices de un rbol R (V,A), entonces hay un camino nico que conecta estos vrtices. Teorema:
En cualquier rbol R= (V,A), |V| = |A| + 1. Teorema:
Para cualquier rbol R = (V,A), si |A| >= 2, entonces R tiene al menos dos vrtices colgantes. Teorema:
Sea G un grafo simple con v vrtices, entonces se puede decir: G es un rbol. G es conexo y no contiene circuitos. G es conexo y tiene (n-1) lados. G no contiene circuitos y tiene (n-1) lados.
U N
I V E R S I D A D
D E 57
Q U
I N O
O L
I V I A
rboles con Raz
Sea G un grafo dirigido, se denomina rbol dirigido si el grafo no dirigido asociado con G es un rbol. Cuando G es un rbol dirigido, se denomina rbol con raz si hay un nico vrtice r, la raz.
Sea G un grafo con raz V0. Supngase que x, y, z son vrtices en G y que (v0, v1, ..., vn), es un camino en G.
V(n-1) es el padre de v(n). V0, v1, ..., v(n-1) son los antepasados de v(n). V(n) es el hijo de v(n-1). Si x es un antepasado de y, entonces y es un descendiente de x. Si x e y son hijos de z entonces x e y son hermanos. Si x no tiene hijos entonces x es un vrtice terminal. Si x no es un vrtice terminal, entonces x es un vrtice interno. El subgrafo de G que consiste en x y todos sus descendientes, con x como raz, es el subrbol de G que tiene a x como raz.
Sea R= (V,A) un rbol con raz r. Si R no tiene otros vrtices, entonces la raz misma constituye el recorrido en orden previo, simtrico y posterior de R. Si |V| > 1, sean R1, R2, R3, ...., Rk los subrboles de R segn se va de izquierda a derecha.
1. El recorrido de orden previo de R comienza en r y despus pasa por los vrtices de R1 en orden previo, a continuacin por los vrtices de R2 en orden previo, y as sucesivamente hasta que se pasa por los vrtices de Rk en orden previo.
2. El recorrido en orden simtrico de R primero, se pasa por los vrtices de R1 en orden simtrico, despus por la raz r y a continuacin por los vrtices de los subrboles R2, R3,...., Rk en orden simtrico.
3. El recorrido en orden posterior de R pasa por los vrtices de los subrboles R1, R2,...., Rk en orden posterior y a continuacin por la raz.
U N
I V E R S I D A D
D E 58
Q U
I N O
O L
I V I A
Un rbol binario es uno con raz en el cual cada vrtice tiene un hijo a la derecha o un hijo a la izquierda, o viceversa, o bien ningn hijo. Un rbol binario completo es uno en el cual cada vrtice tiene un hijo a la derecha y uno a la izquierda, o bien ningn hijo. Teorema:
Si T es un rbol binario completo con i vrtices internos, entonces T tiene i + 1 vrtices terminales y 2i + 1 vrtices en total.
Un rbol binario de bsqueda es un rbol binario T donde se han asociado datos a los vrtices. Los datos se disponen de manera que para cualquier vrtice v en T, cada dato en el subarbol a la izquierda de v es menor que el dato correspondiente a v. rboles generadores:
Un rbol T es un rbol generador de un grafo G si T es un subgrafo de G que contiene todos los vrtices de G.
A esta caracterstica general es posible agregar ciertos teoremas de modo de detallar an ms el alcance de la definicin. Es as como el Grafo que contiene a T debe ser conexo, pues de lo contrario no existira un subgrafo que contuviera todos sus vrtices. En general un grafo G tendr varios rboles generadores, como el del ejemplo 1 el cual tiene a lo menos dos rboles generadores T1 y T2. Ej.
GrafoG
U N
I V E R S I D A D
D E 59
Q U
I N O
O L
I V I A
rbol T1
rbol T2
Algoritmos para hallar un rbol generador, que se base en el teorema de que el grafo G debe ser conexo, pueden ser los que se realizan a travs de los mtodos llamados buscar primero a lo ancho, buscar primero a lo largo y el de regreso al nivel anterior. rboles Generadores Mnimales
Un rbol Generador Minimal es el que resulta de la construccin en primer lugar de un rbol generador, pero con la caracterstica de ser el de menos peso del grafo al cual genera.
Por ejemplo sea un grafo ponderado (con peso) con cinco vrtices. La idea es construir un subgrafo que una a todos los puntos pero con el mnimo de peso (el peso se refiere al valor que se le da a cada uno de los lados de un grafo). Este subgrafo debe ser un rbol
generador, ya que debe unir todos los vrtices, debe ser conexo y debe haber un nico camino entre cada par de vrtices, por lo tanto, lo que se necesita es un rbol generador con el mnimo de peso, es a esto lo que se llama rbol generador minimal.
Sea G un grafo con peso. Un rbol generador mnimal de G es un rbol generador de G con peso mnimo.
Ej.: Sea el Grafo G:
Grafo
U N
I V E R S I D A D
D E 60
Q U
I N O
O L
I V I A
rbol T1
Arbol T2
Los rboles T1 y T2 son rboles generadores de G, sin embargo el peso de ambos es distinto (T1=32 y T2=41). Por lo tanto el rbol Generador Minimal de G es T1.
rboles Generadores Minimales se pueden generar con algoritmos como el Algoritmo de Prim, el cual construye un rbol en forma iterativa, agregando lados hasta obtener un rbol generador minimal. En cada iteracin se coloca un lado de peso mnimo que no forme un circuito con el rbol que se ha construido con iteraciones anteriores.
Este algoritmo es un ejemplo de algoritmo voraz, el cual optimiza la seleccin hecha en cada iteracin sin considerar las elecciones que corresponden a iteraciones anteriores.
Otro algoritmo que origina un rbol generador minimal en un grafo G de n vrtices, conexo y con peso es el Algoritmo de Kruskal.
U N
I V E R S I D A D
D E 61
Q U
I N O
O L
I V I A
Este parte con un grafo T que contiene inicialmente todos los vrtices y ningn lado. En cada iteracin se agrega un lado a T de peso mnimo, tal que no complete un circuito en T. Cuando T tenga n-1 lados, se termina.
Es recomendable que la discusin de este DIFs sobre rboles inmerso en la asignatura de Matemtica Discreta, aplicable a diversas reas de la Ingeniera de Sistemas y la aplicacin que se le da como tal.
U N
I V E R S I D A D
D E 62
Q U
I N O
O L
I V I A

Fundamentos de Matemática Discreta

Uploaded by

Document Information

Original Title

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Fundamentos de Matemática Discreta

Uploaded by

Copyright:

Available Formats

FACULTAD DE CIENCIAS Y TECNOLOGA

RED NACIONAL UNIVERSITARIA UNIDAD ACADMICA DE ORURO

Facultad de Ciencias y Tecnologa Ingeniera de Sistemas

Gestin Acadmica I/2011

FACULTAD DE CIENCIAS Y TECNOLOGA

FACULTAD DE CIENCIAS Y TECNOLOGA

Matemtica Discreta MAT-201A MAT-111A 80 horas 80 4

II. OBJETIVOS GENERALES DE LA ASIGNATURA

UNIDAD 1: PRINCIPIOS FUNDAMENALES DEL CONTEO ENUMERACIN EN LA TEORIA DE CONJUNTOS

TEMA 1. Introduccin al Anlisis Discreto

1.1. 1.2. 1.3. 1.4. 1.5.

La regla de la suma y el producto Permutaciones Combinaciones Distribuciones Fundamentos de lgica

FACULTAD DE CIENCIAS Y TECNOLOGA

TEMA 2. Teora de Conjuntos

2.1. 2.2. 2.3.

Conjuntos y subconjuntos Operaciones con Conjuntos Conteos y diagramas de Venn

UNIDAD 2: Relaciones y Funciones

3.1. 3.2. 3.3. 3.4. 3.5.

4.1. 4.2. 4.3. 4.4. 4.5.

UNIDAD 3: EL PRINCIPIO DE INCLUSIN Y DE EXCLUSIN

TEMA 5. Principio de Inclusin y Exclusin

5.1. 5.2. 5.3. 5.4. 5.5.

FACULTAD DE CIENCIAS Y TECNOLOGA

UNIDAD 4: FUNCIONES GENERATRICES, LGEBRA BOOLEANA Y FUNCIONES DE CONMUTACIN

TEMA 6. lgebra Booleana

6.1. 6.2. 6.3.

Ejemplos introductorias Definiciones y ejemplos Tcnicas de clculo

TEMA 7. Funciones Generatrices y de Conmutacin

7.1. 7.2. 7.3. 7.4. 7.5.

IV. SISTEMA DE EVALUACIN DE APRENDIZAJES

FACULTAD DE CIENCIAS Y TECNOLOGA

diagnstica) a su nivel de desarrollo potencial (detectado mediante diversas actividades o tareas).

FACULTAD DE CIENCIAS Y TECNOLOGA

Grassmann Winfried, Tremblay Jean Paul: CECSA.

Matemtica Discreta y Lgica,

FACULTAD DE CIENCIAS Y TECNOLOGA

VI. CONTROL DE EVALUACIONES

1 evaluacin parcial Fecha Nota

2 evaluacin parcial Fecha Nota

Examen final Fecha Nota

FACULTAD DE CIENCIAS Y TECNOLOGA

VII. PLAN CALENDARIO

GESTIN I/2011 TURNOS REGULAR-TRABAJO ESTUDIANTES NUEVOS-ANTIGUOS

Inicio Primera Evaluacin Parcial Conclusin Primera Evaluacin Parcial

Presentacin de Notas Presentacin de Notas

Inicio Segunda Evaluacin Parcial

Presentacin de Notas Presentacin de Notas

Inicio Evaluacin Final

Presentacin de Notas Transcripcin de Notas Transcripcin de Notas

22 de abril 1 de mayo 23 de junio

Viernes Santo Da del Trabajo Corpus Christi

FACULTAD DE CIENCIAS Y TECNOLOGA

CONTENIDO MNIMO INTRODUCCIN A LA TEORA DE CONJUNTOS ENUMERACIN

ACTIVIDAD Clases Magistrales Visita a la Industria

INTRODUCCIN A LA TEORA DE CONJUNTOS RECUENTO ENUMERACIN

Trabajo de Investigacin final de curso

FACULTAD DE CIENCIAS Y TECNOLOGA

PROGRAMA DE CONTROL DE CALIDAD

No. DE PROCEDIMIENTO : APRO 07

FACULTAD DE CIENCIAS Y TECNOLOGA

PREPOSICIN, TABLAS DE VERDAD, TAUTOLOGA Y CONTRADICCIN

LGICA Y CLCULO PROPOSICIONAL

Disyunci Proposicion es Conjunci Disyunci n PQ V F F F n PQ V V V F n excluyen te P V V F F Q V F V F PQ F V V F