Tema 5

Estructuras Discretas y Ciencias de la Computacin

Jaime Oyarzo Espinosa jaime.oyarzo@uah.es Profesor Asociado, Universidad de Alcal eLearning Consultant, LUND University, Sweden

Contenidos
Introduccin Lgica en la informtica Mtodos de prueba Matemtica Discreta Conjuntos, Relaciones, Funciones Tcnicas de Recuento Grafos y rboles Algebra de BOOLE Anlisis numrico Medidas en la informtica y su terminologa Simulacin Tema 5
EM/JOE 2

Lgica en la informtica

Tema 5
EM/JOE 3

Lgica proposicional
En la lgica de proposiciones, los enunciados declarativos pueden ser verdaderos o falsos, pero no las dos cosas a la vez. El lenguaje est formado por: Enunciados simples (proposiciones): unidad mnima del lenguaje con informacin. Conectivas: permiten construir frases nuevas (relacionan proposiciones). Negacin (~) ~ Conjuncin (), unin Disyuncin (), interseccin Condicional (), representa causa/efecto
Tema 5
EM/JOE 4

Programacin lgica
La programacin lgica nace de la idea de crear un lenguaje ms cercano al lenguaje natural y a la forma de pensar humana. Se intenta separar la lgica del problema del control del programa: Algoritmo = Lgica + Control

Tema 5
EM/JOE 5

Lgica matemtica: necesaria?

No en caso de:
Clculos basados en operaciones aritmticas (que un humano puede memorizar y aplicar Bsqueda de datos (por simple comparacin con un patrn dado); Clasificacin u ordenacin de datos (siguiendo un criterio establecido);

SI, en caso de
Tareas en que interviene la capacidad deductiva, que podemos calificar como "inteligentes", en las que se requiere: Tener conocimiento sobre el dominio; Razonar con tal conocimiento; Conocer cmo dirigir o guiar tal razonamiento Tema 5
EM/JOE 6

Mtodos de prueba
La lgica proposicional cuenta con varios mtodos de decisin: Tablas de Verdad Anlisis de Valores de Verdad Reduccin a Forma Real Arboles Lgicos

Tema 5
EM/JOE 7

Tablas de Verdad

Tema 5
EM/JOE 8

Matemtica Discreta
Qu es? Parte de la matemtica que estudia los objetos discretos (respuesta imprecisa) Comencemos con un ejemplo Los nmeros naturales: N = {1,2,3,4,5,6,7.} Los nmeros Reales positivos: R+ Que significa N R+ , N R+ Diferencias?
Tema 5
EM/JOE 9

Estructuras Discretas
Los nmeros naturales son un conjunto de elementos discretos (separados y contables) Los nmeros Reales positivos contienen siempre nmeros entre ellos, son contnuos. En matemticas: discreto es lo contrario de continuo. discreto continuo __________
Tema 5
EM/JOE 10

Porqu estudiar Matemtica Discreta?

Todas las matemticas tienen un carcter instrumental (medir, calcular, definir, etc.) Matemtica Discreta: vinculada a las ciencias de la computacin El ordenador trata con objetos finitos (1, 0), aunque estos objetos pueden ser muy grandes.

Tema 5
EM/JOE 11

Conjuntos, Relaciones, Funciones

Conjuntos Coleccin de elementos con alguna caracterstica comn. { } {Pedro, Mara, Ana, John} {1,2,3,4,5,6,7.} {1,3,5,7,9,11,13}
Conjunto finito? Conjunto infinito?

Ley que asocia un elemento a otro. RELACIN: pertenecen al mismo conjunto. FUNCIONES: pueden pertenecer a dos conjuntos distintos. Tema 5
EM/JOE 12

Operaciones con Conjuntos

Interseccin: A B = {x | (x A) (x B)} Unin: A B = {x | (x A) (x B)} Venn diagrams:

Conjuntos A y B disjuntos, si A B = ;
Tema 5
EM/JOE 13

Funciones
Asociar elementos de un conjunto a elementos de otro conjunto mediante un proceso Ejemplo: y = 2x

Procesos ejemplo:
Frmula matemtica Buscar nombre de usuario en base de datos

Tema 5
EM/JOE 14

Funciones definicin
A y B son dos conjuntos Funcin: asignacin a cada valor de A, uno y slo un elemento de B Notacin: f: A B

NO son Funcin:
Hay ms de un valor para 1 No hay valor para 2

Tema 5
EM/JOE 15

Funciones
Inyectivas: f: A B f(a) = f(a) a = a Suprayectivas. Para cada elemento en B existe uno en A tal que f(a) = b Biyectivas si es inyectiva y suprayectiva
Tema 5
EM/JOE 16

Tcnicas de Recuento
Cardinal de un conjunto. Combinatoria. Funciones generadoras. Relaciones de recurrencia.

Tema 5
EM/JOE 17

Grafos
Objeto combinatorio formado por un conjunto finito de vrtices, unidos entre s por aristas. Ejemplo: grafo con tres vrtices:

Tema 5
EM/JOE 18

Grafos: Utilidad en Informtica

Construccin de algoritmos eficientes para localizar elementos en una lista. Clculo de alternativas en juegos: ayudan e determinar estrategias ganadoras (p.ej. Ajedrez) Modelamiento de procedimientos mediante una secuencia de decisiones. Desarrollo de algoritmos para construir redes que conectan nodos de red, con menor costo de trasmisin.

Tema 5
EM/JOE 19

Grafos

Tema 5
EM/JOE 20

10

rboles
Grafo conexo sin ciclos, es decir, 2 vrtices se conectan por un nico camino simple.

Tema 5
EM/JOE 21

rboles

Tema 5
EM/JOE 22

11

Algebra de BOOLE
Relacin de orden. lgebras de Boole. lgebra de Boole {0, 1}.

Tema 5
EM/JOE 23

Algebra de BOOLE

Tema 5
EM/JOE 24

12

Matemtica Discreta, Aplicaciones Recuento

Contar si hay suficientes direcciones IP Cantidad posible de contraseas Simulaciones computacionales: posibles alternativas Programacin: relacion aplicacin lenguaje sistema operativo

Tema 5
EM/JOE 25

Matemtica Discreta, Aplicaciones Algebra de Boole

Operaciones y leyes para trabajar con el conjunto de {0, 1} Construccin de algoritmos, previo a la programacin Bsqueda en internet

Tema 5
EM/JOE 26

13

Matemtica Discreta, Aplicaciones Teora de Grafos

Para disear circuitos (varias capas) Estructura de Internet Red de transporte: camino mas corto entre 2 ciudades Transporte areo: combinaciones de vuelos entre dos ciudades Calcular nmero de colores para colorear un mapa

Tema 5
EM/JOE 27

Grafos. Aplicaciones

Tema 5
EM/JOE 28

14

Grafos. Aplicaciones

Tema 5
EM/JOE 29

Grafos. Aplicaciones

Tema 5
EM/JOE 30

15

Grafos. Aplicaciones

Tema 5
EM/JOE 31

BIBLIOGRAFA
I. Anderson, Introduccin a la combinatoria, Vicens Vives, 1993 N. Biggs, Matemtica Discreta, Vicens Vives, 1989 F. Garca Merayo, Matemtica Discreta, Paraninfo, 2001 R. P. Grimaldi, Matemticas Discreta y Combinatoria, Addisson Wesley, 1997 K. N. Rosen, Discrete Mathematics and its Applications, McGrawHill, 1999

Tema 5
EM/JOE 32

16