TEMA 3 (parte 2). Representación del Conocimiento
|
|
- Bernardo Contreras Paz
- hace 8 años
- Vistas:
Transcripción
1 TEMA 3 (parte 2). Representación del Conocimiento Francisco José Ribadas Pena INTELIGENCIA ARTIFICIAL 5 Informática ribadas@uvigo.es 13 de noviembre de 2009 FJRP ccia [Inteligencia Artificial]
2 3.2.2 Lógica de Predicados Mayor expresividad que la lógica de proposiciones En lógica de proposiciones: hecho = proposición Tantas proposiciones como hechos se quieran representar Proposiciones no tienen estructura interna No se puede expresar conocimiento sobre conjuntos de hechos Ejemplo: Mundo de los bloques B C A sobre C B sobre C B libre C sobre A C sobre C A libre C sobre B A sobre B A libre B sobre B C sobre B C libre B sobre C A... sobre A B Solución: Lógica de predicados de 1 er orden Representa un mundo constituido por objetos (=elementos individuales del dominio) Esos objetos tienen propiedades Existen relaciones entre objetos Se puede generalizar sobre los objetos, sus propiedades y relaciones FJRP ccia [Inteligencia Artificial] 1
3 (a) SINTAXIS ELEMENTOS Términos: Representan objetos del dominio Constantes: Representan un objeto individual en concreto notación: cadenas de caracteres, comienzan en mayúsculas Ejemplos: Juan, Mi coche,... Funciones: Representan (impĺıcitamente) un objeto individual que está relacionado con los n objetos que participan en la función notación: símbolo de función (cadena, comienza con Mays.) con aridad n + n argumentos (términos) entre paréntesis Ejemplos: P adre de(juan), Hijo de(p edro, Ana), Coseno(45)... Variables: j Representan objetos sin indicar cuáles referirse a un objeto específico no identificado Uso: referirse a un conjunto de objetos notación: cadenas de caracteres en minúsculas Ejemplos: x, y, padre, hijo,... Predicados: Representan una propiedad de un término (si aridad 1) o relaciones entre k términos (si aridad k > 1) notación: cadenas de caracteres + k términos (variables, constantes, funciones) entre paréntesis Átomos: fórmulas bien formadas (f.b.f.) compuestas por un único predicado Literales: Átomo o negación de un átomo. Ejemplos: Asesina(Juan, x), Es alto(juan), V ive con(juan, P adre de(juan)),... FJRP ccia [Inteligencia Artificial] 2
4 FÓRMULAS BIEN DEFINIDAS (oraciones lógicas) Formadas a partir de átomos (=predicados) aplicando conectivas lógicas y cuantificadores Conectivas:,,,, IDEM que en lógica proposicional Ejemplos: Hermano(Juan, Luis) Hijo(Luis, P edro) T io(juan, P edro) Cuantificadores: (, ) Permiten expresar propiedades sobre grupos de objetos sin tener que enumerarlos todos cuantificador universal ( ): para todo Afirmaciones sobre un conjunto de objetos x α: afirma que α es cierto para cualquier valor por el que sustituya la variable x x Hermano(Juan, Luis) Hijo(Luis, x) T io(juan, x) Juan es el tio de los hijos de Luis cuantificador existencial ( ): existe Afirmaciones sobre algunos objetos del dominio x α: afirma que existe al menos un objeto del dominio para el cual α es cierto Alcance del cuantificador: sentencia lógica que le sigue La variable que sigue al cuantificador está definida en todo el alcance del cuantificador variables cerradas (ligadas): asociadas a símbolos cuantificadores variables libres: no cuantificadas Una f.b.f. con todas las variables ligadas se dice que es una f.b.f. cerrada, si no es así se dirá f.b.f. abierta nota: Lógica de proposiciones = lógica de predicados de orden 0 los predicados no tienen argumentos (son proposiciones) no existen constantes, variables, funciones, cuantificadores FJRP ccia [Inteligencia Artificial] 3
5 (b) SEMÁNTICA Representamos un mundo donde hay: Un n o infinito de objetos individuales representados por símbolos de constantes y variables Pueden ser entidades concretas (personas, cosas) o abstractas (números, eventos) Un n o infinito de objetos definidos en función de otros objetos, representados por símbolos de función Relaciones entre los objetos del dominio, representadas por símbolos de predicado Si la aridad es 1, se habla de propiedades de objetos INTERPRETACIONES: Una interpretación establece las relaciones anteriores entre los símbolos de la lógica y los elementos del mundo real asocia a las constantes objetos del mundo asocia a las funciones relaciones funcionales entre objetos asocia a los predicados relaciones entre objetos Más compleja que en lógica de proposiciones FJRP ccia [Inteligencia Artificial] 4
6 dominio de una interpretación: Conjunto de objetos del mundo que se manejan en una interpretación Formalmente: Dada una conceptualización formada por: U: universo de discurso (conj. de individuos/objetos) R: conj. finito de relaciones entre objetos de U F : conj. finito de funciones que asocian a 1 objetos de U con 1 o más objetos de U Una interpretación i es una función que asocia símbolos del lenguaje con elementos del la conceptualización verificando: Si c es un símbolo de constante, i(c) U Si P es un símbolo de predicado de aridad k, i(p ) U k Si f es un símbolo de función de aridad k, i(f) = U k U Conceptualmente se pueden definir estas relaciones sobre U extensionalmente, enumerando en forma de tuplas, los objetos del mundo real que participan en ellas Ejemplo: FJRP ccia [Inteligencia Artificial] 5
7 SATISFACTIBILIDAD Asignación de variables(a): Función que asina a objetos de U con las variables de una f.b.f. Los átomos (predicados) pueden tener variables. Sólo se pueden asignar valores de verdad a una fórmula atómica si todas sus variables están asignadas El valor de verdad de un átomo con todas sus variables asignadas, es verdadero si y sólo si los objetos del dominio cumplen la relación que representa ese predicado el valor de verdad de una interpretación i depende de la asignación de variables considerada Para las f.b.f. no atómicas, su valor de verdad se obtiene combinando valores de verdad de acuerdo a las tablas de verdad de las conectivas (idem que lóg. proposiciones) y al significado de los cuantificadores x α : será V si α es V en cq. asignación de la variable x x α : será V si α es V en al menoa 1 asignación de la var. x j interpretación (i) La asignación de verdad es relativa a: asignac. de variables (A) nota: Una f.b.f. puede ser V o F en una misma conceptualización dependiendo de la interpretación y la asignación de variables Def.:sactisfactibilidad En una conceptualización, una interpretación i y una asignación de variables A, satisfacen una f.b.f. Ψ si hacen V a esa f.b.f. Notación: = ia Ψ ( Ψ se satisface para i y A ) Ψ es satisfactible si y sólo si i y A tales que = ia Ψ Ψ es válida si y sólo si i y A tales que = ia Ψ Una f.b.f. válida sin variables se denomina tautología Extensión a conjuntos de f.b.f. Φ = {Ψ 1,..., Ψ n } idem que en lógica proposicional FJRP ccia [Inteligencia Artificial] 6
8 MODELOS Una interpretación i es modelo de Ψ (respectivamente de Φ) si Ψ se satisface con esa i para todas las posibles asignaciones de variables Notación: = i Ψ modelo mínimo: Ningún subconjunto de esa interpretación es un modelo conclusión: Inaplicable tabla de verdad exhaustiva como mecanismo de evaluación EQUIVALENCIA E IMPLICACIÓN LÓGICA Ψ 1 y Ψ 2 son lógicamente equivalentes si sus valores de verdad son idénticos bajo todas las interpretaciones y asignaciones de variables. Ψ 1 Ψ 2 Implicación lógica Φ = Ψ si y sólo si interpretación i y asignación A para las cuales se satisface Φ, también se satisface Ψ Φ = Ψ sii Φ = ia Ψ i A Equivalencias Lógicas (sobre cuantificadores) j ( x α) x α Leyes de DeMorgan: ( x α) x α conjunción infinita, disyunción infinita j x α y α Renombrado de variables: x α y α j x y α y x α x, y α Ordenación cuantificadores: x y α y x α x, y α FJRP ccia [Inteligencia Artificial] 7
9 (c) REGLAS DE INFERENCIA Reglas inferencia de lógica proposicional siguen siendo válidas Se deben generalizar para manejar variables Existen nuevas reglas de inferencia para manejar cuantificadores SUSTITUCIÓN sust(θ, α) representa a la f.b.f. resultado de aplicar la sustitución Θ a la f.b.f. α Una sustitución es un conjunto ordenado de pares de términos (termino, termino), donde al menos uno de ellos es un símbolo de variable Ejemplo: Θ = {x/juan, y/ana, z/p adre de(juan),...} Una sustitución reemplaza en α el primer término de cada par de la lista por el término asociado. Los reemplazos se realizan iterativamente de forma ordenada REGLAS INFERENCIA CUANTIFICADORES eliminación del universal (generaliza introd. de la conjunción) Dada una f.b.f. α, una variable v y un término g (constante o función): v α sust({v/g}, α) Ejemplo: Usando la sustitución {x/billgates} x T ienedinero(x) EsRico(x) T ienedinero(billgates) EsRico(BillGates) FJRP ccia [Inteligencia Artificial] 8
10 introducción del existencial (generaliza introd. de la disyunción) Dada una f.b.f. α, una variable v no presente en α y un término g presente en α: α v sust({g/v}, α) Ejemplo: Usando la sustitución {Juan/x} Casados(Juan, Ana) x Casados(x, Ana) hay alguien casado con Ana nota: Ambos son sólidos (correctos) GENERALIZACIÓN MODUS PONENS Siendo p i, q i y r literales y Θ una sustitución que asegure sust(θ, p i ) = sust(θ, q i ) i (todos los p i unifican con los q j ) p 1, p 2,..., p n q 1 q 2... q n r sust(θ, r) Tenemos n literales + 1 implicación con n antecedentes. Si hay una sustitución que unifique los n literales con los n antecedentes, obtenemos el resultado de aplicar la sustitución sobre el consecuente. Ejemplo: Mediante la sustitución Θ = {x/juan, y/ana} Hombre(Juan), M ujer(ana), Liados(Juan.Ana) x y Hombre(x) M ujer(y) Liados(x, y) Casados(x, y) Casados(Juan, Ana) [= sust(θ, Casados(x, y))] FJRP ccia [Inteligencia Artificial] 9
11 RESOLUCIÓN EN LÓGICA DE PREDICADOS Unificación Procedimiento sintáctico mediante el cual, dadas dos f.b.f. α y β se encuentra una sustitución Θ que aplicada sobre ellas, ambas resultan idénticas, esto es unificador(α, β) = Θ tal que sust(θ, α) = sust(θ, β) Θ se denomina unificador de las 2 f.b.f. α y β En caso de no existir un unificador el algoritmo falla Unificador más general (m.g.u.) El m.g.u. de α y β es aquel unificador Θ tal que cualquier otro unificador σ podrá obtenerse a partir de σ mediante una sustitución τ, esto es σ = sust(τ, Θ) cualquier otro unificador se puede construir a partir del m.g.u. Regla Resolución en lógica de predicados Siendo p i y q j dos literales para los cuales existe un unificador de la forma Θ = unificador(p i, q j ) p 1 p 2... p i... p n q 1 q 2... q j... q m sust(θ, p 1... p i 1 p i+1... p n q 1... q j 1 q j+1... q m ) FJRP ccia [Inteligencia Artificial] 10
12 PROCEDIMIENTO DE REFUTACIÓN Al igual que en lóg. proposicional, el conocimiento tiene que estar representado en forma de cláusulas (F.N.C.) Conjunción de disyunciones (claúsulas) Sólo hay cuantificadores universales Paso a Forma Normal Conjuntiva 1. Eliminar implicaciones j α β α β Usar relaciones: α β (α β) (β α) 2. Reducir ámbito de las negaciones8 < xα x α Usar DeMorgan + doble neg.: xα x α : α α 3. Independizar variables cuantificadas (renombrar variables ligadas) Asegurar que cada símbolo de variable esté ligado a un único cuantificador Ejemplo: xp (x) xq(x) x 1 P (x 1 ) x 2 Q(x 2 ) 4. Eliminar cuantificadores existenciales (skolemización) Las ocurrencias de variables cuantificadas existencialmente se sustituyen por: a) Una constante (S k ) no presente en la f.b.f. si el aparece al principio de la expresión xp (x) Q(x) P (S k ) Q(S k ) {x/s k } b) Una función (S k (...)) con tantos argumentos como cuantificadores universales ( ) haya antes del que cuantifica la variable x y zp (x) Q(y, z) P (x) Q(y, S k (x, y)) {z/s k (x, y)} FJRP ccia [Inteligencia Artificial] 11
13 5. Mover cuantificadores universales a la izquierda de la f.b.f. 6. Reordenar f.b.f. para obtener FNC Distribuir sobre : α (β γ) = (α β) (α γ) 7. Abandonar cuantificadores universales 8. Renombrar variables (si es necesario) para que ninguna variable aparezca en más de una cláusula Ejemplo 1: Pasar { xp (x)} { x y z[p (x, y, z) wr(x, y, z, w)]} a FNC 1. { xp (x)} { x y z[ P (x, y, z) wr(x, y, z, w)]} 2. { x P (x)} { x y z[ P (x, y, z) wr(x, y, z, w)]} 3. { x 1 P (x 1 )} { x 2 y z[ P (x 2, y, z) wr(x 2, y, z, w)]} 4. P (SK 1 ) { x 2 y[ P (x 2, y, SK 2 (x 2, y)) wr(x 2, y, SK 2 (x 2, y), w)]} 5. x 2, y, w P (SK 1 ) [ P (x 2, y, SK 2 (x 2, y)) R(x 2, y, SK 2 (x 2, y), w)] 6. Nada 7. P (SK 1 ) P (x 2, y, SK 2 (x 2, y)) R(x 2, y, SK 2 (x 2, y), w) 8. Nada Ejemplo 2: x[p (x) x(q(x) R(x))] FJRP ccia [Inteligencia Artificial] 12
14 REFUTACIÓN MEDIANTE RESOLUCIÓN (como en lóg. proposicional) 1. Convertir f.b.f. de Φ a FNC 2. Negar f.b.f. Ψ a demostrar y convertir a FNC 3. Unir cláusulas resultantes de Φ y Ψ en Π 4. Aplicar de forma exhaustiva la regla de resolución para lógica de predicados sobre Π. Seleccionar un par de cláusulas con dos átomos p y q tales que unifiquen con Θ = m.g.u.(p, q) Añadir resolvente a Π Parar si: Se generar la cláusula vacía (hay contradicción) Se verifica: Φ = Ψ No hay resolventes nuevos (no contradicción) Se verifica: Φ =/ Ψ nota: Además de comprobar si una f.b.f. Ψ es consecuencia lógica de Φ o no, la refutación mediante resolución permite responder preguntas mediante las sustituciones que dan lugar a la cláusula vacía. FJRP ccia [Inteligencia Artificial] 13
15 Ejemplo: Pasar a FNC la siguiente base de conocimientos 1. Asterix es un galo 2. Los romanos que son amigos de algún galo odian a César 3. Asterix ayudó a Marco 4. Marco es amigo de quien le ayuda 5. Quien odia a algún romano, lucha contra él 6. Marco es romano Comprobar si a partir de este conocimiento es posible demostrar que Marco odia a César mediante refutación. Base de conocimiento (Φ) 1. galo(asterix) (en FNC) 2. x [romano(x) ( y galo(y) amigo(x, y)) odia(x, Cesar)] 3. ayuda(asterix, M arco) (en FNC) 4. x [ayuda(x, Marco) amigo(marco, x)] 5. x y [romano(y) odia(x, y) lucha(x, y)] 6. romano(m arco) (en FNC) Hipótesis (Ψ = odia(m arco, Cesar)) FJRP ccia [Inteligencia Artificial] 14
16 PROPIEDADES PROCEDIMIENTO DE REFUTACIÓN Refutación mediante resolución en lógica de predicados es sólida (correcta) Si se llega a la cláusula vacía (Φ REFUTACION ) entonces Φ = Ψ. Refutación mediante resolución en lógica de predicados es completa Si Φ = Ψ, el procedimiento de refutación por resolución generará la cláusula vacía Refutación mediante resolución en lógica de predicados no es decidible Si Φ =/ Ψ el procedimiento de refutación mediante resolución puede no terminar ( bucle infinito ) Siempre parará si Φ = Ψ, pero puede no parar si Φ =/ No existe un método que nos pueda decir siempre si Φ =/ Ψ Se dice que la lógica de proposiciones es semidecidible Se puede determinar Φ = Ψ, pero a veces no se puede probar Φ =/ Ψ soluciones: Renunciar a la solidez o a la completitud Utilizar un lenguaje de representación menos expresivo cláusulas de Horn Ψ FJRP ccia [Inteligencia Artificial] 15
17 CLÁUSULAS DE HORN Todas las variables están cuantificadas universalmente ( impĺıcito) Cláusulas que tienen como máximo un literal positivo (sin negar) Todas las variables se suponen cuantificadas universalmente Cláusulas de Horn pueden escribirse como implicaciones Consecuente: literal atómico positivo Antecedente: conjunción de literales positivos (DeMorgan) p 1 p 2... p n q p 1 p 2... p n q Distinguimos reglas: q p 1 p 2... p n hechos: h objetivos: o 1 o 2... o k Regla de resolución para cláusulas de Horn Si b y d i unifican mediante Θ = unificador(b, d i ), inferimos: b a 1 a 2... a m ( b a 1... a m ) c d 1 d 2... d n ( c d 1... d n ) sust(θ, (c d 1... d i 1 a 1... a m d i+1... d n )) Cláusulas de Horn son la base de los intérpretes Prolog Se añaden simplificaciones para mejorar eficiencia Todas las inferencias se realizan por encadenamiento hacia atrás (desde objetivos a hechos) usando búsqueda en profundidad El orden de las cláusulas y de los antecedentes dentro de ellas es relevante (establece orden de búsqueda) Búsqueda en los antecedentes de IZQ a DER Procesamiento de las cláusulas en orden de definición Se omite el test de ocurencia (occur check, test de ciclicidad) en la rutina de unificación Hace unificaciones más eficientes (menos comprobaciones) Existe la posibilidad de no terminación (sustituciones cíclicas) Se omite la negación (si se soporta negación por fallo) FJRP ccia [Inteligencia Artificial] 16
18 3.2.4 Representación del conocimiento en lógica de predicados Fases generales en la construcción y utilización de una base de conocimientos 1. Conceptualización Decidir qué conceptos son relevantes en el dominio identificar objetos, propiedades y relaciones relevantes Definir un vocabulario para asignar símbolos a los conceptos relevantes vocabulario de predicados, funciones y constantes Se tratará de construir una ontología: conjunto, normalmente estructurado, de términos relevantes en un dominio 2. Codificación Traducción, de acuerdo al vocabulario, de todo el conocimiento considerado de interés a su representación en lógica de predicados Se construyen los axiomas del dominio (conjunto de f.b.f. Φ) Fórmulas que se consideran ciertas en el dominio actual (Base de Conocimiento) Codificar reglas y propiedades generales Codificar conocimiento específico de partida Añadir predicados concretos (hechos iniciales) Los valores de verdad/falsedad de esos predicados deben de estar respaldados por algún tipo de percepción del dominio real representado (sensores, consulta a BD, preguntas al usuario, etc,...) FJRP ccia [Inteligencia Artificial] 17
19 3. Actualización del conocimiento y consulta Durante la ejecución del sistema inteligente Se consulta /desencadena el procedimiento de inferencia (modus ponens, resolución,...) para obtener respuestas Distintas alternativas: Sistemas que sólo usan modus ponens, bien de forma progresiva (razonamiento hacia adelante) o regresiva (razonamiento hacia atrás) Sistemas que sólo usan resolución y refutación Etc,... Se actualiza el conocimiento introducir nuevos hechos modificar hechos existentes Sus valores de verdad deben estar respaldados por el mundo real Pasos comunes a los demás mecanismos de representación del conocimiento En general es un proceso largo, que se suele hacer de forma iterativa se ampĺıa y refina de forma iterativa la representación Suele necesitar la intervención de expertos del dominio (entrevistas, etc...) FJRP ccia [Inteligencia Artificial] 18
Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo
Significado de las f.b.f (fórmulas bien formadas) en términos de objetos, propiedades y relaciones en el mundo Semánticas del cálculo de predicados proporcionan las bases formales para determinar el valor
Más detallesMLM 1000 - Matemática Discreta
MLM 1000 - Matemática Discreta L. Dissett Clase 04 Resolución. Lógica de predicados c Luis Dissett V. P.U.C. Chile, 2003 Aspectos administrativos Sobre el tema vacantes: 26 personas solicitaron ingreso
Más detallesIIC 2252 - Matemática Discreta
IIC 2252 - Matemática Discreta L. Dissett Clase 04 Lógica de predicados. Reglas de inferencia en lógica de predicados. Lógica de predicados Definiciones básicas: Un predicado es una afirmación que depende
Más detallesIntroducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos
Introducción César Ignacio García Osorio Lógica y sistemas axiomáticos 1 La lógica ha sido históricamente uno de los primeros lenguajes utilizados para representar el conocimiento. Además es frecuente
Más detallesUNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONAL ASIGNATURA: INTRODUCCIÓN A LA COMPUTACIÓN CARRERAS: LICENCIATURA Y PROFESORADO EN CIENCIAS DE LA COMPUTACIÓN DEPARTAMENTO DE INFORMÁTICA FACULTAD DE CIENCIAS FÍSICO MATEMÁTICA
Más detallesPROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005. Jorge Pérez R.
PROLOG Inteligencia Artificial Universidad de Talca, II Semestre 2005 Jorge Pérez R. 1 Introducción a PROLOG PROLOG es un lenguaje interpretado basado en la lógica de predicados de primer orden. Puede
Más detallesCapítulo 4 PROLOG 4.1 Introducción
4.1 Introducción PROLOG es un lenguaje declarativo e interpretado, en este tipo de lenguajes se representan los conocimientos sobre un determinado dominio y sus relaciones. A partir de ese conocimiento,
Más detallespersonal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12
Teoría de conjuntos. Teoría de Conjuntos. personal.us.es/elisacamol Curso 2011/12 Teoría de Conjuntos. Teoría de conjuntos. Noción intuitiva de conjunto. Propiedades. Un conjunto es la reunión en un todo
Más detallesNotas de Clase para IL
Notas de Clase para IL 5. Deducción en Lógica de Primer Orden Rafel Farré, Robert Nieuwenhuis, Pilar Nivela, Albert Oliveras, Enric Rodríguez, Josefina Sierra 3 de septiembre de 2009 1 1. Formas normales
Más detallesPara representar los conjuntos, los elementos y la relación de pertenencia, mediante símbolos, tendremos en cuenta las siguientes convenciones:
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 informal,
Más detallesEscenas de episodios anteriores
Clase 16/10/2013 Tomado y editado de los apuntes de Pedro Sánchez Terraf Escenas de episodios anteriores objetivo: estudiar formalmente el concepto de demostración matemática. caso de estudio: lenguaje
Más detallesApuntes de Matemática Discreta 1. Conjuntos y Subconjuntos
Apuntes de Matemática Discreta 1. Conjuntos y Subconjuntos Francisco José González Gutiérrez Cádiz, Octubre de 2004 Universidad de Cádiz Departamento de Matemáticas ii Lección 1 Conjuntos y Subconjuntos
Más detallesRepaso de Lógica de Primer Orden
Repaso de Lógica de Primer Orden IIC3260 IIC3260 Repaso de Lógica de Primer Orden 1 / 29 Lógica de primer orden: Vocabulario Una fórmula en lógica de primer orden está definida sobre algunas constantes
Más detallesLógica de Predicados de Primer Orden
Lógica de Predicados de Primer Orden La lógica proposicional puede ser no apropiada para expresar ciertos tipos de conocimiento. Por ejemplo: Algunas manzanas son rojas Esta afirmación no se refiere específicamente
Más detallesIntroducción. Paradigma de Lógica Gran importancia en la I.A. Origen: prueba de teoremas y razonamiento deductivo. Lógica.
Tema 2: Lógica y Razonamiento Automático tico Introducción Lógica Proposicional Lógica de Predicados Axiomas Unificación Razonamiento automático e Inferencias lógicas Resolución Regla de Inferencia Refutación
Más detallesINTRODUCCION A LA LÓGICA DE ENUNCIADOS
INTRODUCCION A LA LÓGICA DE ENUNCIADOS Carlos S. Chinea 0. Enunciados: Lo fundamental en el lenguaje ordinario, la herramienta para manifestar las ideas, sentimientos, descripción de situaciones diversas,
Más detallesApuntes de Matemática Discreta 9. Funciones
Apuntes de Matemática Discreta 9. Funciones Francisco José González Gutiérrez Cádiz, Octubre de 004 Universidad de Cádiz Departamento de Matemáticas ii Lección 9 Funciones Contenido 9.1 Definiciones y
Más detallesObjetivos. Contenidos. Revisar los principales conceptos de la lógica de primer orden
Especificación TEMA 1 formal de problemas Objetivos Revisar los principales conceptos de la lógica de primer orden Entender el concepto de estado de cómputo y cómo se modela con predicados lógicos Familiarizarse
Más detallesTema 6: Programación Lógica: semántica declarativa. Lenguajes y Paradigmas de Programación
Tema 6: Programación Lógica: semántica declarativa Lenguajes y Paradigmas de Programación Teoría de Modelos Se basa en el concepto de INTERPRETACIÓN, que consiste en: elegir un dominio D (en el que tomarán
Más detallesEstructuras Discretas. César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro
Estructuras Discretas César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro Facultad de Ciencias de la Computación Benemérita Universidad Autónoma de Puebla 1. CONJUNTOS Y CLASES 1
Más detallesLógica de Primer Orden. Esquema. Tema 6. Introducción
Lógica de Primer Orden Tema 6 Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 1 Introducción Esquema Sintaxis y semántica de la Lógica de Primer Orden Variaciones en la
Más detallesLógica Proposicional IIC2212. IIC2212 Lógica Proposicional 1 / 56
Lógica Proposicional IIC2212 IIC2212 Lógica Proposicional 1 / 56 Inicio de la Lógica Originalmente, la Lógica trataba con argumentos en el lenguaje natural. Ejemplo Es el siguiente argumento válido? Todos
Más detallesUniversidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica)
Universidad de Puerto Rico Departamento de Matemáticas MATE 3023 Repaso 2(Lógica) Apellidos: No. Estudiante: Nombre: Sección: Conceptos Básicos de Lógica: Lógica es el estudio de como razonar correctamente.
Más detallesEspacios Vectoriales
Espacios Vectoriales Departamento de Matemáticas, CCIR/ITESM 4 de enero de 2 Índice 3.. Objetivos................................................ 3.2. Motivación...............................................
Más detallesLógica Proposicional 1
Lógica Proposicional 1 rafael ramirez rafael@iua.upf.es Ocata 320 Lógica proposicional Un conjunto de variables p, q, r, que representan afirmaciones tales como Esta caja es roja La luna es de queso La
Más detallesRESTRICCIONES DE INTEGRIDAD Y DEPENDENCIAS FUNCIONALES Bases de Datos Universidad de Talca, II Semestre 2006. Jorge Pérez R.
RESTRICCIONES DE INTEGRIDAD Y DEPENDENCIAS FUNCIONALES Bases de Datos Universidad de Talca, II Semestre 2006 Jorge Pérez R. 1 Restricciones de Dominio Son la forma más elemental de restricciones de integridad.
Más detallesINDICE. XVII Prólogo a la edición en español. XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas
INDICE Prologo XVII Prólogo a la edición en español XXI 1. Calculo proporcional 1.1. Argumentos y proporciones lógicas 1 1.1.1. Introducción 1.1.2. Algunos argumentos lógicos importantes 2 1.1.3. Proposiciones
Más detallesGeneración de funciones lógicas mediante decodificadores binarios con salidas activas a nivel alto
Generación de funciones lógicas mediante decodificadores binarios con salidas activas a nivel alto Apellidos, nombre Martí Campoy, Antonio (amarti@disca.upv.es) Departamento Centro Informática de Sistemas
Más detallesInteligencia Artificial
Inteligencia Artificial Conocimiento y razonamiento 3. Lógica de primer orden Dr. Edgard Iván Benítez Guerrero 1 Lógica de primer orden La lógica proposicional asume que el mundo tiene hechos La lógica
Más detallesProyecto Unico Interpretador de SetCalc
Universidad Simón Bolívar Dpto. de Computación y Tecnología de la Información CI3721 - Traductores e Interpretadores Abril-Julio 2008 Proyecto Unico Interpretador de SetCalc A continuación se describe
Más detallesLenguajes y Compiladores
2015 Estructura de la materia a grandes rasgos: Primera Parte: Lenguaje imperativo Segunda Parte: Lenguaje aplicativo puro, y lenguaje aplicativo con referencias y asignación Ejes de contenidos de la primer
Más detallesANÁLISIS DE DATOS NO NUMERICOS
ANÁLISIS DE DATOS NO NUMERICOS ESCALAS DE MEDIDA CATEGORICAS Jorge Galbiati Riesco Los datos categóricos son datos que provienen de resultados de experimentos en que sus resultados se miden en escalas
Más detallesEcuaciones de primer grado con dos incógnitas
Ecuaciones de primer grado con dos incógnitas Si decimos: "las edades de mis padres suman 120 años", podemos expresar esta frase algebraicamente de la siguiente forma: Entonces, Denominamos x a la edad
Más detallesVII. Estructuras Algebraicas
VII. Estructuras Algebraicas Objetivo Se analizarán las operaciones binarias y sus propiedades dentro de una estructura algebraica. Definición de operación binaria Operaciones como la suma, resta, multiplicación
Más detallesLógica de Primer Orden
Capítulo 2 Lógica de Primer Orden Resumen En términos generales, la Programación Lógica concierne al uso de la lógica para representar y resolver problemas. Más adelante precisaremos que, en realidad,
Más detallesEstructuras de Control - Diagrama de Flujo
RESOLUCIÓN DE PROBLEMAS Y ALGORITMOS Ingeniería en Computación Ingeniería en Informática UNIVERSIDAD NACIONAL DE SAN LUIS DEPARTAMENTO DE INFORMÁTICA AÑO 2015 Índice 1. Programación estructurada 2 1.1.
Más detallesCapítulo VI. Diagramas de Entidad Relación
Diagramas de Entidad Relación Diagramas de entidad relación Tabla de contenido 1.- Concepto de entidad... 91 1.1.- Entidad del negocio... 91 1.2.- Atributos y datos... 91 2.- Asociación de entidades...
Más detallesIngeniería del Software I Clase de Testing Funcional 2do. Cuatrimestre de 2007
Enunciado Se desea efectuar el testing funcional de un programa que ejecuta transferencias entre cuentas bancarias. El programa recibe como parámetros la cuenta de origen, la de cuenta de destino y el
Más detallesSeminario: Expresividad semántica y lógica de segundo orden:
Seminario: Expresividad semántica y lógica de segundo orden: Eduardo Barrio Javier Castro Albano UBA 1er cuatrimestre de 2008 1.- Definiciones: L: Lenguaje: conjunto de expresiones. LP: Lenguaje de primer
Más detallesTema 3. Espacios vectoriales
Tema 3. Espacios vectoriales Estructura del tema. Definición y propiedades. Ejemplos. Dependencia e independencia lineal. Conceptos de base y dimensión. Coordenadas Subespacios vectoriales. 0.1. Definición
Más detallesNúmeros Reales. MathCon c 2007-2009
Números Reales z x y MathCon c 2007-2009 Contenido 1. Introducción 2 1.1. Propiedades básicas de los números naturales....................... 2 1.2. Propiedades básicas de los números enteros........................
Más detalles2.3.- Modelo relacional de datos (aproximación lógica) 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden. 2.3.1.- La lógica de 1er orden
2.3.- Modelo relacional de datos (aproximación lógica). Existen dos lenguajes lógicos de manipulación para el modelo relacional: El Cálculo Relacional de Tuplas. El Cálculo Relacional de Dominios. La perspectiva
Más detalles2.3.- Modelo relacional de datos (aproximación lógica)
2.3.- Modelo relacional de datos (aproximación lógica) Existen dos lenguajes lógicos de manipulación para el modelo relacional: El Cálculo Relacional de Tuplas. El Cálculo Relacional de Dominios. La perspectiva
Más detallesTema 07. LÍMITES Y CONTINUIDAD DE FUNCIONES
Tema 07 LÍMITES Y CONTINUIDAD DE FUNCIONES Límite de una función en un punto Vamos a estudiar el comportamiento de las funciones f ( ) g ( ) ENT[ ] h ( ) i ( ) en el punto Para ello, damos a valores próimos
Más detallesPROGRAMACIÓN ORIENTADA A OBJETOS Master de Computación. II MODELOS y HERRAMIENTAS UML. II.2 UML: Modelado de casos de uso
PROGRAMACIÓN ORIENTADA A OBJETOS Master de Computación II MODELOS y HERRAMIENTAS UML 1 1 Modelado de casos de uso (I) Un caso de uso es una técnica de modelado usada para describir lo que debería hacer
Más detallesTema 12: Teorema de Herbrand
Facultad de Informática Grado en Ingeniería Informática Lógica 1/12 PARTE 3: DEMOSTRACIÓN AUTOMÁTICA Tema 12: Teorema de Herbrand Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 26/11/2012 Introducción.
Más detallesy los conos serán todos los diagramas (acá usamos la palabra en el sentido habitual, no en el que acabamos de definir) de la forma
(Novena clase: Límites y colímites) Las definiciones de obeto terminal, producto binario, ecualizador y pullback, son casos particulares de un concepto general, llamado límite, que presentaremos a continuación.
Más detallesHistoria y Filosofía de la Lógica
Historia y Filosofía de la Lógica Pablo Cobreros pcobreros@unav.es Tema 1: El objeto de la lógica La lógica proposicional clásica El objeto de la lógica Consecuencia lógica La lógica proposicional El lenguaje
Más detallesConsultas con combinaciones
UNIDAD 1.- PARTE 2 MANIPULACIÓN AVANZADA DE DATOS CON SQL. BASES DE DATOS PARA APLICACIONES Xochitl Clemente Parra Armando Méndez Morales Consultas con combinaciones Usando combinaciones (joins), se pueden
Más detalles{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.
2. Nociones sobre Teoría de Conjuntos y Lógica Para llevar a cabo nuestro propósito de especificar formalmente los problemas y demostrar rigurosamente la correctitud de nuestro programas, introduciremos
Más detallesUniversidad Católica del Maule. Fundamentos de Computación Especificación de tipos de datos ESPECIFICACIÓN ALGEBRAICA DE TIPOS DE DATOS
Especificación algebraica ESPECIFICACIÓN ALGEBRAICA DE TIPOS DE DATOS Un tipo abstracto de datos se determina por las operaciones asociadas, incluyendo constantes que se consideran como operaciones sin
Más detalles1. Sintaxis de Prolog
1. Sintaxis de Prolog Términos: Constantes: enteros (Ejs: 3, 4), átomos (Ejs: juan, pi) (en minúscula). Variables: Ejs: X, Casa (en mayúscula) Estructuras: functor, seguido de uno o más argumentos, es
Más detallesInteligencia Artificial. Facultad de Ciencias Exactas y Tecnología Universidad Nacional de Tucumán Prof. Ing. Franco D. Menendez
Inteligencia Artificial Facultad de Ciencias Exactas y Tecnología Universidad Nacional de Tucumán Prof. Sistemas Expertos Definición Un Sistema Experto es un programa de computación inteligente que usa
Más detallesRAZONAMIENTOS LÓGICOS EN LOS PROBLEMAS DE MATEMÁTICAS
RAZONAMIENTOS LÓGICOS EN LOS PROBLEMAS DE MATEMÁTICAS AUTORÍA SERGIO BALLESTER SAMPEDRO TEMÁTICA MATEMÁTICAS ETAPA ESO, BACHILLERATO Resumen En este artículo comienzo definiendo proposición y los distintos
Más detallesTema 2. Espacios Vectoriales. 2.1. Introducción
Tema 2 Espacios Vectoriales 2.1. Introducción Estamos habituados en diferentes cursos a trabajar con el concepto de vector. Concretamente sabemos que un vector es un segmento orientado caracterizado por
Más detallesIngeniería en Informática
Departamento de Informática Universidad Carlos III de Madrid Ingeniería en Informática Aprendizaje Automático Junio 2007 Normas generales del examen El tiempo para realizar el examen es de 3 horas No se
Más detallesCapítulo 4. Vectores y matrices. 4.1 Declaración de tablas. 4.2 Declaración estática de tablas
Capítulo 4 Vectores y matrices En FORTRAN se puede utilizar un tipo especial de variable que sirve, en particular, para almacenar vectores y matrices. De esta forma, se utiliza un sólo nombre para referirse
Más detallesIntroducción. Metadatos
Introducción La red crece por momentos las necesidades que parecían cubiertas hace relativamente poco tiempo empiezan a quedarse obsoletas. Deben buscarse nuevas soluciones que dinamicen los sistemas de
Más detallesFunciones, x, y, gráficos
Funciones, x, y, gráficos Vamos a ver los siguientes temas: funciones, definición, dominio, codominio, imágenes, gráficos, y algo más. Recordemos el concepto de función: Una función es una relación entre
Más detallesTema 3. El modelo Relacional
Tema 3. El modelo Relacional Juan Ignacio Rodríguez de León Resumen Presenta el modelo entidad-relación. Visión de alto nivel de las cuestiones referentes a diseño de bases de datos y los problemas encontrados
Más detallesEspacios generados, dependencia lineal y bases
Espacios generados dependencia lineal y bases Departamento de Matemáticas CCIR/ITESM 14 de enero de 2011 Índice 14.1. Introducción............................................... 1 14.2. Espacio Generado............................................
Más detallesLÍMITES Y CONTINUIDAD DE FUNCIONES
Capítulo 9 LÍMITES Y CONTINUIDAD DE FUNCIONES 9.. Introducción El concepto de ite en Matemáticas tiene el sentido de lugar hacia el que se dirige una función en un determinado punto o en el infinito. Veamos
Más detalles4.3 INTERPRETACIÓN ECONÓMICA DE LA DUALIDAD
4.3 INTERPRETACIÓN ECONÓMICA DE LA DUALIDAD El problema de programación lineal se puede considerar como modelo de asignación de recursos, en el que el objetivo es maximizar los ingresos o las utilidades,
Más detalles1. Números Reales 1.1 Clasificación y propiedades
1. Números Reales 1.1 Clasificación y propiedades 1.1.1 Definición Número real, cualquier número racional o irracional. Los números reales pueden expresarse en forma decimal mediante un número entero,
Más detallesDefinición 1.1.1. Dados dos números naturales m y n, una matriz de orden o dimensión m n es una tabla numérica rectangular con m filas y n columnas.
Tema 1 Matrices Estructura del tema. Conceptos básicos y ejemplos Operaciones básicas con matrices Método de Gauss Rango de una matriz Concepto de matriz regular y propiedades Determinante asociado a una
Más detallesFICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA. Tema 9. Reglas de Integridad
FICHEROS Y BASES DE DATOS (E44) 3º INGENIERÍA EN INFORMÁTICA Tema 9. Reglas de Integridad 1.- Introducción. 2.- Claves Primarias. 3.- Regla de Integridad de Entidades. 4.- Claves Ajenas. 5.- Regla de Integridad
Más detallesRepresentación del conocimiento. Diferencia entre información y conocimiento (1) Diferencia entre información y conocimiento (2) Notas
Todo problema es más sencillo de resolver si disponemos de conocimiento específico sobre él Este conocimiento dependiente del dominio se combina con el conocimiento general sobre cómo resolver problemas
Más detallesConjuntos Numéricos. Las dos operaciones en que se basan los axiomas son la Adición y la Multiplicación.
Conjuntos Numéricos Axiomas de los números La matemática se rige por ciertas bases, en la que descansa toda la matemática, estas bases se llaman axiomas. Cuántas operaciones numéricas conocen? La suma
Más detallesReglas de inferencia:
UNEFA Cátedra: Lgica Matematica Tema: Deduccin Natural. Profesora: Ana Rodríguez. Reglas de inferencia: En lgica, especialmente en lgica matemática, una regla de inferencia es un esquema para construir
Más detallesEstas visiones de la información, denominadas vistas, se pueden identificar de varias formas.
El primer paso en el diseño de una base de datos es la producción del esquema conceptual. Normalmente, se construyen varios esquemas conceptuales, cada uno para representar las distintas visiones que los
Más detallesTablas. Estas serán las tablas que usaremos en la mayoría de ejemplos. Empleado
Álgebra Relacional Un álgebra es un sistema matemático constituido por Operandos: objetos (valores o variables) desde los cuales nuevos objetos pueden ser construidos. Operadores: símbolos que denotan
Más detalles1. Producto escalar, métrica y norma asociada
1. asociada Consideramos el espacio vectorial R n sobre el cuerpo R; escribimos los vectores o puntos de R n, indistintamente, como x = (x 1,..., x n ) = n x i e i i=1 donde e i son los vectores de la
Más detallesINSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER
INSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER Manual del Alumno ASIGNATURA: Matemática I PROGRAMA: S3C Lima-Perú SESION 1 SISTEMAS DE NUMERACION DEFINICION : Es un conjunto de reglas y principios que nos
Más detalles2.3 El Mundo de Tarski. http://cursos.clavijero.edu.mx/cursos/007_cp/modulo2/contenidos/documentos/tarski.zip
2.3 El Mundo de Tarski El mundo de Tarski es una herramienta de software desarrollada expresamente para enseñar y mejorar la capacidad del estudiante para describir situaciones en un mundo simple utilizando
Más detallesforma de entrenar a la nuerona en su aprendizaje.
Sistemas expertos e Inteligencia Artificial,Guía5 1 Facultad : Ingeniería Escuela : Computación Asignatura: Sistemas expertos e Inteligencia Artificial Tema: SISTEMAS BASADOS EN CONOCIMIENTO. Objetivo
Más detallesDE VIDA PARA EL DESARROLLO DE SISTEMAS
MÉTODO DEL CICLO DE VIDA PARA EL DESARROLLO DE SISTEMAS 1. METODO DEL CICLO DE VIDA PARA EL DESARROLLO DE SISTEMAS CICLO DE VIDA CLÁSICO DEL DESARROLLO DE SISTEMAS. El desarrollo de Sistemas, un proceso
Más detallesEJERCICIOS DEL CAPÍTULO I
EJERCICIOS DEL CAPÍTULO I 1. Un grupo es una tipo particular de Ω estructura cuando Ω es el tipo Ω = { } siendo una operación de aridad dos. Pero un grupo también es una Ω -estructura siendo Ω = {e, i,
Más detalles6 Ecuaciones de 1. er y 2. o grado
8985 _ 009-08.qd /9/07 5:7 Página 09 Ecuaciones de. er y. o grado INTRODUCCIÓN La unidad comienza diferenciando entre ecuaciones e identidades, para pasar luego a la eposición de los conceptos asociados
Más detallesJuan Antonio González Mota Profesor de Matemáticas del Colegio Juan XIII Zaidín de Granada
FUNCIONES CONTINUAS. La mayor parte de las funciones que manejamos, a nivel elemental, presentan en sus gráficas una propiedad característica que es la continuidad. La continuidad de una función definida
Más detallesLógica Proposicional Cálculo Proposicional de Orden Cero (Cero)
Introducción a la Computación (TFA) Lógica Proposicional Cálculo Proposicional de Orden Cero (Cero) Teoría de Lógica Proposicional - Autor: Ana Garis Modificaciones: E. Benegas Temas a Desarrollar - Motivaciones
Más detallesUniversidad de Zaragoza Manual de Usuario EXPEDIENTES-Sigm@
Universidad de Zaragoza Manual de Usuario EXPEDIENTES-Sigm@ Unidad Sigma/Vicegerencia Académica MANUAL DE USUARIO EXPEDIENTES SIGM@... 1 1. ÍNDICE... 2 2. ENTRADA EN LA APLICACIÓN... 3 3. CONSULTA DE EXPEDIENTES...4
Más detallesQUE ES UN SERVIDOR DNS POR: ING-ESP PEDRO ALBERTO ARIAS QUINTERO. Este Es un documento donde se comentan algunos aspectos de un servidor DNS
QUE ES UN SERVIDOR DNS POR: ING-ESP PEDRO ALBERTO ARIAS QUINTERO Este Es un documento donde se comentan algunos aspectos de un servidor DNS SERVIDOR DNS Que tareas realizan, como funcionan y que importancia
Más detallesApuntes de ACCESS. Apuntes de Access. Campos de Búsqueda:
Apuntes de ACCESS Campos de Búsqueda: Los campos de búsqueda permiten seleccionar el valor de un campo de una lista desplegable en lugar de tener que escribirlos. El usuario sólo tiene que elegir un valor
Más detallesPRUEBAS DE SOFTWARE TECNICAS DE PRUEBA DE SOFTWARE
PRUEBAS DE SOFTWARE La prueba del software es un elemento crítico para la garantía de la calidad del software. El objetivo de la etapa de pruebas es garantizar la calidad del producto desarrollado. Además,
Más detallesElementos requeridos para crearlos (ejemplo: el compilador)
Generalidades A lo largo del ciclo de vida del proceso de software, los productos de software evolucionan. Desde la concepción del producto y la captura de requisitos inicial hasta la puesta en producción
Más detalles1. Descripción y objetivos
Pruebas 1 1. Descripción y objetivos Las pruebas son prácticas a realizar en diversos momentos de la vida del sistema de información para verificar: El correcto funcionamiento de los componentes del sistema.
Más detallesDivisibilidad y números primos
Divisibilidad y números primos Divisibilidad En muchos problemas es necesario saber si el reparto de varios elementos en diferentes grupos se puede hacer equitativamente, es decir, si el número de elementos
Más detallesPARTE 3 ECUACIONES DE EQUIVALENCIA FINANCIERA T E M A S
PARTE 3 ECUACIONES DE EQUIVALENCIA FINANCIERA Valor del dinero en el tiempo Conceptos de capitalización y descuento Ecuaciones de equivalencia financiera Ejercicio de reestructuración de deuda T E M A
Más detallesProblemas indecidibles
Capítulo 7 Problemas indecidibles 71 Codificación de máquinas de Turing Toda MT se puede codificar como una secuencia finita de ceros y unos En esta sección presentaremos una codificación válida para todas
Más detallesUna variable de clase escalar tiene un nivel de indirección igual a 1. Por ejemplo, las variables i, b y x definidas como se muestra a continuación.
Descripción de la semántica de ALFA En esta descripción sólo se mencionarán los aspectos en los que el lenguaje de programación ALFA pueda diferir de otros lenguajes de programación de alto nivel. Se sobreentienden
Más detallesInformàtica i Comunicacions Plaça Prnt. Tarradellas, 11 17600 FIGUERES (Girona) Tel. 902 88 92 67 Fax 972 671 962 www.cesigrup.es
DNS (Domain Name System)...2 La estructura... 2 Servidores DNS e Internet... 3 Dominios... 3 Servidores de nombres... 3 Servidores de nombres Principal y Secundario... 4 Los archivos del DNS... 4 Registro
Más detallesInstalación y mantenimiento de servicios de Internet. U.T.3.- Servicio DNS
Instalación y mantenimiento de servicios de Internet U.T.3.- Servicio DNS 1 Qué es el servicio DNS? A los usuarios de Internet les resulta complicado trabajar con direcciones IP, sobre todo porque son
Más detallesa < b y se lee "a es menor que b" (desigualdad estricta) a > b y se lee "a es mayor que b" (desigualdad estricta)
Desigualdades Dadas dos rectas que se cortan, llamadas ejes (rectangulares si son perpendiculares, y oblicuos en caso contrario), un punto puede situarse conociendo las distancias del mismo a los ejes,
Más detallesACCIONES Y OTROS TÍTULOS DE INVERSIÓN
ACCIONES Y OTROS TÍTULOS DE INVERSIÓN TASAS EFECTIVAS DE RENDIMIENTO ANUAL Y MENSUAL: Es aquélla que se emplea en la compraventa de algunos valores en el Mercado Bursátil o Bolsa de Valores. Estas tasas
Más detallesTema 2. La Información y su representación
Tema 2. La Información y su representación 2.1 Introducción. Un ordenador es una máquina que procesa información. La ejecución de un programa implica la realización de unos tratamientos, según especifica
Más detallesA estas alturas de nuestros conocimientos vamos a establecer dos reglas muy prácticas de cómo sumar dos números reales:
ADICIÓN Y RESTA DE NUMEROS REALES ADICIÓN L a adición o suma de números reales se representa mediante el símbolo más (+) y es considerada una operación binaria porque se aplica a una pareja de números,
Más detallesBúsqueda booleana en Internet
Búsqueda booleana en Internet Lo primero de la lógica booleana La lógica booleana le permite combinar palabras y frases en los enunciados de búsqueda para conseguir los documentos de las bases de datos
Más detallesTABLA DE DECISION. Consideremos la siguiente tabla, expresada en forma genérica, como ejemplo y establezcamos la manera en que debe leerse.
TABLA DE DECISION La tabla de decisión es una herramienta que sintetiza procesos en los cuales se dan un conjunto de condiciones y un conjunto de acciones a tomar según el valor que toman las condiciones.
Más detallesSistema de Gestión Académica. Mantenimiento de Usuarios. Revisión 1.0. Servicio de Informática Área de Gestión
Sistema de Gestión Académica Mantenimiento de Usuarios Revisión 1.0 Servicio de Informática Área de Gestión Septiembre de 2003 1 Introducción. Debido al incremento de usuarios de la aplicación SIGA y al
Más detalles