Computational Logic Chapter 6. Description Logics
|
|
- Jorge Medina Revuelta
- hace 8 años
- Vistas:
Transcripción
1 Computational Logic Chapter 6. Description Logics Pedro Cabalar Dept. Computer Science University of Corunna, SPAIN January 18, 2011 P. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
2 Outline 1 Lógica Descriptiva P. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
3 Lógica Descriptiva El conocimiento de un dominio usa muchos conceptos. Ejemplo: una bujía es una pieza y forma parte del motor que es una pieza... Idea clave: representar definiciones de conceptos para un dominio dado. Esto se denomina Conocimiento Terminológico. Antes conocido como: sistemas terminológicos o lenguajes de conceptos. Hoy en día, uso más importante: descripción de Ontologías para Web Semántica (OWL-DL, OWL-Lite). Usamos unas construcciones básicas (parecidas a operadores modales) y traducimos a (un subconjunto de) lógica de primer orden.. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
4 Lógica Descriptiva Sintaxis: partimos de 1 Un conjunto de átomos llamados conceptos. Representan clases o conjuntos de objetos. Ejemplos: Persona, Mamífero, Vehículo, Azul,... 2 Un conjunto de roles que representan relaciones binarias entre objetos. Ejemplos: tiene-hijo, viaja-en, le-gusta-a,... 3 Unos constructores para definir nuevos conceptos de forma recursiva. Ejemplo: vehículos azules o rojos, Vehículo (Azul Rojo). Ejemplo: Persona tiene-hijo Tenemos una familia de lógicas descriptivas, dependiendo de los constructores permitidos. P. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
5 Lógica Descriptiva: FL La lógica descriptiva más simple es FL. La sintaxis de FL se describe como: C ::= A C D R.C R donde A=concepto atómico, C, D=conceptos y R=rol. Sintaxis alternativa: C ::= A (:and C D) (:all R C) (:some R) Cuantificadores: tiene-hijo.hembra definiría aquellos elementos cuya prole son todo hembras. Por otro lado tiene-hijo define a aquéllos que tienen al menos un hijo. También se escribe como R... Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
6 Lógica Descriptiva: FL Definition (Interpretación) Una interpretación I es un par I, I donde I es un conjunto no vacío llamado dominio I es una función que hace corresponder: 1 Cada concepto con un subconjunto de I. 2 Cada rol con un subconjunto de I I. P. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
7 Lógica Descriptiva: FL Ampliamos I para evaluar conceptos recursivos: (C D) I = C I D I ( R) I = {x I : y.(x, y) R I } ( R.C) I = {x I : y.(x, y) R I y C I } ( ) I = I ( ) I = Ejemplo: qué significan las siguientes expresiones? 1 Adulto Varón 2 tiene-hijo.(adulto Varón) 3 tiene-hijo tiene-hijo.( tiene-hijo Adulto) P. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
8 Lógica Descriptiva: ALC Un segundo ejemplo: ALC es más expresiva que FL. Permite: con ( C) I = I \ C I C ::= A C D R.C R C Una variante más limitada AL sustituye C por A (sólo negación de conceptos atómicos).. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
9 Lógica Descriptiva: constructores más usados Constructor Sintaxis Semántica Individuos o : C o I C I Valores de propiedad (o 1, o 2 ) : R (o1 I, oi 2 ) RI Conjunción C D C I D I Disyunción C D C I D I Negación C I \ C I Restr. existencial R.C {x : y.(x, y) R I &y C I } Restr. universal R.C {x : y.(x, y) R I y C I } Restr. cardinal ( n R) {x : {y.(x, y) R I } n} ( n R) {x : {y.(x, y) R I } n} Rol inverso R {(x, y) : (y, x) R I } Rol transitivo R (R I ) Enumeración {o 1,..., o n } {o1 I,..., oi n }... P. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
10 Lógicas Descriptivas: cómo se nombran Para nombrar cada variante se usan las iniciales F propiedades funcionales E existencial general R.C U unión de conceptos C D C negación de conceptos C S = ALC más roles transitivos R H jerarquías de roles R roles reflexivos, irreflexivos y disjuntos I rol inverso R O enumeración {o 1,..., o n } N restricciones de cardinalidad ( n R), ( n R) Q restricciones de cardinalidad cualificadas ( n R.C), ( n R.C) (D) tipos de datos (entero, string, etc) OWL-DL corresponde a SHOIN ( D) mientras que OWL-Lite está basado en SHIF ( D). P. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
11 Lógica Descriptiva Una Base de Conocimiento se estructura en dos tipos de conjuntos de expresiones: TBox y ABox. TBox: contiene declaraciones terminológicas generales. Son de dos tipos 1 Una definición de concepto A C. Ejemplo Mujer Persona Hembra Madre Mujer tiene-hijo.persona (se puede imponer que sean acíclicas) 2 Un axioma de inclusión C 1 C 2. Ejemplo tiene-hijo.persona Persona Imponen restricciones en nuestro modelo.. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
12 Lógica Descriptiva ABox: contiene aserciones sobre elementos y relaciones concretas del dominio. De nuevo, tenemos dos tipos: 1 Aserciones de concepto o : C. Ejemplo: Moby-Dick : Ballena Juan : Hombre tiene-hijo 2 Aserciones de rol (o 1, o 2 ) : R. Ejemplo: (Ana, Juan) : tiene-hijo. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
13 Lógica Descriptiva: Problemas de inferencia Problemas de inferencia típicos a resolver. A partir de una descripción dada: 1 Absorción (Subsumption). Comprobar si un concepto es más general que otro C D 2 Equivalencia. Comprobar si dos conceptos son equivalentes C D 3 Consistencia. Comprobar si un concepto tiene sentido C 4 Pertenencia. Comprobar si un individuo es miembro de un concepto o : C Todos estos problemas son reducibles a consistencia. Por ejemplo C D se puede plantear como C D.. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
14 Lógica Descriptiva: Problemas de inferencia Existen métodos muy eficientes para resolver estos problemas de inferencia. En general: mayor expresividad mayor complejidad en el método de inferencia. Por ejemplo, absorción en FL es decidible y complejidad P.. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
15 Lógica Descriptiva: traducción a primer orden La mayoría de las lógicas descriptivas son decidibles en primer orden. Cada C se convierte en un predicado unario C(x); cada R en un predicado binario R(x, y). Podemos traducir a LPO con 2 variables: t x (A) = A(x) t y (A) = A(y) t x (C D) = t x (C) t x (D) t y (C D) = t y (C) t y (D) t x (C D) = t x (C) t x (D) t y (C D) = t y (C) t y (D) t x ( R.C) = y.r(x, y) t y (C) t y ( R.C) = x.r(y, x) t x ( t x ( R.C) = y.r(x, y) t y (C) t y ( R.C) = x.r(y, x) t x En una TBox traducimos C D por x.t x (C) t x (D). P. Cabalar ( Dept. Ch6. Computer Description Science Logics University of Corunna, SPAIN January ) 18, / 15
Tema 7. Lógicas de descripciones. Año académico 2014/15. Profesores: Sascha Ossowski, Alberto Fernández y Holger Billhardt
Tema 7 Lógicas de descripciones Año académico 2014/15 Profesores: Sascha Ossowski, Alberto Fernández y Holger Billhardt 1 Referencias Reasoning in Description Logics: Basics, Extensions, and Relatives.
Más detallesOntologías y OWL. Fundamentos de la Web Semántica. Definición. Ontologías. Ontologías. DL estructurales. Pablo R. Fillottrani. DL proposicionales OWL
y Pablo R. Fillottrani Depto. Ciencias e Ingeniería de la Computación Universidad Nacional del Sur Segundo Cuatrimestre 2013 Definición Definición Definición una ontología es una especificación formal
Más detallesComputational Logic Chapter 5. Intuitionistic Logic
Computational Logic Chapter 5. Intuitionistic Logic Pedro Cabalar Dept. Computer Science University of Corunna, SPAIN January 18, 2011 P. Cabalar ( Dept. Ch5. Computer Intuitionistic ScienceLogic University
Más detallesMATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASES # 13 y #14
MATEMÁTICAS BÁSICAS UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN CLASES # 3 y #4 Desigualdades Al inicio del Capítulo 3, estudiamos las relaciones de orden en los número reales y el signi cado de expresiones
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 detallesINSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA UNIDAD CULHUACÁN INTEGRANTES
INSTITUTO POLITÉCNICO NACIONAL ESCUELA SUPERIOR DE INGENIERÍA MECÁNICA Y ELÉCTRICA UNIDAD CULHUACÁN INTEGRANTES CÁRDENAS ESPINOSA CÉSAR OCTAVIO racsec_05@hotmail.com Boleta: 2009350122 CASTILLO GUTIÉRREZ
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 detallesRelaciones entre conjuntos
Relaciones entre conjuntos Parejas ordenadas El orden de los elementos en un conjunto de dos elementos no interesa, por ejemplo: {3, 5} = {5, 3} Por otra parte, una pareja ordenada consiste en dos elementos,
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 detallesCONJUNTOS Y RELACIONES BINARIAS
UNIVERSIDAD CATÓLICA ANDRÉS BELLO FACULTAD DE INGENIERÍA ESCUELA DE INGENIERÍA INFORMÁTICA CÁTEDRA DE LÓGICA COMPUTACIONAL CONJUNTOS Y RELACIONES BINARIAS INTRODUCCIÓN Intuitivamente, un conjunto es una
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 detallesEstructuras de Datos y Algoritmos. Árboles de Expresión
Estructuras de Datos y Algoritmos Árboles de Expresión Año 2014 Introducción Los avances tecnológicos producen día a día una gran cantidad de información que debe ser almacenada y procesada en forma eficiente.
Más detallesMódulo 9 Sistema matemático y operaciones binarias
Módulo 9 Sistema matemático y operaciones binarias OBJETIVO: Identificar los conjuntos de números naturales, enteros, racionales e irracionales; resolver una operación binaria, representar un número racional
Más detallesEjemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios }
La Teoría de Conjuntos es una teoría matemática, que estudia básicamente a un cierto tipo de objetos llamados conjuntos y algunas veces, a otros objetos denominados no conjuntos, así como a los problemas
Más detallesInteligencia Artificial II. Razonamiento con ontologías
Inteligencia Artificial II Curso 2008 09 Trabajo de curso Razonamiento con ontologías Antonio Jiménez Mavillard Enunciado Una ontología es una representación formal de un determinado dominio o área de
Más detalles5 Ecuaciones lineales y conceptos elementales de funciones
Programa Inmersión, Verano 206 Notas escritas por Dr. M Notas del cursos. Basadas en los prontuarios de MATE 300 y MATE 3023 Clase #6: martes, 7 de junio de 206. 5 Ecuaciones lineales y conceptos elementales
Más detallesMatrices Invertibles y Elementos de Álgebra Matricial
Matrices Invertibles y Elementos de Álgebra Matricial Departamento de Matemáticas, CCIR/ITESM 12 de enero de 2011 Índice 91 Introducción 1 92 Transpuesta 1 93 Propiedades de la transpuesta 2 94 Matrices
Más detallesTema 1: Fundamentos de lógica, teoría de conjuntos y estructuras algebraicas: Apéndice
Tema 1: Fundamentos de lógica, teoría de conjuntos y estructuras algebraicas: Apéndice 1 Polinomios Dedicaremos este apartado al repaso de los polinomios. Se define R[x] ={a 0 + a 1 x + a 2 x 2 +... +
Más detallesUnidad II: Diseño de Bases de Datos y el modelo E-R. 2.1 El Proceso de Diseño
Unidad II: Diseño de Bases de Datos y el modelo E-R. 2.1 El Proceso de Diseño El proceso de diseño para una base de datos consta básicamente de 7 pasos, los cuáles se describen en la siguiente imagen.
Más detallesUna desigualdad se obtiene al escribir dos expresiones numéricas o algebraicas relacionadas con alguno de los símbolos
MATEMÁTICAS BÁSICAS DESIGUALDADES DESIGUALDADES DE PRIMER GRADO EN UNA VARIABLE La epresión a b significa que "a" no es igual a "b ". Según los valores particulares de a de b, puede tenerse a > b, que
Más detallesMUSICOTERAPIA APLICADA A LA EDUCACIÓN ESPECIAL
Cuando hablamos de Música, nos referimos a uno de los lenguajes más universales que existen. Si ésta, al utilizarse más allá de su teoría, es capaz de hacernos sentir bien y mejorar nuestro estado de ánimo,
Más detallesSoporte lógico de computadoras
Soporte lógico de computadoras Software: Sistemas Operativos Lenguajes de programación Lenguajes de Programación. Clasificación Proximidad del lenguaje al que entiende el ordenador: Bajo nivel: específico
Más detalles4. Modelo Relacional: Manipulación de los datos.
Modelo Relacional: Manipulación de los datos. 54 4. Modelo Relacional: Manipulación de los datos. 4.1. Lenguaje de procedimiento: álgebra relacional Los lenguajes de procedimientos para consultar bases
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 detallesSignificado 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 detallesConjuntos, Relaciones y Funciones
Conjuntos, Relaciones y Funciones 0.1 Conjuntos El término conjunto y elemento de un conjunto son términos primitivos y no definidos. De un punto de vista intuitivo parece ser que cualquier colección de
Más detallesLección 24: Lenguaje algebraico y sustituciones
LECCIÓN Lección : Lenguaje algebraico y sustituciones En lecciones anteriores usted ya trabajó con ecuaciones. Las ecuaciones expresan una igualdad entre ciertas relaciones numéricas en las que se desconoce
Más detallesEL GRADO Y LOS ELEMENTOS QUE FORMAN UN POLINOMIO
RECONOCER OBJETIVO EL GRADO Y LOS ELEMENTOS QUE ORMAN UN POLINOMIO NOMBRE: CURSO: ECHA: Un polinomio es una expresión algebraica formada por la suma algebraica de monomios, que son los términos del polinomio.
Más detallesUnidad 5 Utilización de Excel para la solución de problemas de programación lineal
Unidad 5 Utilización de Excel para la solución de problemas de programación lineal La solución del modelo de programación lineal (pl) es una adaptación de los métodos matriciales ya que el modelo tiene
Más detallesPolinomios: Definición: Se llama polinomio en "x" de grado "n" a una expresión del tipo
Polinomios: Definición: Se llama polinomio en "x" de grado "n" a una expresión del tipo P (x) = a 0 x n + a 1 x n 1 +... + a n Donde n N (número natural) ; a 0, a 1, a 2,..., a n son coeficientes reales
Más detallesUn Apunte de Funciones "Introducción al Cálculo Dif. e Int."
Un Apunte de Funciones "Introducción al Cálculo Dif. e Int." Las funciones son relaciones, las cuales, lo que hacen es tomar un elemento de un conjunto de partida (dominio) y transformarlo en otra cosa,
Más detalles1. INVERSA DE UNA MATRIZ REGULAR
. INVERSA DE UNA MATRIZ REGULAR Calcular la inversa de una matriz regular es un trabajo bastante tedioso. A través de ejemplos se expondrán diferentes técnicas para calcular la matriz inversa de una matriz
Más detallesGUÍAS. Módulo de Diseño de software SABER PRO 2013-2
GUÍAS Módulo de Diseño de software SABER PRO 2013-2 GUÍAS Módulo de diseño en ingeniería El diseño de productos tecnológicos (artefactos, procesos, sistemas e infraestructura) está en el centro de la naturaleza
Más detallesOperación de Microsoft Excel. Guía del Usuario Página 79. Centro de Capacitación en Informática
Manejo básico de base de datos Unas de las capacidades de Excel es la de trabajar con listas o tablas de información: nombres, direcciones, teléfonos, etc. Excel puede trabajar con tablas de información
Más detallesAdivinanza o logaritmos?
Nivel:.º Medio Sector: Matemática Unidad temática: Álgebra y funciones Actualmente un alumno está cursando el Cuarto Año Medio. Tiempo atrás estuvo de cumpleaños y recibió de regalo diferentes cantidades
Más detallesÍndice Introducción Números Polinomios Funciones y su Representación. Curso 0: Matemáticas y sus Aplicaciones Tema 1. Números, Polinomios y Funciones
Curso 0: Matemáticas y sus Aplicaciones Tema 1. Números, Polinomios y Funciones Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Números 2 Polinomios 3 Funciones y su Representación
Más detallesNÚMEROS NATURALES Y NÚMEROS ENTEROS
NÚMEROS NATURALES Y NÚMEROS ENTEROS Los números naturales surgen como respuesta a la necesidad de nuestros antepasados de contar los elementos de un conjunto (por ejemplo los animales de un rebaño) y de
Más detallesEXPRESIONES ALGEBRAICAS. POLINOMIOS
EXPRESIONES ALGEBRAICAS. POLINOMIOS 1. EXPRESIONES ALGEBRAICAS. Estas expresiones del área son expresiones algebraicas, ya que además de números aparecen letras. Son también expresiones algebraicas: bac,
Más detallesClases de apoyo de matemáticas Fracciones y decimales Escuela 765 Lago Puelo Provincia de Chubut
Clases de apoyo de matemáticas Fracciones y decimales Escuela 765 Lago Puelo Provincia de Chubut Este texto intenta ser un complemento de las clases de apoyo de matemáticas que se están realizando en la
Más detallesA25. Informática aplicada a la gestión Curso 2005/2006 Excel Tema 7. Funciones avanzadas de Excel II
DEPARTAMENTO DE LENGUAJES Y SISTEMAS INFORMÁTICOS ESCUELA SUPERIOR DE TECNOLOGÍA Y CIENCIAS EXPERIMENTALES A.D.E.M. Segundo Curso A25. Informática aplicada a la gestión Curso 2005/2006 Excel Tema 7. Funciones
Más detallesCentro de Capacitación en Informática
Combinación de funciones y fórmulas =SI(Y(...)...) o =Si(O(...)...) En secciones anteriores vimos que la función SI() debía cumplir una condición, como por ejemplo, controlar si en una celda determinada
Más detallesno descompone no descompone no descompone
Problema 1. Sea I n el conjunto de los n primeros números naturales impares. Por ejemplo: I 3 = {1, 3, 5, I 6 = {1, 3, 5, 7, 9, 11, etc. Para qué números n el conjunto I n se puede descomponer en dos partes
Más detallesCompiladores: Sesión 20. Análisis semántico, verificación e inferencia de tipos
Compiladores: Sesión 20. Análisis semántico, verificación e inferencia de tipos Prof. Gloria Inés Alvarez V. Departamento de Ciencias e Ingeniería de la Computación Pontificia Universidad Javeriana Cali
Más detallesAnálisis de propuestas de evaluación en las aulas de América Latina
Esta propuesta tiene como objetivo la operatoria con fracciones. Se espera del alumno la aplicación de un algoritmo para resolver las operaciones. Estas actividades comúnmente presentan numerosos ejercicios
Más detallesEn cualquier caso, tampoco es demasiado importante el significado de la "B", si es que lo tiene, lo interesante realmente es el algoritmo.
Arboles-B Características Los árboles-b son árboles de búsqueda. La "B" probablemente se debe a que el algoritmo fue desarrollado por "Rudolf Bayer" y "Eduard M. McCreight", que trabajan para la empresa
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 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 detallesEDITOR DE ECUACIONES en Open Office.org Writer INTRODUCCIÓN
EDITOR DE ECUACIONES en Open Office.org Writer INTRODUCCIÓN Para escribir en el ordenador cualquier texto de una materia como puede ser las Matemáticas, la Física, la Economía, etc es necesario usar alguna
Más detallesTEMA 3 PROFESOR: M.C. ALEJANDRO GUTIÉRREZ DÍAZ 2 3. PROCESAMIENTO DE CONSULTAS DISTRIBUIDAS
1 1 BASES DE DATOS DISTRIBUIDAS TEMA 3 PROFESOR: M.C. ALEJANDRO GUTIÉRREZ DÍAZ 2 3. PROCESAMIENTO DE CONSULTAS DISTRIBUIDAS 3.1 Metodología del procesamiento de consultas distribuidas 3.2 Estrategias de
Más detallesEL MODELO ENTIDAD-RELACIÓN:
APUNTES DEL MÓDULO PROFESIONAL: SISTEMAS GESTORES DE BASES DE DATOS (2) Página 1 de 8 EL MODELO ENTIDAD-RELACIÓN: Conceptos previos vistos anteriormente: Los modelos de datos son el conjunto de conceptos
Más detallesESTRUCTURAS ALGEBRAICAS
ESTRUCTURAS ALGEBRAICAS 1.1. LEY DE COMPOSICIÓN INTERNA Definición 1.1.1. Sea E un conjunto, se llama ley de composición interna en E si y sólo si a b = c E, a, b E. Observación 1.1.1. 1. también se llama
Más detallesUn Navegador es un programa que nos conecta a Internet y nos permite organizar nuestro
Introducción Un Navegador es un programa que nos conecta a Internet y nos permite organizar nuestro acceso al mundo Web. Cuando queremos entrar a Internet, lo primero que se abre en el ordenador es el
Más detallesCálculo Relacional. 12/03/07 E.I.S.C. - Prof. Mauricio Fernández - Curso: Bases de Datos I 1/31. Porqué necesitamos un Lenguaje de Consulta?
El Modelo Relacional: Cálculo Relacional 12/03/07 E.I.S.C. - Prof. Mauricio Fernández - Curso: Bases de Datos I 1/31 Porqué necesitamos un Lenguaje de Consulta? Dos ventajas importantes Menor trabajo realizar
Más detallesLección 1-Introducción a los Polinomios y Suma y Resta de Polinomios. Dra. Noemí L. Ruiz Limardo 2009
Lección 1-Introducción a los Polinomios y Suma y Resta de Polinomios Dra. Noemí L. Ruiz Limardo 2009 Objetivos de la Lección Al finalizar esta lección los estudiantes: Identificarán, de una lista de expresiones
Más detallesGUÍA DE LOS MAESTROS ACTIVIDAD: EL COLOR DEPENDE DEL CRISTAL CON QUE SE MIRA
GUÍA DE LOS MAESTROS ACTIVIDAD: EL COLOR DEPENDE DEL CRISTAL CON QUE SE MIRA Tiempo Sugerido: 100-150 minutos (dos a tres períodos de 50 minutos) Objetivo General: a. Conocer que el color es una propiedad
Más detallesESTRUCTURAS CONDICIONALES EN PHP: SWITCH, CASE, BREAK. EJEMPLOS DE USO Y EJERCICIOS RESUELTOS. (CU00820B)
APRENDERAPROGRAMARCOM ESTRUCTURAS CONDICIONALES EN PHP: SWITCH, CASE, BREAK EJEMPLOS DE USO Y EJERCICIOS RESUELTOS (CU00820B) Sección: Cursos Categoría: Tutorial básico del programador web: PHP desde cero
Más detalles5 Expresiones algebraicas
8948 _ 04-008.qxd /9/07 :0 Página 9 Expresiones algebraicas INTRODUCCIÓN RESUMEN DE LA UNIDAD El lenguaje algebraico sirve para expresar situaciones relacionadas con la vida cotidiana, utilizando letras
Más detallesProgramación Lineal Continua/ Investigación Operativa. EJERCICIOS DE INVESTIGACIÓN OPERATIVA. Hoja 1
EJERCICIOS DE INVESTIGACIÓN OPERATIVA. Hoja 1 1. Una empresa que fabrica vehículos quiere determinar un plan de producción semanal. Esta empresa dispone de 5 fábricas que producen distintos elementos del
Más detallesTema : ELECTRÓNICA DIGITAL
(La Herradura Granada) Departamento de TECNOLOGÍA Tema : ELECTRÓNICA DIGITAL.- Introducción. 2.- Representación de operadores lógicos. 3.- Álgebra de Boole. 3..- Operadores básicos. 3.2.- Función lógica
Más detallesUNIVERSIDAD NACIONAL DE ASUNCION FACULTAD POLITÉCNICA CARRERA: LCIK MATERIA: Bases de Datos I Prof: Lic. Lilian Riveros Unidad 2: Modelo Relacional
El Modelo Relacional es un modelo de datos que nos permite describir la estructura de una base de datos a nivel lógico. En 1969, Edgar Frank Ted Codd (1923-2003) introduce el modelo relacional con una
Más detallesProfesorado de Informática Ciencias de la Computación INET- DFPD Matemática I - Matemática Discreta usando el computador Ing. Prof.
Árboles Profesorado de Informática Ciencias de la Computación INET- DFPD Matemática I - Matemática Discreta usando el computador Ing. Prof. Paula Echenique Una de las estructuras de datos más importantes
Más detallesRECOMENDACIONES DE INVESTIGACIÓN FUTURA.
Capítulo 6 CONCLUSIONES Y RECOMENDACIONES DE INVESTIGACIÓN FUTURA. 212 METODOLOGÍA PARA LA DETECCIÓN DE REQUERIMIENTOS SUBJETIVOS EN EL DISEÑO DE PRODUCTO. CAPÍTULO 6. CONCLUSIONES, APORTACIONES Y RECOMENDACIONES.
Más detallesÁLGEGRA RELACIONAL AUTORÍA ÁNGEL LUIS COBO YERA TEMÁTICA BASES DE DATOS ETAPA CICLOS FORMATIVOS.
ÁLGEGRA RELACIONAL AUTORÍA ÁNGEL LUIS COBO YERA TEMÁTICA BASES DE DATOS ETAPA CICLOS FORMATIVOS. Resumen En este artículo, se explican los conceptos fundamentales de las operaciones de álgebra relacional,
Más detallesQUIÉNES SOMOS Y QUÉ HACEMOS LOS HEADHUNTERS (*)
QUIÉNES SOMOS Y QUÉ HACEMOS LOS HEADHUNTERS (*) Muchas veces me preguntan qué es un headhunter, qué hacemos, cómo nos aseguramos de encontrar a los potenciales candidatos para cada búsqueda, y cómo nos
Más detallesQUÉ ES UNA BASE DE DATOS Y CUÁLES SON LOS PRINCIPALES TIPOS? EJEMPLOS: MYSQL, SQLSERVER, ORACLE, POSTGRESQL, INFORMIX (DV00204A)
APRENDERAPROGRAMAR.COM QUÉ ES UNA BASE DE DATOS Y CUÁLES SON LOS PRINCIPALES TIPOS? EJEMPLOS: MYSQL, SQLSERVER, ORACLE, POSTGRESQL, INFORMIX (DV00204A) Sección: Divulgación Categoría: Lenguajes y entornos
Más detalles43.8 43.8. Ejercicios de práctica para el examen TASC de Matemáticas
Ejercicios de práctica para el examen TASC de Usa estos ejercicios para practicar para el subconjunto de exámenes de de TASC. Antes de comenzar, revisa la información que está a continuación acerca del
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 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 detallesLección 9: Polinomios
LECCIÓN 9 c) (8 + ) j) [ 9.56 ( 9.56)] 8 q) (a x b) d) ( 5) 4 k) (6z) r) [k 0 (k 5 k )] e) (. 0.) l) (y z) s) (v u ) 4 f) ( 5) + ( 4) m) (c d) 7 t) (p + q) g) (0 x 0.) n) (g 7 g ) Lección 9: Polinomios
Más detallesProgramación Lineal Entera
Programación Lineal Entera Los modelos de programación entera son una extensión de los modelos lineales en los que algunas variables toman valores enteros. Con frecuencia las variables enteras sólo toman
Más detallesMATERIAL 2 EXCEL 2007
INTRODUCCIÓN A EXCEL 2007 MATERIAL 2 EXCEL 2007 Excel 2007 es una planilla de cálculo, un programa que permite manejar datos de diferente tipo, realizar cálculos, hacer gráficos y tablas; una herramienta
Más detallesCONCEPTOS PREVIOS TEMA 2
1.PROPORCIONALIDAD 1.1 REPARTOS PROPORCIONALES CONCEPTOS PREVIOS TEMA 2 Cuando queremos repartir una cantidad entre varias personas, siempre dividimos el total por el número de personas que forman parte
Más detallesJOSE VICENTE CONTRERAS JULIO CALCULO INTEGRAL LA ANTIDERIVADA
CALCULO INTEGRAL LA ANTIDERIVADA Así como las operaciones matemáticas de la adición, la multiplicación y la potenciación tienen sus inversas en la sustracción, la división y la radicación, la diferenciación
Más detallesUNIDAD DE APRENDIZAJE IV
UNIDAD DE APRENDIZAJE IV Saberes procedimentales 1. Interpreta y utiliza correctamente el lenguaje simbólico ara el manejo de expresiones algebraicas. 2. Identifica operaciones básicas con expresiones
Más detallesProgramación Lineal. Ficha para enseñar a utilizar el Solver de EXCEL en la resolución de problemas de Programación Lineal
Programación Lineal Ficha para enseñar a utilizar el Solver de EXCEL en la resolución de problemas de Programación Lineal Ejemplo: Plan de producción de PROTRAC En esta ficha vamos a comentar cómo se construyó
Más detallesUNIDAD 6. POLINOMIOS CON COEFICIENTES ENTEROS
UNIDAD 6. POLINOMIOS CON COEFICIENTES ENTEROS Unidad 6: Polinomios con coeficientes enteros. Al final deberás haber aprendido... Expresar algebraicamente enunciados sencillos. Extraer enunciados razonables
Más detallesCASO PRÁCTICO DISTRIBUCIÓN DE COSTES
CASO PRÁCTICO DISTRIBUCIÓN DE COSTES Nuestra empresa tiene centros de distribución en tres ciudades europeas: Zaragoza, Milán y Burdeos. Hemos solicitado a los responsables de cada uno de los centros que
Más detallesUna relación R de un conjunto A en un conjunto B es un subconjunto R de A x B.
Una relación R de un conjunto A en un conjunto B es un subconjunto R de A x B. Sea R una relación de un conjunto A en un conjunto B. Se dice que un elemento a de A está relacionado con un elemento b de
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 detallesCapítulo 6. Introducción a la POO
Capítulo 6. Introducción a la POO 6. 1. Clases, Objetos y Métodos Definición La Programación Orientada a Objetos (POO) es una forma especial de programar, más cercana a cómo expresaríamos las cosas en
Más detalles= x + x + x + 1 por definición de exponente 2
Equivalencia de expresiones algebraicas En este documento exploramos un concepto simple, en apariencia, enseñado en escuelas de nivel secundaria: la equivalencia de dos expresiones algebraicas Empecemos
Más detallesTecnología de la Información y la Comunicación. Base de datos. Modelo Entidad Relación - 2007 -
Tecnología de la Información y la Comunicación Base de datos Modelo Entidad Relación - 2007 - Profesores del área Informática: Guillermo Storti Gladys Ríos Gabriel Campodónico Modelo de Entidad Relación
Más detallesResolución de Problemas
Introducción Resolución de Problemas La resolución de problemas es una capacidad que consideramos inteligente Somos capaces de resolver problemas muy diferentes Encontrar el camino en un laberinto Resolver
Más detallesAlternativamente, los vectores también se pueden poner en función de los vectores unitarios:
1. Nociones fundamentales de cálculo vectorial Un vector es un segmento orientado que está caracterizado por tres parámetros: Módulo: indica la longitud del vector Dirección: indica la recta de soporte
Más detallesNúmeros Reales DESIGUALDADES DESIGUALDADES. Solución de desigualdades. 2x + 4 < 6x +1 6x + 3 8x 7 x 2 > 3x 2 5x + 8. INECUACIONES o DESIGUALDADES
Números Reales INECUACIONES o DESIGUALDADES DESIGUALDADES Una desigualdad en una variable es una expresión donde se establece una relación entre dos cantidades. Las relaciones de orden son: ,, Ejemplos:
Más detallesUnidad III: Programación no lineal
Unidad III: Programación no lineal 3.1 Conceptos básicos de problemas de programación no lineal Programación no lineal (PNL) es el proceso de resolución de un sistema de igualdades y desigualdades sujetas
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 detallesSISTEMAS DE NUMERACIÓN. Sistema decimal
SISTEMAS DE NUMERACIÓN Sistema decimal Desde antiguo el Hombre ha ideado sistemas para numerar objetos, algunos sistemas primitivos han llegado hasta nuestros días, tal es el caso de los "números romanos",
Más detallesDCU Diagramas de casos de uso
DCU Diagramas de casos de uso Universidad de Oviedo Departamento de Informática Contenidos Introducción Elementos básicos Más sobre los actores Más sobre los casos de uso Más sobre las asociaciones Otros
Más detallesIntroducción al UML. Domingo Hernández H. Escuela de Ingeniería de Sistemas Departamento de computación
Introducción al UML Domingo Hernández H. Escuela de Ingeniería de Sistemas Departamento de computación Contenido Qué es UML?. Diagramas Utilizados en UML. Ejemplos. Qué es UML UML es un Lenguaje de Modelado
Más detallesGUIA PROGRAMACIÓN ORIENTADA A OBJETOS
GUIA PROGRAMACIÓN ORIENTADA A OBJETOS 1. Por qué la P.O.O? R= A medida que se van desarrollando los lenguajes, se va desarrollando también la posibilidad de resolver problemas más complejos. En la evolución
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 detallesLa Lección de Hoy es Distancia entre dos puntos. El cuál es la expectativa para el aprendizaje del estudiante CGT.5.G.1
La Lección de Hoy es Distancia entre dos puntos El cuál es la expectativa para el aprendizaje del estudiante CGT.5.G.1 La formula de la distancia dada a dos pares es: d= (x 2 -x 1 ) 2 + (y 2 -y 1 ) 2 De
Más detallesCONTROL DE ASISTENCIA DE PERSONAL
CONTROL DE ASISTENCIA DE PERSONAL PARA UNA EMPRESA INITE, S.C. no es responsable del contenido, de la veracidad de los datos, opiniones y acontecimientos vertidos en el presente proyecto. La finalidad
Más detallesSemántica de Primer Orden. Semántica de Primer Orden
Para interpretar una fórmula de la lógica de predicados de primer orden: determinar qué objetos representan los términos (Dominio) definir las funciones y qué propiedades/relaciones representan los predicados
Más detalles4.Diseño de Bases de Datos (I)
4.Diseño de Bases de Datos (I) 4.1 Anomalías. Se denominan así en teoría de Bases de Datos a ciertos problemas que aparecen con frecuencia en el manejo de las mismas cuando el diseño no ha sido realizado
Más detallesTarea 7 Soluciones. Sol. Sea x el porcentaje que no conocemos, entonces tenemos la siguiente. (3500)x = 420. x = 420 3500 = 3 25
Tarea 7 Soluciones. Una inversión de $3500 produce un rendimiento de $420 en un año, qué rendimiento producirá una inversión de $4500 a la misma tasa de interés durante el mismo tiempo? Sol. Sea x el porcentaje
Más detallesTEMA 1. LA ECONOMÍA: CUESTIONES INTRODUCTORIAS 1.4.- QUÉ ES MACROECONOMÍA Y MICROECONOMÍA?
TEMA 1. LA ECONOMÍA: CUESTIONES INTRODUCTORIAS 1.0.- INTRODUCCIÓN 1.1.- ECONOMÍA, ESCASEZ Y ELECCIÓN 1.2.- LOS AGENTES ECONÓMICOS 1.3.- LOS FACTORES PRODUCTIVOS 1.4.- QUÉ ES MACROECONOMÍA Y MICROECONOMÍA?
Más detallesEL ENFOQUE CIF APLICADO A LAS TECNOLOGÍAS DE APOYO. Tecnología y par>cipación II Jornada de Formación para LTA
EL ENFOQUE CIF APLICADO A LAS TECNOLOGÍAS DE APOYO Tecnología y par>cipación II Jornada de Formación para LTA EL MODELO SOCIAL DE LA DISCAPACIDAD CIF DE LA OMS, 2001 MODELO DE APOYOS (A.A.I.D.) PERSPECTIVA
Más detallesELEMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS. Dra. Patricia Kisbye Dr. Alejandro L. Tiraboschi
ELEMENTOS DE LÓGICA Y TEORÍA DE CONJUNTOS Dra. Patricia Kisbye Dr. Alejandro L. Tiraboschi 3 INTRODUCCIÓN Estas notas han sido elaboradas con el objetivo de ofrecer al ingresante a las carreras de la
Más detalles