Lógica de Proposiciones y de Predicado
|
|
- Ernesto Alvarado Álvarez
- hace 6 años
- Vistas:
Transcripción
1 Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT
2 UT3: Lógica de Predicados»Propiedad Conmutativa (E1 E2) (E2 E1)»Propiedad Distributiva»Propiedad Asociativa»Leyes de De Morgan»Doble Negación (E1 E2) (E2 E1) E1 (E2 E3) (E1 E2) (E1 E3) E1 (E2 E3) (E1 E2) (E1 E3) E1 (E2 E3) (E1 E2) E3 E1 (E2 E3) (E1 E2) E3 (E1 E2) ( E1) ( E2) (E1 E2) ( E1) ( E2) ( E1) (E1) 2
3 UT3: Lógica de Predicados Cuantificadores»Cuantificador Universal: Se utiliza para afirmar que TODOS los elementos de un conjunto, cumplen con una condición o propiedad determinada. x [Plumas (x) Pájaro (x)]»cuantificador Existencial: se utiliza para indicar que existen uno o más elementos en el conjunto A que cumple(n) con una condición o propiedad determinada. x [Pájaro (x)]»fórmulas Atómicas son definidos como predicados individuales con sus correspondientes argumentos.»literales son definidos como fórmulas atómicas y fórmulas atómicas negadas.»fórmulas Bien Formadas, o bien FBF, son definidas recursivamente de la siguiente forma: Los literales son fórmulas bien formadas (FBF). Fórmulas Bien Formadas conectadas a través de conectivos son también FBF. Fórmulas Bien Formadas afectadas por cuantificadores son también FBF. 3
4 UT3: Lógica de Predicados Estructura Relacional Definición: Sea D un conjunto de elementos. R es una relación n-aria en el Dominio D si R es una relación sobre Dn. Sea R una relación n-aria sobre un dominio D. El predicado R asociado con la relación R, está dado por la siguiente expresión: R(d1,..., dn) = T si y solo si {d1,..., dn} R Por ejemplo: SQ(x, y) - el conjunto de pares ordenados (x, y), de forma tal que y es el cuadrado de x. {(1,1),(2,4),(3,9),(4,16),...} SQ(2, 1) = F; SQ(2, 2) = F; SQ(2, 3) = F; SQ(2, 4) = V 4
5 UT3: Lógica de Predicados Sintaxis de la Lógica de Predicado (a) Un conjunto de Símbolos de Predicados, expresados de la siguiente forma : P = {p1, p2, p3,... } (b) Un conjunto de Variables Individuales, expresados de la siguiente forma : Var = {v1, v2, v3,... } (c) Un conjunto de Constantes Individuales, expresadas de la siguiente forma : Cons = {c1, c2, c3,... } (d) Un conjunto de Símbolos de Función, expresados de la siguiente forma : F = {f1, f2, f3,... } (e) Un conjunto de conectivos lógicos que incluyen a la negación, conjunción, 5
6 UT3: Lógica de Predicados (e) Un conjunto de conectivos lógicos que incluyen a la negación, conjunción, disyunción, implicación o condicional y a la equivalencia o doble implicación, representados a través del siguiente conjunto de símbolos: S = {,,,, } (f) Un conjunto de cuantificadores: Cuantificador Universal,, y el Cuantificador Existencial,. (g) Conjunto de Símbolos de puntuación: Paréntesis (, ) y otros. 6
7 UT3: Lógica de Predicados Ejemplo Como ejemplo de un lenguaje en la lógica de predicados de primer orden, consideremos la siguiente definición informal de la sintaxis de un lenguaje lógico denominado L1: (a) Símbolos de Predicado = {Edad, Novios}, donde ambos son binarios. (b) Variables = {x, y, z} (c) Constantes = {Susana, Roberto, Guillermo, 20, 30, 40, 50, 60} (d) Conectivos = {,,,, } (e) Cuantificador = {, } (f) Puntuación = {(, ), [, ] } (g) Símbolos de Función = {Doble} El conjunto de términos del lenguaje L1 es el siguiente conjunto: {Susana, Roberto, Guillermo, 20, 30, 40, 50, 60, x, y, z, doble (0), doble Susana), doble (x), doble (doble (30)), etc... } 7
8 UT3: Lógica de Predicados Las fórmulas atómicas y las FBF de L1 están definidas de acuerdo a las reglas dadas anteriormente. Ejemplos de FBF de L1 son: a)novios (Susana, Roberto), y lo leemos de la siguiente forma : "Susana está de novia con Roberto". b)edad (Susana, 20), y se lee como "Susana tiene la edad de 20". c)edad (Guillermo, doble (20)), y se lee "Guillermo tiene una edad que es el doble de 20". d) Novios (Susana, Guillermo), y lo leemos como "Susana no está de novia con Guillermo". e) x y [Novios (x, y) Novios y, x)], y lo leemos de la siguiente forma : "Para todo x y para todo y, si x está de Novio con y, entonces y está de novio con x". Esto define la simetría del predicado Novios. f) x Edad (x, 40), y lo leemos "Existe un x cuya edad es de 40 años". g)edad (x, y), y lo leemos de la siguiente forma : "x tiene la edad y". 8
9 UT3: Lógica de Predicados»DEFINICIÓN: es el cuantificador universal y se lee de la siguiente forma: "para todo". es el cuantificador existencial y se lee de la siguiente forma: al menos existe un".»para una fórmula Cuantificada, tal como ( xa), x es denominada la variable cuantificada o la variable vinculada y A es denominado como la extensión (scope) de la variable cuantificada. Los cuantificadores (incluyendo la variable cuantificada) son operadores que tienen la misma precedencia que la negación. La siguiente fórmula: ( x(( ( y p (x, y)) ( ( y p (y, x))))) y que puede ser escrita de la siguiente forma: x( y p (x, y) y p (y, x)) 9
10 UT3: Lógica de Predicados Sustitución de Fórmula DEFINICIÓN: Sean A una fórmula, x una variable y a una constante. La siguiente expresión A [x a], representa la sustitución de a por x y está definida por la inducción: * Si A = A1, A [x a] = A1[x a]. * Si A = A1 op A2, A [x a] = A1[x a] op A2[x a]. * Si A = xa1, A [x a] = A. Similar para A = xa1. * Si A = ya1 para y x, A[x a] = ya1[x a]. Similar para A = ya1. DEFINICIÓN: Sea A una expresión, sea x una variable y sea t un término. Entonces S x ta representa la expresión que se obtiene al sustituir todas las apariciones de x en A por t. S x ta es denominada como una particularización (un caso, un ejemplo) de A, y se dice que t es un caso (instancia) de x. Ejemplo: S y b (P(y) Q(y)) 10
11 UT3: Lógica de Predicados Cuadro Semántico Recordemos que: Una fórmula A es satisfactoria, si su valor es verdadero para alguna interpretación. Una interpretación satisfactoria es denominada como un Modelo de A. La notación empleada para un modelo es : = A Una fórmula es Válida si su valor es verdadero para todas las interpretaciones. Una fórmula lógica o proposición compuesta es Insatisfactoria o Contradictoria, si la misma no es satisfactoria, o sea que es FALSA (F) para todas sus interpretaciones. Una fórmula lógica es Inválida o No Válida o Falsificable, si no es válida, o sea que su valor es FALSO (F) para alguna interpretación de sus valores de verdad. 11
12 UT3: Lógica de Predicados»DEFINICIÓN: Un cuadro cuya construcción ha finalizado se lo denomina Cuadro Completo. Un cuadro completo se dice que está Cerrado si todas sus hojas están marcadas con la notación de cerrado, de otra forma o modo se dice que el cuadro está Abierto.»TEOREMA: Sea T un cuadro semántico completo para una fórmula A. La expresión A es No Satisfactoria si y solo si T es cerrado.»corolario: La expresión A es una expresión lógica satisfactoria si y solo si T está abierto.»corolario: La expresión A es una expresión lógica válida si y solo si el cuadro semántico para A es cerrado. 12
13 UT3: Lógica de Predicados Particularización Universal: regla de inferencia que permite la eliminación del cuantificador universal en una expresión. x A(x) S x t A(x) Ejemplo: x (gato (X) tiene cola (x)) gato (Tom) tiene cola (Tom) Particularización Existencial: regla de inferencia que permite la eliminación del cuantificador existencial en una expresión. x A(x) S X t A (x) Ejemplo: x (ganocienmillones(x) esrico(x)) ganocienmillones(patricio) esrico(patricio) 13
14 Grafo: Un grafo G = (V, A) es un conjunto no vacío V (de vértices) y un conjunto A (de aristas) extraído de la colección de subconjuntos de dos elementos de V. Una arista de G es pues, un subconjunto {a, b}, con a, b V, a b. SubGrafo: Dado un grafo G = (V, A), formamos un grafo H = (V, A ) de G seleccionando algunos de los vértices de G (esto es, V V ). Y, de las aristas que unieran vértices del conjunto V en el grafo original G, nos quedamos con algunas de ellas (o todas). Grafo Dirigido: Un grafo dirigido G = (V, A) consta de un conjunto no vacío V (de vértices) y de un conjunto no vacío A (de aristas) que son pares ordenados de elementos de V y de una función f definida de A en {(a, b), con a, b V}. Se dice que la arista e es un bucle o lazo si se cumple que f(e) = (a, a) = (a) para algún a V. Son grafos en los cuales se ha añadido una orientación a las aristas, representada gráficamente por una flecha. 14
15 15
16 Tabla1: Terminología en la Teoría de Grafos Tipos Aristas Arista Múltiples Bucles Grafo Simple No dirigido No No Multigrafo No dirigido Si No Pseudografo No dirigido Si Si Grafo Dirigido Dirigido No Si Multigrafo Dirigido Dirigido Si Si SubGrafo Recubridor: Dado un grafo conexo y no dirigido, un árbol recubridor de un grafo es un subgrafo que tiene que ser un árbol y contener todos los vértices del grafo inicial. SubGrafo Inducido: Dado un grafo conexo y no dirigido, un subgrafo inducido de un grafo G es un subgrafo que tiene como junto de vertices a un cierto subconjunto de los vertices de G y como conjunto de aristas a todas aquellas de G cuyos extremos sean dicho subconjunto de vertices. 16
17 Figura 5: Grafo G del Problema 3 El conjunto de vértices de G es V(G) = {1, 2, 3, 4, 5}, mientras que el de las aristas es el siguiente conjunto A(G) = {{1, 2}, {2, 3}, {2, 4}, {2, 5}, {3, 4}, {3, 5}}. 17
18 Vértice Adyacente: Dado un grafo G = (V, A), diremos que dos vértices v, w V son adyacentes o vecinos si {v, w} A. Si e = {v, w}, se dice que la arista e es incidente con los vértices v y w. También se dice que la arista e conecta v con w. Se dice que los vértices v y w son extremos de la arista e. Grado de Vértice.- El grado de un vértice de un grafo es el número de aristas incidentes en el, exceptuando los bucles, cada uno de los cuales contribuye con dos unidades al grado de un vértice. El grado de un vértice v se denota por δ(v). δ(v) = grado de v gr(v) = #{w V : {v, w} A(G)}. Grafo complementario: el grafo complementario de G = (V, A) es el grafo G = (V, A), donde A = P2 (V ) A representa el conjunto complementario de A; es decir, dos vertices diferentes u, v V son adyacentes en G si y solo si no lo son en G. 18
19 Grafo k-regular: Un grafo no dirigido es un grafo k-regular si todos los vértices del grafo tendrían grado k. En un grafo siempre hay un número par de vértices de grado impar.»no puede existir un grafo r-regular de s vertices si r y s son impares.»el número de aristas de un grafo k-regular es (n*k)/2, y por ende, el número de aristas de un grafo completo de n vertices es (n*(n-1))/2 Grafo nulo: de orden n, que se denota por Nn, es un grafo que tiene n vertices y ninguna arista. Grafo completo: de orden n, que se denota por Kn, es un grafo con n vertices, donde cada vertice es adyacente a todos los demas. Grado de Entrada: En un grafo dirigido, el grado de entrada o grado negativo de un vértice v, es denotado por δ - (v), es el número de aristas que tienen a v como vértice final. Grado de Salida: El grado de salida o grado positivo de un vértice v, denotado por δ (v), es el número de aristas que tienen a v como vértice inicial. (nótese que un bucle contribuye con una unidad tanto al grado de entrada como al grado de salida del vértice correspondiente).
20 ISOMORFISMO: Sean G y G dos grafos, con conjuntos de vértices y aristas (V, A) y (V, A ), respectivamente. Decimos que una aplicación biyectiva φ: V V es un isomorfismo de grafos si: {v, w} A {φ(v), φ(w)} A. Es decir, si φ conserva las relaciones de vecindad entre vértices. Dos grafos se dicen isomorfos si existe una aplicación biyectiva entre sus conjuntos de vértices (un cambio de nombres, de etiquetas) que conserve las relaciones de vecindad: si dos vértices son adyacentes con el primer conjunto de etiquetas, tendrían que seguir siéndolo con el segundo En el caso de los dos grafos con los que abríamos esta subsección, el lector podría comprobar que la aplicación φ: {1, 2, 3, 4} {1, 2, 3, 4} dada por φ(1) = 1, φ(2) = 4, φ(3) = 2 y φ(4) = 3 es un isomorfismo entre los dos grafos 20
21 Sin embargo, para decidir que dos grafos no son isomorfos contamos con ciertas propiedades de un grafo que se han de conservar por isomorfismos: 1. Ambos grafos han de tener el mismo número de vértices (si no lo tienen, no podremos construir una aplicación biyectiva entre los conjuntos de vértices). 2. Cada vértice ha de mantener sus relaciones de vecindad. En particular, si G = (V, A) y G = (V, A ) son dos grafos isomorfos mediante φ, entonces, para cada v V : δ (v) = δ (φ(v)). 3. Con más generalidad, si dos grafos son isomorfos, entonces han de tener la misma sucesión de grados. Sin embargo, el que dos grafos tengan la misma sucesión de grados no garantiza que sean isomorfos 4. La sucesión de grados ha de conservarse, y como sabemos que en todo grafo la suma de los grados coincide con (dos veces) el número de arista, deducimos que dos grafos isomorfos han de tener el mismo número de aristas. 21
22 ISOMORFISMO DE GRAFOS Síntesis Universidad Nacional de Tucumán un isomorfismo entre dos grafos G y H es una biyección f entre los conjuntos de sus vértices que preserva la relación de adyacencia. Es decir, cualquier par de vértices u y v de G son adyacentes si y solo si lo son sus imágenes, f(u) y f(v), en H. A pesar de su diferente aspecto, los dos grafos que se muestran a continuación son isomorfos: 22
23 CLASES DE GRAFOS GRAFO LINEAL: Diremos que un grafo es un L n, un grafo lineal con n vértices (n 2) si tiene n vértices (dos de grado 1 y el resto, si los hay, de grado 2) y es isomorfo a: Figura 11: Grafo Lineal GRAFO CIRCULAR: Otra clase de grafos muy relevante son los llamados grafos circulares con n vértices (todos de grado 2), para n 3, que denotaremos por C n : GRAFO COMPLETO: Si un grafo con n vértices tiene todas las (n 2) combinaciones de posibles aristas, diremos que estamos ante el grafo completo con n vértices, Kn: 23
24 CLASES DE GRAFOS Bipartito: Un Grafo G = (V, A) es bipartito si V = V 1 V 2 y V 1 V 2 = y cada arista de G es de la forma [a, b] con a V 1 y con b V 2. Si cada vértice de V 1 está unido con los vértices de V 2 se tiene un grafo bipartito completo. 24
25 CONEXIÓN DE GRAFOS Camino: Sean x, y vértices (no necesariamente distintos) de un grafo G = (V, A). Un camino x y en G es una sucesión alternada finita (sin lazos): La longitud de un camino es n, el número de aristas que hay en el camino. (Si n = 0, no existen aristas, x = y, y el camino se denomina trivial. DEFINICIÓN 17.- Consideremos un camino x y en un grafo no dirigido G = (V, A): Si no se repite ninguna arista en el camino x y, entonces el camino es un recorrido x y. Un recorrido cerrado es un circuito. Cuando ningún vértice del camino x y se presenta más de una vez,el camino es un camino simple x y. El término ciclo se usa para describir un camino simple cerrado x y. 25
26 CONEXIÓN DE GRAFOS Los términos que utilizamos aquí, paseo, camino, etc., podrían no coincidir con los usados en otros textos. Para un grafo dirigido utilizaremos el adjetivo dirigido, como se usa, por ejemplo, en caminos dirigidos, caminos simples dirigidos y ciclos dirigidos. Cuello: Si G es un grafo, se llama cuello del grafo G al mínimo de las longitudes de los ciclos de G. Tabla 2: Terminología de caminos en la Teoría de Grafos Vértices Aristas Abierto Cerrado Nombres Repetidos Repetidas Si Si Si Camino Si Si Si Camino Cerrado Si No Si Recorrido Si No Si Circuito No No Si Camino Simple No No Si Ciclo 26
27 CONEXIÓN DE GRAFOS TEOREMA 3: Sea G = (V, A) un grafo no dirigido, con a, b V, con a b. Si existe un recorrido (en G) de a a b, entonces existe un camino simple (en G) de a a b. Conexo: Sea G = (V, A) un grafo no dirigido. Diremos que G es conexo si existe un camino simple entre cualesquiera dos vértices distintos de G. LEMA 1.- Si G es un grafo conexo y a es una arista puente de G, entonces G \ {a} tiene exactamente dos componentes conexas. PROPOSICIÓN 1.- Si G esun grafo conexo, entonces A(G) V (G) 1. PROPOSICIÓN 2.- Si G es un grafo con k componentes conexas, entonces A V k. 27
28 CAMINOS EULERIANOS Y HAMILTONIANOS DEFINICIÓN: Sea G = (V, A), un grafo o multigrafo no dirigido sin vértices aislados. Entonces G tiene un circuito euleriano si existe un circuito de G que recorra cada arista del grafo exactamente una vez. Si existe un recorrido abierto de x a y en G que recorra cada arista de G exactamente una vez, este recorrido se denominara recorrido euleriano. Un camino euleriano es un camino simple que contiene todas las aristas de G. un camino euleriano es un camino que pasa por cada arista una y solo una vez. Un ciclo o circuito euleriano es un camino cerrado que recorre cada arista exactamente una vez DEFINICION: Un camino hamiltoniano, en el campo matemático de la teoría de grafos, es un camino de un grafo, una sucesión de aristas adyacentes, que visita todos los vértices del grafo una sola vez. Si además el último vértice visitado es adyacente al primero, el camino es un ciclo hamiltoniano. Figura 22: Grafos no dirigidos G 1, G 2 y G 3 28
29 GRAFOS PLANOS TEOREMA DE DIRAC: Sea G = (V, A) un grafo simple con n vértices para n 3, tal que todos los vértices de G tienen grado mayor o igual a n/2. Entonces G contiene un circuito hamiltoniano. TEOREMA DE ORE: Sea G = (V, A) un grafo simple con n vértices para n 3, tal que (u) + (v) n, para cada par de vértices no adyacentes u y v de G. Entonces G tiene un circuito hamiltoniano.. Grafo Plano: Un grafo G = (V, A), es plano si podemos dibujar a G en el plano de modo que sus aristas se intersequen sólo en los vértices de G. Este dibujo de G se conoce como una inmersión (embebido o encaje) de G en el plano Figura 24: Grafos Planos G y G 29
30 GRAFOS PLANOS TEOREMA: Sea G = (V, A) un grafo o multigrafo plano conexo con V = y A = a. Sea r el número de regiones en el plano determinadas por una inmersión (o representación) plana de G, una de estas regiones tiene un área infinita y se conoce como región infinita. Entonces: a + r = 2 COROLARIO: Sea G = (V, A) un grafo o multigrafo plano conexo sin lazos con los valores V = y A = a > 2. y r regiones. Entonces se deben cumplir las siguientes condiciones 3r 2a y a 3-6. Ejemplo: El grafo K 5 no tiene lazos y es conexo con 10 aristas y cinco vértices. En consecuencia: 3-6 = 15 6 = 9 < 10 = a. Por lo tanto por el Corolario 5.2, vemos que K 5 no es plano. 30
31 ARBOLES: DEFIINICION Y CARACTERISTICAS DEFINICIÓN 1.- Un árbol es un grafo conexo y sin ciclos. Un grafo G es un árbol (un conexo sin ciclos) Es conexo y tiene la propiedad de que al eliminar una arista cualquiera del grafo, éste deja de ser conexo. PROPOSICIÓN 3.-Un grafo G es un árbol (un conexo sin ciclos) Es conexo y se cumple que: A(G) = V (G) 1. TEOREMA 1: Todo árbol con V 2 tiene, al menos, dos vértices de grado 1. 31
32 Tabla 1: Árboles No Isomorfos Y Distintos n Árboles no isomorfos Árboles distintos = = = = = = = 8 6 TEOREMA 4.- (Cayley) El número de árboles distintos que se pueden formar con el conjunto de vértices {1,..., n} es n n 2. 32
33 ARBOLES CON RAIZ Todo árbol posee una altura. Recorriendo el mismo en forma de grafo dirigido y considerando que las áristas parten desde los vértices hacia algún otro vértice o hacia alguna hoja, de forma tal que todo camino inicia en la raíz y termina en una hoja, puede afirmarse que el árbol posee una altura h. Dicha altura será igual a la longitud del camino con más aristas. DEFINICIÓN: Si G es un grafo no dirigido, entonces G es un árbol dirigido si el grafo no dirigido asociado con G es un árbol. Si G es un árbol dirigido, G es un árbol con raíz si existe un único vértice r en G, llamado raíz, tal que el grado de entrada de r es igual a E (r) = 0 y para todos los demás vértices v, el grado de entrada es E (r) = 1 Los parámetros que manejaremos en un árbol con raíz serán»el número de vértices, n;»la altura del árbol, a;»el número de hojas, h;»y el tipo de árbol, definido por el entero positivo q (podría ser q-ario o casi q-ario). 33
34 ARBOLES RECUBRIDORES DEFINICIÓN 3.- Consideremos un grafo G = (V, A). Diremos que un árbol H es árbol recubridor o recubridor de G si cumple que: V (H) = V (G) (tiene los mismos vértices que G). A(H) A(G) (tiene algunas o todas las aristas de G). Es decir, es un subgrafo recubridor del grafo inicial que, además, es un árbol. Asegurémonos primero de que tales árboles existen si, como es razonable, partimos de un grafo conexo. TEOREMA 5.- Un grafo G es conexo si y sólo si tiene, al menos, un árbol recubridor. 34
35 ARBOL BINARIO DEFINICIÓN: Un árbol con raíz es binario si para cada vértice v, el grado del mismo es (v)=0, 1 o 2; es decir, si v tiene cuando mucho dos hijos. Si (v)= 0 o 2 para todo v, entonces el árbol con raíz es un árbol binario completo. Ejemplo 12: Ejemplo 13: a / 5 a b 7 3 * a 3 / b 5 / a / 3 + Figura a a b Figura b 5 35
36 OPERACION BINARIA DEFINICIÓN: Una operación binaria * tiene tres formas de representación: 1. Notación infija: a * b 2. Notación prefija ( o polaca) : * a b 3. Notación postfija: a b * DEFINICIÓN: Sea T = (V, A) un árbol con raíz r. Si T no tiene otros vértices, entonces la misma raíz el recorrido en orden previo y posterior de T. Si V >1. Sean T1, T2, T3,..., Tn, los subárboles de T, de izquierda a derecha, entonces: 1. El recorrido de orden previo de T visita primero r y después recorre todos los vértices de T1, en orden previo, después los vértices de T2 en orden previo y así sucesivamente hasta recorrer los vértices de TK en orden previo. 2. El recorrido de orden posterior de T recorre en orden posterior los vértices de los subárboles T1, T2, T3,..., TK para después llegar a la raíz., 36
37 Ejemplo 14: El recorrido en orden previo de los vértices de este árbol es: 1, 2, 5, 11, 12, 13, 14, 3, 6, 7, 4, 8, 9, 10, 15, 16, 17. El recorrido en orden posterior visita los vértices en el orden: 11, 12, 13, 14, 5, 2, 6, 7, 3, 8, 9, 15, 16, 17, 10, 4, 1 DEFINICIÓN 7.-Recorrido en orden simétrico. Sea T = (V, E) un árbol binario con raíz, donde r es la raíz. 1) Si V = 1, entonces el vértice r es el recorrido en orden simétrico de T. 2) Si V > 1, sean TI y TD los subárboles izquierdo y derecho de T. El recorrido en orden simétrico de T recorre primero los vértices de TI, en orden simétrico, después visita la raíz y luego recorre, en el orden simétrico, los vértices de TD. 37
38 Ejemplo 15: La lista en orden simétrico es: p, j, q, f, c, k, g, a, d, r, b, h, s, m, e, i, t, n, u 38
39 UT5 : SISTEMAS EXPERTOS Definición Un Sistema Experto es un programa de computación inteligente que usa conocimiento y procesos de inteligencia para resolver problemas que son lo suficientemente difíciles como para requerir significativa experiencia humana para su solución. (Feingenbaum, 1982). El esquema muestra el funcionamiento de un Sistema Experto basado en el conocimiento, y en donde el Usuario aporta los hechos o información al sistema y recibe de este un consejo o experiencia como respuesta.
40 UT5 : SISTEMAS EXPERTOS Los sistemas expertos se conforman por tres componentes principales:»la Base de Conocimientos (Knowledge Database) almacena la totalidad de la información específica relativa al campo del saber deseado. Esta escrita en un lenguaje específico de representación de los conocimientos que contiene, y en el cual el experto humano puede definir su propio vocabulario técnico. La información se representa mediante reglas de producción o de redes semánticas, en donde la semántica se la puede representar mediante Grafos.»La Base de Hechos (Fact Database) almacena los datos propios correspondientes a los problemas que se desean tratar con la ayuda del sistema. Cumple con la misión de memorizar todos los resultados intermedios, permitiendo conservar el rastro de los razonamientos llevados a cabo.»el Motor de Inferencias es un programa que, mediante el empleo de los conocimiento, puede resolver el problema que esta especificado. Lo resuelve gracias a los datos que contiene la base de hechos del sistema experto. Su principal función es la de seleccionar, validar y activar algunas reglas que permiten obtener finalmente la solución correspondiente al problema planteado.
41 UT5 : SISTEMAS EXPERTOS Una Regla es una afirmación lógica que relaciona dos o más objetos e incluye dos partes, la premisa y la conclusión. Cada una de estas partes consiste en una expresión lógica con una o más afirmaciones objeto-valor conectadas mediante los operadores lógicos «y», «o» o «no». Forma de Representar el conocimiento de manera natural SI premisa ENTONCES consecuente Premisa: Conjunciones de atributos de un mismo dominio. Consecuente: Atributo que pasaran a ser conocidos para el sistema.
42 UT5 : SISTEMAS EXPERTOS Estrategias de Encadenamiento de Inferencias En un sistema basado en reglas, el mecanismo de inferencia determina cuales antecedentes de regla, si hay alguno, queda satisfecho por los hechos.»método de Encadenamiento hacia adelante: Implica el razonamiento desde los hechos hacia las conclusiones que resultan de ellos. CLIPS esta diseñado para el encadenamiento hacia adelante.»encadenamiento hacia atrás: Implica el razonamiento en reversa desde una hipótesis, que habrá de comprobar una posible conclusión, a los hechos que la sustentan. De esta forma observemos que la hipótesis puede verse como un hecho cuya veracidad esta en duda y necesita establecerse, siendo esta un objetivo a probar
43 LABIA 18/06/ Preguntas 43
44 BIBLIOGRAFIA»ESTRUCTURAS DE MATEMÁTICAS DISCRETAS. Bernard Kolman. Robert Busby & Sharon Ross »MATEMÁTICA DISCRETA Y LÓGICA. Roberto H. Fanjul 2005.»MATEMÁTICAS DISCRETAS - SEXTA EDICIÓN Richard Johnsonbaugh - PRENTICE HALL INC »LÓGICA COMPUTACIONAL. Roberto H. Fanjul. Autor y Editor. Primera Edición 2005.»MATEMÁTICAS DISCRETA Y COMBINATORIA Ralph P. Grimaldi- Addison Wesley Longman 2001.
45 Preguntas? GRACIAS!»
Lógica de Proposiciones y de Predicado
Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT »Grafos: Definiciones y Ejemplos. Representación Matricial. Adyacencia de Nodos y Aristas. SubGrafos, Complementos e Isomorfismos
Más detallesTEMA IV TEORÍA DE GRAFOS
TEMA IV TEORÍA DE GRAFOS Poli Abascal Fuentes TEMA IV Teoría de grafos p. 1/? TEMA IV 4. TEORÍA DE GRAFOS 4.1 GRAFOS 4.1.1 Introducción 4.1.2 Definiciones básicas 4.1.3 Caminos y recorridos 4.1.4 Subgrafos,
Más detallesLógica de Proposiciones y de Predicado
Lógica de Proposiciones y de Predicado Franco D. Menendez LABIA FACET - UNT Contenido de la Materia UNIDAD TEMÁTICA 1: SINTAXIS Y SEMANTICA DEL LENGUAJE FORMAL»SINTAXIS: Introducción. Definición del lenguaje
Más detallesCentro Asociado Palma de Mallorca. Tutor: Antonio Rivero Cuesta
Centro Asociado Palma de Mallorca Lógica y Estructuras Discretas Tutor: Antonio Rivero Cuesta Tema 5 Teoría de Grafos Conceptos Básicos Un grafo consta de: Grafo Un conjunto de nodos, Un conjunto de aristas
Más detallesUn grafo G = (V, E) se dice finito si V es un conjunto finito.
1 Grafos: Primeras definiciones Definición 1.1 Un grafo G se define como un par (V, E), donde V es un conjunto cuyos elementos son denominados vértices o nodos y E es un subconjunto de pares no ordenados
Más detallesTeoría de Grafos Introducción Grafos isomorfos
Capítulo 1 Teoría de Grafos 1.1. Introducción Definición. Denominaremos pseudomultigrafo a una terna (V,E, γ), donde V y E son conjuntos y γ : E {{u,v}: u,v V }. El conjunto V se denomina conjunto de vértices
Más detallesIntroducción a la Teoría de Grafos
Introducción a la Teoría de Grafos Flavia Bonomo fbonomo@dc.uba.ar do. Cuatrimestre 009 Programa Introducción a la teoría de grafos Problemas de camino mínimo Problemas de flujo máximo Programación lineal
Más detallesTema 1: Introducción a la Teoría de Grafos
Tema 1: Introducción a la Teoría de Grafos MATEMÁTICA A DISCRETA Nociones básicas Subgrafos. Operaciones con grafos Formas de definir un grafo Isomorfismo de grafos Tema 1: 1 Nociones básicas: Grafo: G
Más detallesDefiniciones y ejemplos.
V. Grafos Definiciones y ejemplos. Módulo 5 DEF. Sea V un conjunto finito no vacío, y sea El par (V, E) es llamada entonces grafo dirigido en V, donde V es el conjunto de vértices o nodos y E es su conjunto
Más detallesDefinición 1.1 Sea G = (V, A) un grafo no dirigido. G se denomina árbol si es conexo y no contiene ciclos.
Matemática Discreta y Lógica 2 1. Árboles Árboles Definición 1.1 Sea G = (V, A) un grafo no dirigido. G se denomina árbol si es conexo y no contiene ciclos. Como un lazo es un ciclo de longitud 1, un árbol
Más detallesTema 5 Árboles y Grafos.
Tema 5 Árboles y Grafos. Definiciones básicas de teoría de grafos. Un grafo consta de un conjunto de nodos, un conjunto de aristas y una correspondencia f del conjunto de aristas al conjunto de nodos.
Más detallesÁRBOLES CRISTIAN ALFREDO MUÑOZ ÁLVAREZ JUAN DAVID LONDOÑO CASTRO JUAN PABLO CHACÓN PEÑA EDUARDO GONZALES
ÁRBOLES CRISTIAN ALFREDO MUÑOZ ÁLVAREZ JUAN DAVID LONDOÑO CASTRO JUAN PABLO CHACÓN PEÑA EDUARDO GONZALES ÁRBOL Un árbol es un grafo no dirigido, conexo, sin ciclos (acíclico), y que no contiene aristas
Más detallesGrafos. Algoritmos y Estructuras de Datos III
Grafos Algoritmos y Estructuras de Datos III Grafos Un grafo G = (V, X ) es un par de conjuntos, donde V es un conjunto de puntos o nodos o vértices y X es un subconjunto del conjunto de pares no ordenados
Más detallesGrafos. AMD Grado en Ingeniería Informática. AMD Grado en Ingeniería Informática (UM) Grafos 1 / 30
Grafos AMD Grado en Ingeniería Informática AMD Grado en Ingeniería Informática (UM) Grafos / 0 Objetivos Al finalizar este tema tendréis que: Conocer la terminología básica de la teoría de grafos. Pasar
Más detallesGRAFOS. 1. La matriz de adyacencia del grafo G es
GRAFOS. La matriz de adyacencia del grafo G es entonces, A) G es un pseudografo B) G es un grafo completo. G no es conexo Supongamos V={v,v,v,v } son los vértices del grafo. En los pseudografo están permitidas
Más detallesEn la fig. 1 se representa el grafo, G=(V,A) donde: V = {1, 2, 3, 4, 5, 6} A = { {1,2}, {1,3}, {1,5}, {3}, {3,4}, {4,5}, {5,6} }
Unidad 1 Parte 1 - Teoría de Grafos Introducción En este capítulo veremos la noción matemática de grafo y propiedades de los mismos. En capítulos subsiguientes veremos las estructuras de datos utilizadas
Más detallesLos elementos de V son los vértices (o nodos) de G y los elementos de A son las aristas (o arcos) de G.
MATERIAL TEÓRICO º Cuatrimestre Año 03 Prof. María Elena Ruiz Prof. Carlos Roberto Pérez Medina UNIDAD III: GRAFOS Definición: Llamaremos grafo a una terna G= (V, A, ϕ), donde V y A son conjuntos finitos,
Más detallesINDICE INTRODUCCION1 DESARROLLO2 GRAFOS (CONCEPTO).2 ARISTAS...2 VERTICES2 CAMINOS.3 CLASIFICACION DE GRAFOS...3 GRAFOS EULERIANOS.
INDICE INTRODUCCION1 DESARROLLO2 GRAFOS (CONCEPTO).2 ARISTAS...2 VERTICES2 CAMINOS.3 CLASIFICACION DE GRAFOS...3 GRAFOS EULERIANOS.7 GRAFOS CONEXOS7 ÁRBOLES..7 BOSQUES DE ÁRBOLES...8 RECORRIDO DE UN GRAFO..8
Más detallesMinicurso de Teoría de Gráficas Escuela de Verano 2014 por María Luisa Pérez Seguí Facultad de Ciencias Físico-Matemáticas, Universidad Michoacana
Minicurso de Teoría de Gráficas Escuela de Verano 014 por María Luisa Pérez Seguí Facultad de Ciencias Físico-Matemáticas, Universidad Michoacana Índice 1. Conceptos básicos 1 1.1. Nomenclatura...................................
Más detallesUNIVERSIDAD NACIONAL DE INGENIERÍA UNI-RUACS. Investigación de Operaciones
UNIVERSIDAD NACIONAL DE INGENIERÍA UNI-RUACS Facultad de Ingeniería Industrial Investigación de Operaciones Tema: Teoría de los Grafos Elaborado por: Ing. Carlos Alberto Moreno. Docente: Ing. Pastrana
Más detallesALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO I LOGICA Y CONJUNTOS.
ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO I LOGICA Y CONJUNTOS. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas Universidad de Concepción 1 La lógica es
Más detalles1. GRAFOS : CONCEPTOS BASICOS
1. GRAFOS : CONCEPTOS BASICOS Sea V un conjunto finito no vacio y sea E V x V. El par (V, E) es un grafo no dirigido, donde V es un conjunto de vértices o nodos y E es un conjunto de aristas. Denotaremos
Más detallesMatemáticas discretas II
Matemáticas discretas II (Teoría de gráficas) M. en C. Sergio Luis Pérez Pérez UAM CUAJIMALPA, MÉXICO, D. F. Trimestre 15-P Sergio Luis Pérez (UAM CUAJIMALPA) Curso de matemáticas discretas II 1 / 44 Conceptos
Más detallesObjetivos formativos de Matemática Discreta. Tema 1: Conjuntos, aplicaciones y relaciones
Objetivos formativos de Matemática Discreta Para cada uno de los temas el alumno debe ser capaz de hacer lo que se indica en cada bloque. Además de los objetivos que se señalan en cada tema, se considera
Más detallesMatemáticas Discretas Tc1003 Teoría de Grafos
Definición. Sea A un grafo. A recibe el nombre de árbol sí y sólo si: A es conexo. A no contiene circuitos. Ejemplos: Definición. Sea A un árbol. Un vértice de grado 1 se llama una hoja. Un vértice de
Más detallesCapítulo 2 El Método de Resolución
Capítulo 2 El Método de Resolución En este capítulo se realiza una descripción general del método de resolución, dado que el programa de razonamiento automático OTTER lo utiliza y prueba a través de refutación.
Más detallesContenido. Contenidos interactivos... xiii Plataforma de contenidos interactivos... xviii Prefacio... xix. Parte I Fundamentos...
Contenido Contenidos interactivos... xiii Plataforma de contenidos interactivos... xviii Prefacio... xix Parte I Fundamentos... 1 Capítulo I Lógica, conjuntos e inducción... 2 1.1 Introducción... 4 1.2
Más detallesRepresentaciones Matriciales de Grafos Isomorfismos de Grafos Grafos Planos. Matemática Discreta. Agustín G. Bonifacio UNSL. Teoría de Grafos III
UNSL Teoría de Grafos III Matriz de Adyacencia Matriz de Incidencia a b c d e a 0 1 0 0 1 b 1 0 1 0 1 c 0 1 2 0 1 d 0 0 0 0 2 e 1 1 1 2 0 Dado un grafo G = (V,E), la matriz de adyacencia de G, denotada
Más detallesHamilton, Euler y Dijkstra
UNIVERSIDAD CENTRAL DE VENEZUELA FACULTAD DE CIENCIAS ESCUELA DE COMPUTACION Matemáticas Discretas III (Cód. 6108) Práctica # 2 Hamilton, Euler y Dijkstra 1. Sea G = un multigrafo no dirigido donde
Más detallesEjercicios de Lógica Proposicional *
Ejercicios de Lógica Proposicional * FernandoRVelazquezQ@gmail.com Notación. El lenguaje proposicional que hemos definido, aquel que utiliza los cinco conectivos,,, y, se denota como L {,,,, }. Los términos
Más detallesCapítulo 3: Grafos Clase 1: Grafos: Modelos, tipos, representación e isomorfismo
Capítulo 3: Grafos Clase 1: Grafos: Modelos, tipos, representación e isomorfismo Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 4: Grafos 1 / 35 Por qué estudiamos
Más detallesÁlgebra y Matemática Discreta
Álgebra y Matemática Discreta Sesión de Teoría 5 (c) 2013 Leandro Marín, Francisco J. Vera, Gema M. Díaz 30 Sep 2013-6 Oct 2013 Primeras Definiciones Grafo Un grafo está definido por dos conjuntos, un
Más detallesMatemáticas Discretas Lógica
Coordinación de Ciencias Computacionales - INAOE Matemáticas Discretas Lógica Cursos Propedéuticos 2010 Ciencias Computacionales INAOE Lógica undamentos de Lógica Cálculo proposicional Cálculo de predicados
Más detallesTeoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes
FUNCIONES DE VARIABLE COMPLEJA 1 Teoremas: Condiciones Necesarias, Condiciones Suficientes y Condiciones Necesarias y Suficientes Lógica Matemática Una prioridad que tiene la enseñanza de la matemática
Más detallesUn GRAFO O GRAFO NO ORIENTADO es una terna G = {V, A,ϕ } conv
DEFINICIÓN 1: Un GRAFO O GRAFO NO ORIENTADO es una terna G = {V, A,ϕ } conv φ donde: V = {v 1, v 2,, v n }: conjunto finito de vértices o nodos. A = {a 1, a 2,, a n }: conjunto finito de aristas o lados
Más detallesNombre de la asignatura : Matemáticas Discretas. Carrera : Ingeniería en Sistemas Computacionales. Clave de la asignatura : SCB-9305
1. D A T O S D E L A A S I G N A T U R A Nombre de la asignatura : Matemáticas Discretas Carrera : Ingeniería en Sistemas Computacionales Clave de la asignatura : SCB-9305 Horas teoría-horas práctica-créditos
Más detallesPrograma de Asignatura
Departamento de Ingeniería Industrial Programa: Ingeniería Mecatrónica Plan 007- Asignatura: Tópicos de Matemáticas Discretas Clave: 9938 Semestre: II Tipo: Obligatoria H. Teoría: H Práctica: HSM: 4 Créditos:
Más detallesGrafos. Suponiendo que e = [u, v]. Entonces los nodos u y v se llaman extremos de e y u y v se dice que son nodos adyacentes o vecinos.
Grafos Los grafos son estructuras que constan de vértices o nodos y de aristas o arcos que conectan los vértices entre sí. Un grafo G consiste en dos cosas: 1. Un conjunto V de elementos llamados nodos
Más detalles2007 Carmen Moreno Valencia
Tema VIII. Grafos Grafos 1 2007 Carmen Moreno Valencia 1. Grafos, digrafos y multigrafos 2. Grafos eulerianos 3. Matrices de adyacencia e incidencia 4. Exploración de grafos pesados 1. Grafos, digrafos
Más detallesRecordatorio Basico de Álgebra para Lógica
Recordatorio Basico de Álgebra para Lógica Guido Sciavicco 1 Conjuntos Definición 1 Un conjunto es una colleccion, finita o infinita, de elementos. Ejemplo 2 La colleccion de los elementos a, b, c, denotada
Más detallesTEMA 5 El tipo grafo. Tipo grafo
TEMA 5 El tipo grafo PROGRAMACIÓN Y ESTRUCTURAS DE DATOS Tipo grafo 1. Concepto de grafo y terminología 2. Especificación algebraica. Representación de grafos.1. Recorrido en profundidad o DFS.2. Recorrido
Más detallesLÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS
LÓGICA DE PROPOSICIONAL Y PREDICADOS INGENIERÍA DE SISTEMAS Patricia Zamora Villalobos John Alexander Coral Llanos Josué Maleaño Trejos Prof. Francisco Carrera Fecha de entrega: miércoles de setiembre
Más detallesFACULTAD DE INGENIERÍA INDUSTRIAL Y DE SISTEMAS SÍLABO
FACULTAD DE INGENIERÍA INDUSTRIAL Y DE SISTEMAS SÍLABO 1. GENERALIDADES 1.1. Denominación de Asignatura : Introducción a la Matemática Discreta 1.2. Código : I115 1.3. Fecha de Aprobación : enero de 2011
Más detallesEstructuras algebraicas. Departamento de Álgebra. Apuntes de teoría
ESTRUCTURAS ALGEBRAICAS GRADO EN MATEMÁTICAS. CURSO 2015/2016 Apuntes de teoría Tema 1: Grupos y subgrupos. 1.1. Introducción Definición 1.1. Un grupo es un par (G, ), donde G es un conjunto no vacío,
Más detallesTEMA 1: LÓGICA. p p Operador conjunción. Se lee y y se representa por. Su tabla de verdad es: p q p q
TEMA 1: LÓGICA. Definición. La lógica es la ciencia que estudia el razonamiento formalmente válido. Para ello tiene un simbolismo que evita las imprecisiones del lenguaje humano y permite comprobar la
Más detallesIntroducción a la Teoría de Grafos
Introducción a la Teoría de Grafos Conceptos Simples, Problemas Difíciles Héctor Ramírez C. 1 1 Departamento de Ingeniería Matemática Universidad de Chile Curso MA3701: Optimización Héctor Ramírez C. (U.
Más detallesDefinición 1: Un grafo G es una terna ordenada (V(G), E(G), Ψ
Título: Un Arbol Natural Autor: Luis R. Morera onzález Resumen En este artículo se crea un modelo para representar los números naturales mediante un grafo, el cual consiste de de un árbol binario completo
Más detallesMatemáticas Discretas L. Enrique Sucar INAOE. Teoría de Grafos. Problema de los puentes de Königsberg [Euler]
Matemáticas Discretas L. Enrique Sucar INAOE Teoría de Grafos Problema de los puentes de Königsberg [Euler] Teoría de Grafos Definición y terminología Tipos de grafos Trayectorias y circuitos Isomorfismo
Más detallesTema 5: Teoría de la Demostración en Predicados
Tema 5: Teoría de la Demostración en Predicados Resumen introducción lógica de predicados Resumen introducción lógica de predicados Conceptos: ahora para lógica de predicados de 1 er orden Estructura deductiva
Más detallesÁrboles. Un grafo no dirigido es un árbol si y sólo si existe una ruta unica simple entre cualquiera dos de sus vértices.
ÁRBOLES Árboles Un grafo conectado que no contiene circuitos simples. Utilizados desde 1857, por el matemático Ingles Arthur Cayley para contar ciertos tipos de componentes químicos. Un árbol es un grafo
Más detallesCIENCIAS FORMALES CIENCIAS FÁCTICAS
UNA CLASIFICACIÓN DE LAS CIENCIAS CIENCIAS FORMALES CIENCIAS FÁCTICAS CIENCIAS FORMALES MATEMÁTICA LÓGICA CIENCIAS FÁCTICAS FÍSICA BIOLOGÍA QUÍMICA CIENCIAS SOCIALES OTRAS CIENCIAS FORMALES VOCABULARIO
Más detallesTema: Los Grafos y su importancia para la optimización de redes.
Tema: Los Grafos y su importancia para la optimización de redes. Qué son los Grafos? Un grafo es una dupla G= {X,U}, donde X es un conjunto finito y no vacio de elementos llamados vértices y U es el conjunto
Más detallesTema 1: Sintaxis y Semántica de la Lógica Proposicional
Tema 1: Sintaxis y Semántica de la Lógica Proposicional Dpto. Ciencias de la Computación e Inteligencia Artificial Universidad de Sevilla Lógica y Computabilidad Curso 2010 11 LC, 2010 11 Lógica Proposicional
Más detallesCapítulo 2 Conjuntos. 2.1 Introducción. 2.2 Determinación de conjuntos. Definición:
Capítulo 2 Conjuntos 2.1 Introducción El concepto de conjunto, de singular importancia en la ciencia matemática y objeto de estudio de una de sus disciplinas más recientes, está presente, aunque en forma
Más detallesLógica Clásica Proposicional
Lógica Clásica Proposicional Lógica Computacional Departamento de Matemática Aplicada Universidad de Málaga 10 de enero de 2008 Contenido 1 Sintaxis Alfabeto Fórmulas bien formadas Funciones recursivas
Más detallesIntroducción a la Lógica
Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí
Más detallesTema 5: Grafos. Índice. E. Martín, A. Méndez, C. Ortiz y J. Sendra. Febrero de Guía del tema. 1. Grafos 1
Tema 5: Grafos E. Martín, A. Méndez, C. Ortiz y J. Sendra Febrero de 2011 Índice Guía del tema II 1. Grafos 1 2. Pseudografos, Multigrafos, Digrafos 3 3. Isomorfismos entre grafos 4 4. Primer teorema de
Más detallesA5 Introducción a la optimización en redes
48 Materials David Pujolar Morales A5 Introducción a la optimización en redes Definición 1. Grafo finito. Sea un V un conjunto no vacío con un número finito de elementos y E una familia finita de pares
Más detallesUNIVERSIDAD AUTÓNOMA DE SINALOA FACULTAD DE ADMINISTRACIÓN AGROPECUARIA Y DESARROLLO RURAL (FAADER) LIC. EN INFORMÁTICA
UNIVERSIDAD AUTÓNOMA DE SINALOA FACULTAD DE ADMINISTRACIÓN AGROPECUARIA Y DESARROLLO RURAL (FAADER) LIC. EN INFORMÁTICA 1 Asignatura Propósito del curso: Clave: DATOS DE IDENTIFICACIÓN Matemáticas discretas
Más detallesIndice. 1. Tipos de grafos. 2. Conceptos Básicos 3. Representación de grafos 4. Subgrafos. Grafos complementarios
Teoría de Grafos 1 1. Tipos de grafos Indice 2. Conceptos Básicos 3. Representación de grafos 4. Subgrafos. Grafos complementarios 5. Caminos y conectividad 6. Grafos Bipartitos 2 Tipos de Grafos Un grafo
Más detallesAlgoritmos y Estructuras de Datos III
Árboles Algoritmos y Estructuras de Datos III Árboles Definición: Un árbol es un grafo conexo sin circuitos simples. Árboles Teorema: Dado un grafo G = (V, X ) son equivalentes: 1. G es un árbol. 2. G
Más detallesHacia las gráficas: una introducción básica
Hacia las gráficas: una introducción básica Ilán A. Goldfeder Versión 0.0.21 1 Gráficas Definición 1. Una gráfica G es un par ordenado(v(g),a(g)) donde, para el presente texto, V(G) es un conjunto arbitrario
Más detallesTEORIA DE GRAFOS. Estructuras Discretas Ing. Jenny Paredes Aguilar
TEORIA DE GRAFOS Estructuras Discretas Ing. Jenny Paredes Aguilar INTRODUCCION Teoria de grafos se usa en numerosos problemas cuantificables, en las organizaciones, intervienen una serie de elementos entre
Más detallesSintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES. Funciones boolenas. Semántica
Proposiciones atómicas y compuestas Sintaxis LÓGICA COMPUTACIONAL CÁLCULO DE PROPOSICIONES Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@cienciasunammx Página
Más detallesEs un conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre
Es un conjunto de objetos llamados vértices o nodos unidos por enlaces llamados aristas o arcos, que permiten representar relaciones binarias entre elementos de un conjunto. Típicamente, un grafo se representa
Más detallesAlgoritmos y Estructuras de Datos III
Árboles Algoritmos y Estructuras de Datos III Árboles Definición: Un árbol es un grafo conexo sin circuitos simples. Árboles Teorema: Dado un grafo G = (V, X ) son equivalentes: 1. G es un árbol. 2. G
Más detallesDefinición 1 Un semigrupo es un conjunto E provisto de una operación binaria asociativa sobre E, se denota por (E, ).
ALGEBRA La primera parte del presente libro está dedicada a las estructuras algebraicas. En esta parte vamos a iniciar agregándole a los conjuntos operaciones. Cuando las operaciones tienen determinadas
Más detallesCapítulo 4: Grafos Clase 2: Caminos, Circuitos Eulerianos y Hamiltonianos
Capítulo 4: Grafos Clase 2: Caminos, Circuitos Eulerianos y Hamiltonianos Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 4: Grafos 1 / 29 Navegación de grafos
Más detallesTÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad
TÍTULO: MATEMÁTICA DISCRETA Y LÓGICA Disponibilidad Calculo proposicional 1 Argumentos y proposiciones lógicas 1 Algunos argumentos lógicos importantes 2 Proposiciones 4 Conexiones lógicas 5 Negación (tabla)
Más detallesSesión 4: Teoría de Grafos
Modelos Gráficos Probabilistas L. Enrique Sucar INAOE Sesión 4: Teoría de Grafos Problema de los puentes de Königsberg [Euler] Teoría de Grafos Definición y terminología Tipos de grafos Trayectorias y
Más detallesRECORRIDO EN ARBOLES
RECORRIDO EN ARBOLES Orlando Arboleda Molina Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle 16 de septiembre de 2008 Contenido Recorrido en árboles Definición Recorrido en
Más detallesTema 2: Teoría de la Demostración
Tema 2: Teoría de la Demostración Conceptos: Estructura deductiva Teoría de la Demostración Sistemas axiomáticos: Kleene Fórmulas válidas Teorema de la Deducción Introducción a la T. de la Demostración
Más detallesLógica Proposicional. Cátedra de Matemática
Lógica Proposicional Cátedra de Matemática Abril 2017 Qué es la lógica proposicional? Es la disciplina que estudia métodos de análisis y razonamiento; utilizando el lenguaje de las matemáticas como un
Más detallesCarrera: SCB Participantes. Representantes de la academia de sistemas y computación de los Institutos Tecnológicos.
1.- DATOS DE LA ASIGNATURA Nombre de la asignatura: Carrera: Clave de la asignatura: Horas teoría-horas práctica-créditos Matemáticas para computación Ingeniería en Sistemas Computacionales SCB - 0422
Más detallesAlgebra Matricial y Teoría de Grafos
Algebra Matricial y Teoría de Grafos Unidad 3: Nociones de teoría de grafos Luis M. Torres Escuela Politécnica del Litoral Quito, Enero 2008 Maestría en Control de Operaciones y Gestión Logística p.1 Contenido
Más detallesCapítulo 8 Sistemas completos de contectivos
Capítulo 8 Sistemas completos de contectivos por G 3 Agosto 2014 Resumen Un conectivo de aridad n, es una función que asigna un valor de verdad a un conjunto de n proposiciones ordenadas. Mostramos que
Más detallesLógicaS Modales. Ricardo Oscar Rodríguez Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina.
Departamento de Computación, Fac. Ciencias Exactas y Naturales, Universidad de Buenos Aires, Argentina. Segunda Clase. 1er. Cuatrimestre, 2016 Outline 1 Repaso clase anterior Sintáxis Lógicas Modales Autocongruentes
Más detallesTEORÍA DE GRAFOS Ingeniería de Sistemas
TEORÍA DE GRAFOS Ingeniería de Sistemas Código: MAT-31114 AUTORES Ing. Daniel Zambrano Ing. Viviana Semprún UNIDADES DE LA ASIGNATURA» UNIDAD I. Relaciones» UNIDAD II. Estructuras Algebraicas» UNIDAD III.
Más detallesSOBRE LOGICA MATEMATICA. Sandra M. Perilla-Monroy. Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia.
SOBRE LOGICA MATEMATICA Sandra M. Perilla-Monroy Departamento de Ciencias Básicas, Universidad Santo Tomás, Bogotá, Colombia. Resumen. sandraperilla@usantotomas.edu.co Carrera 9 No 51-11 Bogotá Colombia
Más detallesConjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación.
NÚMEROS REALES Conjuntos Los conjuntos se emplean en muchas áreas de las matemáticas, de modo que es importante una comprensión de los conjuntos y de su notación. Un conjunto es una colección bien definida
Más detallesEstructuras de Datos y Algoritmos
Estructuras de Datos y Algoritmos Tema 5.1. Árboles. Árboles binarios y generales Prof. Dr. P. Javier Herrera Contenido 1. Introducción 2. Terminología 3. Árboles binarios 4. Árboles generales Tema 5.1.
Más detallesLos Teoremas de Incompletitud de Gödel: Parte II: Coherencia y completitud
Los Teoremas de Incompletitud de Gödel: Parte II: Coherencia y completitud Guillermo Morales Luna Departmento de Computación CINVESTAV-IPN gmorales@cs.cinvestav.mx 2-o Encuentro Nacional de Epistemología
Más detallesLógica de predicados
Lógica de predicados Cálculo de predicados Hay ciertos argumentos que parecen ser perfectamente lógicos y que no pueden ser especificados usando cálculo proposicional. Ejemplos: Todos los gatos tienen
Más detallesCapítulo 7. Grafos. Continuar
Capítulo 7. Grafos Continuar Introducción Uno de los primeros resultados de la teoría de grafos fue el que obtuvo Leonhard Euler en el siglo XVIII al resolver el problema de los puentes de Königsberg.
Más detallesCálculo de predicados. Lógica de predicados. Cálculo de predicados. Cálculo de predicados 08/06/2011
Lógica de predicados Hay ciertos argumentos que parecen ser perfectamente lógicos y que no pueden ser especificados usando cálculo proposicional. Ejemplos: Todos los gatos tienen cola Tomás es un gato
Más detallesMATEMÁTICAS BÁSICAS. 23 de febrero de Universidad Nacional de Colombia MATEMÁTICAS BÁSICAS
23 de febrero de 2009 Parte I Lógica Proposiciones Considere las siguientes frases Páseme el lápiz. 2 + 3 = 5 1 2 + 1 3 = 2 5 Qué hora es? En Bogotá todos los días llueve Yo estoy mintiendo Maradona fue
Más detallesCoordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo. Contenidos
Coordinación de Matemática I (MAT021) 1 er Semestre de 2013 Semana 1: Lunes 11 Viernes 16 de Marzo Complementos Contenidos Clase 1: Elementos de lógica: Conectivos, tablas de verdad, tautologías y contingencias.
Más detallesTeoría de Grafos. 5.1 Introducción.
Capítulo Teoría de Grafos.. Introducción. Los grafos se utilizan para modelar situaciones en las que se relacionan entre sí pares de objetos de una determinada colección. Gráficamente, el modelo consiste
Más detallesARBOLES GENERADORES. Orlando Arboleda Molina. 16 de septiembre de Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle
ARBOLES GENERADORES Orlando Arboleda Molina Escuela de Ingeniería de Sistemas y Computación de La Universidad del Valle 16 de septiembre de 2008 Contenido Árboles generadores Algoritmo búsqueda por profundidad
Más detallesÍndice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción
Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad
Más detallesIntroducción. El uso de los símbolos en matemáticas.
Introducción El uso de los símbolos en matemáticas. En el estudio de las matemáticas lo primero que necesitamos es conocer su lenguaje y, en particular, sus símbolos. Algunos símbolos, que reciben el nombre
Más detallesTrayectorias y circuitos Eulerianos y Hamiltonianos,
Trayectorias y circuitos Eulerianos y Hamiltonianos, Eulerianos Trayectoria de Euler: recorrer una gráfica G utilizando cada arista de la gráfica sólo una vez, puede ser necesario o no comenzar y terminar
Más detallesTema 2: Grafos y Árboles. Algoritmos y Estructuras de Datos 3
Tema 2: Grafos y Árboles Algoritmos y Estructuras de Datos 3 1 ÍNDICE 2.1 Definiciones básicas: grafos y árboles 2.2 Representaciones de árboles y grafos 2.3 Algoritmos de recorrido de árboles binarios
Más detallesSESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES
SESIÓN N 07 III UNIDAD RELACIONES Y FUNCIONES RELACIONES BINARIAS PAR ORDENADO Es un arreglo de dos elementos que tienen un orden determinado donde a es llamada al primera componente y b es llamada la
Más detallesTEMA I INTRODUCCIÓN A LA LÓGICA
TEMA I INTRODUCCIÓN A LA LÓGICA Policarpo Abascal Fuentes TEMA I Introducción a la lógica p. 1/6 TEMA 1 1. INTRODUCCIÓN A LA LÓGICA 1.1 INTRODUCCIÓN 1.2 LÓGICA PROPOSICIONAL 1.2.1 Conexiones lógicas 1.2.2
Más detallesEn lo particular, esta materia permitirá al alumno aplicar las herramientas básicas de matemáticas discretas en:
Nombre de la asignatura: Matemáticas Discretas Créditos: 3 2-5 Aportación al perfil En lo particular, esta materia permitirá al alumno aplicar las herramientas básicas de matemáticas discretas en: El análisis
Más detallesEn general, se considera válido un razonamiento cuando sus premisas ofrecen soporte suficiente a su conclusión.
Se llama razonamiento lógico al proceso mental de realizar una inferencia de una conclusión a partir de un conjunto de premisas. La conclusión puede no ser una consecuencia lógica de las premisas y aun
Más detallesÁLGEBRA I. Curso Grado en Matemáticas
ÁLGEBRA I. Curso 2012-13 Grado en Matemáticas Relación 1: Lógica Proposicional y Teoría de Conjuntos 1. Establecer las siguientes tautologías: (a) A A A (b) A A A (c) A B B A (d) A B B A (e) (A B) C A
Más detallesTema 1: Conjuntos. Miguel Ángel Olalla Acosta Departamento de Álgebra Universidad de Sevilla. Septiembre de 2017
Tema 1: Conjuntos Miguel Ángel Olalla Acosta miguelolalla@us.es Departamento de Álgebra Universidad de Sevilla Septiembre de 2017 Olalla (Universidad de Sevilla) Tema 1: Conjuntos Septiembre de 2017 1
Más detallesEl origen: Los puentes de Königsberg. Grafos. Algoritmos y Estructuras de Datos III. Leonhard Euler ( )
El origen: Los puentes de Königsberg Grafos Algoritmos y Estructuras de Datos III Leonhard Euler (1707 1783) El origen: Los puentes de Königsberg La ciudad de Königsberg (hoy Kaliningrado) tenía en el
Más detalles