Lógica de Primer Orden. Esquema. Tema 6. Introducción

Tamaño: px
Comenzar la demostración a partir de la página:

Download "Lógica de Primer Orden. Esquema. Tema 6. Introducción"

Transcripción

1 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 notación Utilizando la Lógica de Primer Orden - el dominio de las relaciones familiares - el dominio de los conjuntos Un agente para el mundo del Wumpus con Lógica de Primer Orden Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 2

2 Introducción Los agentes basados en el conocimiento funcionan razonando con una representación del conocimiento sobre el mundo y sus acciones La lógica proposicional tiene muchas limitaciones derivadas del uso exclusivo de la proposición como construcción del lenguaje Vamos a ver un lenguaje que ofrece distintas construcciones para representar el conocimiento: lógica de primer orden (LPO) Supone que existen entidades individuales (objetos), con características distintivas (propiedades), entre los que puede haber relaciones de distintos tipos, algunas de ellas funciones Ejemplos de los elementos anteriores: objetos: gente, casas, números, colores, propiedades: rojo, redondo, primo, relaciones: hermano de, mayor que, funciones: padre de, Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 3 Cualquier hecho se refiere a uno o varios de los anteriores elementos, pe en si el Wumpus está en una posición, las posiciones adyacentes huelen podemos distinguir objetos: Wumpus y posiciones propiedades: presencia de olor relaciones: ser adyacente a funciones: estar en La popularidad de la LPO se debe a que estructura el mundo en objetos y relaciones facilita el razonamiento da libertad para describir el mundo de la manera que el diseñador considere apropiada permite expresar sentencias sobre todos los objetos del universo Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 4

3 Sintaxis y semántica de la LPO En la LPO existensentencias representando hechos y términos representando objetos Los símbolos que se usan son los símbolos de constante, predicado y función, las variables, las conectivas lógicas, los cuantificadores, la igualdad y los paréntesis Ejemplos: Símbolos de constante: ReyJuan, 2, UJI, Símbolos de predicado: Redondo, Hermano, >, Símbolos de función: Coseno, P adre, P iernaizquierdade, Variables: x, y, a, b, Conectivas lógicas: = Cuantificadores: Igualdad: = Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 5 La semántica de los símbolos de constante especifica a qué objeto se refieren siguiendo las pautas: una constante se refiere a un solo objeto puede haber dos constantes haciendo referencia al mismo objeto no es necesario nombrar todos los objetos del universo La semántica de los símbolos de predicado especifica a qué relación hacen referencia Formalmente toda relación se define mediante el conjunto de tuplas que la satisfacen, pe la relación de hermandad: { Rey Juan, Ricardo Corazón De León, Ricardo Corazón De León, Rey Juan } Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 6

4 La semántica de los símbolos de función especifica la relación funcional a que hacen referencia Una relación funcional también puede definirse mediante un conjunto de tuplas, pe la función coseno hace corresponder a un ángulo un solo número mediante tuplas con dos elementos: { 90 o,0, 0 o,1 } La sintaxis de los términos: los símbolos de constante son términos un símbolo de función seguido de una lista entre paréntesis de términos (argumentos) es un término, pe P iernaizquierdade(juan) permiten refirirse a un objeto sin necesidad de nombrarlo La semántica de los términos corresponde, en la relación especificada, al n +1elemento de la tupla cuyos primeros n objetos son los argumentos Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 7 La sintaxis de las sentencias atómicas: unsímbolo de predicado seguido de una lista de términos es una sentencia atómica, pe Hermano(Ricardo,Juan) o Casado(P adre(ricardo), M adre(juan)) notar que los argumentos se ordenan de forma que P (x, y) se lea como x es una P de y La semántica de las sentencias atómicas: una sentencia atómica es cierta si la relación especificada se da entre los argumentos La sintaxis de las sentencias compuestas: como en la lógica proposicional, las sentencias se pueden construir combinando otras con, pe Hermano(Ricardo, Juan) Hermano(Juan, Ricardo) con, pe MasV iejo(juan, 30) MasJoven(Juan, 30) La semántica de las sentencias compuestas es similar a la de las sentencias con conectivas de la lógica proposicional Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 8

5 Con los cuantificadores y podemos expresar propiedades sobre conjuntos de objetos sin enumerarlos: (cuantificador universal), pe todos los gatos son mamíferos : x Gato(x) Mamifero(x) Se puede ver como la conjunción de las sentencias obtenidas al sustituir la variable x: Gato(Mancha) Mamifero(Mancha) Gato(Felix) Mamifero(Felix) Gato(Juan) Mamifero(Juan) (cuantificador existencial), pe Mancha tiene una hermana que es gato : x Hermana(x, Mancha) Gato(x) Se puede ver como: (Hermana(Mancha, Mancha) Gato(Mancha)) (Hermana(Felix,Mancha) Gato(Felix)) La semántica de sentencias con cuantificadores se deriva de la de las sentencias con conectivas Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 9 notar que la conectiva que usaremos con es y que la que usaremos con es Para expresar sentencias más complejas necesitaremos utilizar varios cuantificadores: del mismo tipo, pe si x es progenitor de y entonces y es descendiente de x : x, y P rogenitor(x, y) Descendiente(y, x) o de distinto tipo, pe todo el mundo quiere a alguien : x, y Quiere(x, y) existe alguien a quien todo el mundo quiere : y, x Quiere(x, y) El orden de los cuantificadores es muy importante: x, y P(x, y) x ( y P(x, y)) afirma que todo objeto tiene la propiedad de estar relacionado con algún objeto mediante P x, yp(x, y) x ( yp(x, y)) afirma que algún objeto tiene la propiedad de estar relacionado con todos los objetos mediante P Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 10

6 Los cuantificadores y están relacionados mediante la negación, pe todo el mundo detesta el broccoli equivale a no existe nadie a quien le guste el broccoli x Gusta(x, Broccoli) equivale a x Gusta(x, Broccoli) a todo el mundo le gusta el helado equivale a no existe nadie a quien no le guste el helado x Gusta(x, Helado) equivale a x Gusta(x, Helado) Como y pueden verse como una conjunción y una disyunción sobre el universo de objetos, cumplen las leyes de De Morgan: x P xp x P x P x P x P x P x P Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 11 Con la igualdad = podemos afirmar que dos términos se refieren al mismo objeto, pe P adre(juan)=enrique También sirve para afirmar que el objeto al que nos referimos en dos términos no deben ser el mismo, pe Mancha tiene dos hermanas : x, y Hermana(x, M ancha) Hermana(y,M ancha) (x = y) notar que sin (x = y) (o en su lugar x y) no estamos excluyendo el caso en que x e y son iguales La semántica de sentencias con la igualdad: una igualdad es cierta si los dos términos que une se refieren al mismo objeto Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 12

7 Variaciones en la notación Existen notaciones alternativas desarrolladas en otros campos: Elemento de la sintaxis Notación utilizada Notaciones alternativas Negación P P P Y P Q P &Q P Q PQ P,Q O P Q P Q P; Q P + Q Implicación P Q P Q P Q Equivalencia P Q P Q P Q Universalidad x P(x) ( x)p (x) xp (x) Existencia x P(x) ( x)p (x) xp (x) Relación R(x, y) (Rxy) Rxy xry Otras notaciones derivan de lenguajes de programación lógicos, pe x P eludo(x) Maulla(x) Tiene(x, Garras) Gato(x) en Prolog: gato (X) :- peludo (X), maulla (X), tiene (X, garras) en lenguajes basados en Lisp: (forall?x (=> (and (peludo?x) (maulla?x) (tiene?x garras)) (gato?x))) Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 13 Utilizando la LPO Denominamos dominio al fragmento del mundo al que nos estamos refiriendo cuando representamos conocimiento En matemáticas los axiomas capturan los hechos básicos de un dominio y sirven de base para la definición de otros conceptos axiomas y definiciones se utilizan en la demostración de teoremas En IA usaremos axiomas para representar el conocimiento que hay inicialmente en la KB Para representar el conocimiento de un dominio: 1 Identificar objetos, propiedades, relaciones y funciones 2 Describir el conocimiento que tenemos de ellos mediante axiomas Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 14

8 el dominio de las relaciones familiares Podemos identificar: objetos: personas propiedades: género predicados unarios Hombre y Mujer relaciones: progenitor, descendiente, hijo, hija, cónyuge, esposo, esposa, predicados binarios P rogenitor, Descendiente, Hijo, Hija, Conyuge, Esposo, Esposa, funciones: padre y madre funciones P adre y Madre Y describir lo que de ellos sabemos Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 15 La madre de alguien es su progenitor femenino El esposo de alguien es su cónyuge masculino Masculino y femenino son géneros disjuntos Progenitor y descendiente son relaciones inversas Abuelo de alguien es un progenitor de los progenitores de ese alguien Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 16

9 La madre de alguien es su progenitor femenino m, c Madre(c) =m Mujer(m) P rogenitor(m, c) El esposo de alguien es su cónyuge masculino w, h Esposo(h, w) Hombre(h) Conyuge(h, w) Masculino y femenino son géneros disjuntos x Hombre(x) Mujer(x) Progenitor y descendiente son relaciones inversas p, c P rogenitor(p, c) Descendiente(c, p) Abuelo de alguien es un progenitor de los progenitores de ese alguien g, c Abuelos(g, c) pprogenitor(g, p) P rogenitor(p, c) Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 17 Una cuestión importante es saber si hemos definido una cantidad de axiomas suficiente para especificar completamente el dominio: se puede postular un conjunto de predicados básicos, pe en el dominio de las relaciones familiares: Descendiente, Conyuge, Hombre y Mujer También es importante es saber si hemos definido demasiados axiomas, es decir, si no son independientes: un axioma independiente es aquél que no se puede obtener a partir de otros En IA se suele trabajar con axiomas dependientes con el fin de hacer más eficiente el proceso de demostración Una definición es un axioma con la forma x, y P (x, y), especificando para qué objetos se cumple P yparacuáles no La LPO permite utilizar predicados parcialmente definidos Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 18

10 el dominio de los conjuntos Necesitaremos: representar conjuntos, incluido el vacío constante ConjuntoV acio construir nuevos conjuntos añadiendounelementoa otro conjunto función Incorporacion o mediante la unión o la intersección de otros funciones Union e Interseccion saber si un objeto es un conjunto predicado Conjunto, si un elemento es miembro de un conjunto predicado Miembro, o si un conjunto está incluido en otro predicado Subconjunto Los axiomas que se proponen Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 19 Sólo son conjuntos el vacío y los que resultan de incorporar un elemento El conjunto vacío es aquél que no tiene ningún elemento La incorporación de un elemento que ya está en el conjunto no tiene efecto Los únicos elementos de un conjunto son aquéllos que han sido incorporados Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 20

11 Sólo son conjuntos el vacío y los que resultan de incorporar un elemento s Conjunto(s) (s = ConjuntoV acio) ( x, s 2 Conjunto(s 2 ) s = Incorporacion(x, s 2 )) El conjunto vacío es aquél que no tiene ningún elemento x, s Incorporacion(x, s) =ConjuntoV acio La incorporación de un elemento que ya está en el conjunto no tiene efecto x, s Miembro(x, s) s = Incorporacion(x, s) Los únicos elementos de un conjunto son aquéllos que han sido incorporados x, s Miembro(x, s) y, s 2 (s = Incorporacion(y, s 2 ) (x = y Miembro(x, s 2 ))) Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 21 Un conjunto es subconjunto de otro si y sólo si todos los miembros del primero lo son del segundo Dos conjuntos son iguales si y sólo cada uno de ellos es subconjunto del otro Un objeto es miembro de la intersección de dos conjuntos si y sólo si es también miembro de cada uno de ellos Un objeto es miembro de la unión de dos conjuntos si y sólo si es también miembro de alguno de ellos Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 22

12 Un conjunto es subconjunto de otro si y sólo si todos los miembros del primero lo son del segundo s 1,s 2 Subconjunto(s 1,s 2 ) ( x Miembro(x, s 1 ) Miembro(x, s 2 )) Dos conjuntos son iguales si y sólo cada uno de ellos es subconjunto del otro s 1,s 2 (s 1 = s 2 ) (Subconjunto(s 1,s 2 ) Subconjunto(s 1,s 2 )) Un objeto es miembro de la intersección de dos conjuntos si y sólo si es también miembro de cada uno de ellos x, s 1,s 2 Miembro(x, Interseccion(s 1,s 2 )) Miembro(x, s 1 ) Miembro(x, s 2 ) Un objeto es miembro de la unión de dos conjuntos si y sólo si es también miembro de alguno de ellos x, s 1,s 2 Miembro(x, Union(s 1,s 2 )) Miembro(x, s 1 ) Miembro(x, s 2 ) Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 23 Un agente para el mundo del Wumpus El esquema para un agente basado en el conocimiento usando LPO: function KB-AGENT( percept) returns an action static: KB, a knowledge base t, a counter, initially 0, indicating time TELL(KB, MAKE-PERCEPT-SENTENCE( percept, t)) action ASK(KB,MAKE-ACTION-QUERY(t)) TELL(KB, MAKE-ACTION-SENTENCE(action, t)) t t +1 return action Tell y Ask sirven para: introducir sentencias en la KB, pe Tell(KB, m, c Madre(c) =m Mujer(m) P rogenitor(m, c)) realizar consultas simples o con cuantificador existencial, pe Ask(KB, Abuelo(Maxi,Botas))oAsk(KB, x Hijo(x, Mancha)) Las últimas se responden con una lista de pares variable/término (sustitución), pe {x/botas} Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 24

13 Para construir el agente usando LPO se deberá decidir, entre otras cosas, la representación de: las percepciones y el momento en que se reciben, pe Percept([Stench, Breeze, Glitter, None, None], 5) las reglas para convertir las percepciones en formas más útiles: b, g, p, q, t P ercept([stench,b,g,p,q],t) Stench(t) s, g, p, q, t P ercept([s, Breeze, g, p, q],t) Breeze(t) s, b, p, q, t P ercept([s, b, Glitter, p, q],t) AtGold(t) las acciones posibles: Turn(Right), Turn(Left), F orward, Grab, Release, Shoot, Climb consultas, pe a Action(a, 5) Transparencias IA (F29) MMarcos, 2002 (Figuras c SRussell & PNorvig, 1998) Tema 6 25

IIC 2252 - Matemática Discreta

IIC 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 detalles

MLM 1000 - Matemática Discreta

MLM 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 detalles

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 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 detalles

Apuntes de Matemática Discreta 1. Conjuntos y Subconjuntos

Apuntes 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 detalles

PROLOG 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. 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 detalles

Para representar los conjuntos, los elementos y la relación de pertenencia, mediante símbolos, tendremos en cuenta las siguientes convenciones:

Para 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 detalles

UNIDAD I: LÓGICA PROPOSICIONAL

UNIDAD 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 detalles

INTRODUCCION A LA LÓGICA DE ENUNCIADOS

INTRODUCCION 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 detalles

Módulo 9 Sistema matemático y operaciones binarias

Mó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 detalles

Tablas. Estas serán las tablas que usaremos en la mayoría de ejemplos. Empleado

Tablas. 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 detalles

personal.us.es/elisacamol Elisa Cañete Molero Curso 2011/12

personal.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 detalles

Estructuras 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 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 detalles

Universidad Católica del Maule. Fundamentos de Computación Especificación de tipos de datos ESPECIFICACIÓN ALGEBRAICA DE TIPOS DE DATOS

Universidad 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 detalles

NÚMERO REAL. 1. Axiomas de cuerpo y propiedades operatorias. Axioma 2 La suma es asociativa:

NÚMERO REAL. 1. Axiomas de cuerpo y propiedades operatorias. Axioma 2 La suma es asociativa: NÚMERO REAL El conjunto de los números racionales se nos hace insuficiente a la hora de representar con exactitud magnitudes tan reales como la diagonal de un cuadrado cuyo lado mida 1, por ejemplo, o

Más detalles

1.4.- D E S I G U A L D A D E S

1.4.- D E S I G U A L D A D E S 1.4.- D E S I G U A L D A D E S OBJETIVO: Que el alumno conozca y maneje las reglas empleadas en la resolución de desigualdades y las use para determinar el conjunto solución de una desigualdad dada y

Más detalles

Guía de conjuntos. 1ero A y B La importancia del lenguaje.

Guía de conjuntos. 1ero A y B La importancia del lenguaje. Guía de conjuntos. 1ero A y B La importancia del lenguaje. El lenguaje nos permite salir de nosotros mismos y comunicarnos con el mundo; a veces un gesto nos transmite un pensamiento o un sentimiento.

Más detalles

Escenas de episodios anteriores

Escenas 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 detalles

Transformación de binario a decimal. Transformación de decimal a binario. ELECTRÓNICA DIGITAL

Transformación de binario a decimal. Transformación de decimal a binario. ELECTRÓNICA DIGITAL ELECTRÓNICA DIGITAL La electrónica es la rama de la ciencia que se ocupa del estudio de los circuitos y de sus componentes, que permiten modificar la corriente eléctrica amplificándola, atenuándola, rectificándola

Más detalles

Universidad 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) 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 detalles

Lógica de Predicados 1

Lógica de Predicados 1 Lógica de Predicados 1 rafael ramirez rafael@iua.upf.es Ocata 320 Porqué Lógica de Predicados La logica proposicional maneja bien afirmaciones compuestas de no, y, o, si entonces En situaciones con un

Más detalles

Espacios generados, dependencia lineal y bases

Espacios 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 detalles

Ingeniería del Software I Clase de Testing Funcional 2do. Cuatrimestre de 2007

Ingenierí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 detalles

Liderazgo se genera en el lenguaje

Liderazgo se genera en el lenguaje Liderazgo se genera en el lenguaje Para nosotros, un buen punto de partida para comprender el liderazgo está en el reconocimiento de que éste se da en el lenguaje. El liderazgo es un fenómeno producido

Más detalles

Búsqueda booleana en Internet

Bú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 detalles

Capítulo VI. Diagramas de Entidad Relación

Capí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 detalles

Aproximación local. Plano tangente. Derivadas parciales.

Aproximación local. Plano tangente. Derivadas parciales. Univ. de Alcalá de Henares Ingeniería de Telecomunicación Cálculo. Segundo parcial. Curso 004-005 Aproximación local. Plano tangente. Derivadas parciales. 1. Plano tangente 1.1. El problema de la aproximación

Más detalles

SISTEMAS DE NUMERACIÓN. Sistema de numeración decimal: 5 10 2 2 10 1 8 10 0 =528 8 10 3 2 10 2 4 10 1 5 10 0 9 10 1 7 10 2 =8245,97

SISTEMAS DE NUMERACIÓN. Sistema de numeración decimal: 5 10 2 2 10 1 8 10 0 =528 8 10 3 2 10 2 4 10 1 5 10 0 9 10 1 7 10 2 =8245,97 SISTEMAS DE NUMERACIÓN Un sistema de numeración es un conjunto de símbolos y reglas que permiten representar datos numéricos. La norma principal en un sistema de numeración posicional es que un mismo símbolo

Más detalles

Números Reales. MathCon c 2007-2009

Nú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 detalles

Haydee Jiménez Tafur Grupo de Algebra. Universidad Pedagógica Nacional Estudiante de maestría en Matemáticas. Universidad Nacional de Colombia.

Haydee Jiménez Tafur Grupo de Algebra. Universidad Pedagógica Nacional Estudiante de maestría en Matemáticas. Universidad Nacional de Colombia. "Otras Alternativas Para La Definición De Relación En Teoría De Conjuntos" Carlos Julio Luque Arias Profesor Universidad Pedagógica Nacional Grupo de Algebra. Universidad Pedagógica Nacional Haydee Jiménez

Más detalles

Congreso de Colegios Católicos, Una pasión que se renueva. Pontificia Universidad Católica de Chile. Septiembre 2015.

Congreso de Colegios Católicos, Una pasión que se renueva. Pontificia Universidad Católica de Chile. Septiembre 2015. Panel: Ley de Inclusión, reglamentación y Colegios Católicos Andrés Palma 1 Hola, muy buenas tardes, muchas gracias a la Conferencia Episcopal, a FIDE, a la Universidad Católica por la invitación para

Más detalles

Profr. Efraín Soto Apolinar. Función Inversa

Profr. Efraín Soto Apolinar. Función Inversa Función Inversa Una función es una relación entre dos variables, de manera que para cada valor de la variable independiente eiste a lo más un único valor asignado a la variable independiente por la función.

Más detalles

Notas de Clase. Prof. Juan Andrés Colmenares, M.Sc. Instituto de Cálculo Aplicado Facultad de Ingeniería Universidad del Zulia. 21 de febrero de 2004

Notas de Clase. Prof. Juan Andrés Colmenares, M.Sc. Instituto de Cálculo Aplicado Facultad de Ingeniería Universidad del Zulia. 21 de febrero de 2004 Árboles Notas de Clase Prof. Juan Andrés Colmenares, M.Sc. Instituto de Cálculo Aplicado Facultad de Ingeniería Universidad del Zulia 21 de febrero de 2004 Índice 1. Definición 1 2. Términos Básicos 2

Más detalles

Repaso de Lógica de Primer Orden

Repaso 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 detalles

GUÍA TÉCNICA PARA LA DEFINICIÓN DE COMPROMISOS DE CALIDAD Y SUS INDICADORES

GUÍA TÉCNICA PARA LA DEFINICIÓN DE COMPROMISOS DE CALIDAD Y SUS INDICADORES GUÍA TÉCNICA PARA LA DEFINICIÓN DE COMPROMISOS DE CALIDAD Y SUS INDICADORES Tema: Cartas de Servicios Primera versión: 2008 Datos de contacto: Evaluación y Calidad. Gobierno de Navarra. evaluacionycalidad@navarra.es

Más detalles

1. Números Reales 1.1 Clasificación y propiedades

1. 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 detalles

4. Modelo Relacional: Manipulación de los datos.

4. 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 detalles

SISTEMAS BASADOS EN EL CONOCIMIENTO Grado en Ingeniería Informática Hoja de Problemas Tema 4 Web Semántica y Web de Datos

SISTEMAS BASADOS EN EL CONOCIMIENTO Grado en Ingeniería Informática Hoja de Problemas Tema 4 Web Semántica y Web de Datos Ejercicio 1: Utilizando la herramienta Protege 3.4 realizar los siguientes pasos: 1. Crear un proyecto nuevo Seleccionar OWL / RDF Files Después OWL DL 2. Crear la clase Animal y las subclases Tigre, Vaca

Más detalles

BPMN Business Process Modeling Notation

BPMN Business Process Modeling Notation BPMN (BPMN) es una notación gráfica que describe la lógica de los pasos de un proceso de Negocio. Esta notación ha sido especialmente diseñada para coordinar la secuencia de los procesos y los mensajes

Más detalles

Análisis de medidas conjuntas (conjoint analysis)

Análisis de medidas conjuntas (conjoint analysis) Análisis de medidas conuntas (conoint analysis). Introducción Como ya hemos dicho anteriormente, esta técnica de análisis nos sirve para analizar la importancia que dan los consumidores a cada uno de los

Más detalles

Espacios Vectoriales

Espacios Vectoriales Espacios Vectoriales Departamento de Matemáticas, CCIR/ITESM 4 de enero de 2 Índice 3.. Objetivos................................................ 3.2. Motivación...............................................

Más detalles

Objetivos. Contenidos. Revisar los principales conceptos de la lógica de primer orden

Objetivos. 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 detalles

Apuntes de Matemática Discreta 9. Funciones

Apuntes 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 detalles

Generació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 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 detalles

Una 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.

Una 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 detalles

Seminario: Expresividad semántica y lógica de segundo orden:

Seminario: 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 detalles

1 de cada 5 ticos usa redes Sociales

1 de cada 5 ticos usa redes Sociales 1 de cada 5 ticos usa redes Sociales el NSE o el nivel educativo mayor es el uso de redes sociales. Se entrevistó a 1210 personas costarricenses entre 18 y 69 años de edad, residentes en todo el territorio

Más detalles

Álgebra Relacional. Unidad 5

Álgebra Relacional. Unidad 5 Álgebra Relacional Unidad 5 Definición Álgebra es un sistema matemático que está formado por: Operandos. Valores o variables con los cuáles se pueden construir nuevos valores o variables Operadores. Símbolos

Más detalles

by Tim Tran: https://picasaweb.google.com/lh/photo/sdo00o8wa-czfov3nd0eoa?full-exif=true

by Tim Tran: https://picasaweb.google.com/lh/photo/sdo00o8wa-czfov3nd0eoa?full-exif=true by Tim Tran: https://picasaweb.google.com/lh/photo/sdo00o8wa-czfov3nd0eoa?full-exif=true I. FUNDAMENTOS 3. Representación de la información Introducción a la Informática Curso de Acceso a la Universidad

Más detalles

Covarianza y coeficiente de correlación

Covarianza y coeficiente de correlación Covarianza y coeficiente de correlación Cuando analizábamos las variables unidimensionales considerábamos, entre otras medidas importantes, la media y la varianza. Ahora hemos visto que estas medidas también

Más detalles

Operaciones Morfológicas en Imágenes Binarias

Operaciones Morfológicas en Imágenes Binarias Operaciones Morfológicas en Imágenes Binarias Introducción La morfología matemática es una herramienta muy utilizada en el procesamiento de i- mágenes. Las operaciones morfológicas pueden simplificar los

Más detalles

Santiago, 11 de Noviembre de 2015

Santiago, 11 de Noviembre de 2015 Discurso de S.E. la Presidenta de la República, Michelle Bachelet Jeria, en el Lanzamiento del Programa Más Capaz Mujer Emprendedora, en comuna de Lo Espejo Santiago, 11 de Noviembre de 2015 Amigas y amigos:

Más detalles

INTRODUCCIÓN: Una Visión Global del Proceso de Creación de Empresas

INTRODUCCIÓN: Una Visión Global del Proceso de Creación de Empresas INTRODUCCIÓN: Una Visión Global del Proceso de Creación de Empresas 1 INTRODUCCIÓN. Una visión global del proceso de creación de empresas Cuando se analiza desde una perspectiva integral el proceso de

Más detalles

1. Producto escalar, métrica y norma asociada

1. 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 detalles

OBJETIVOS GENERALES DE LA EMPRESA

OBJETIVOS GENERALES DE LA EMPRESA OBJETIVOS SMART y LOS KPI OBJETIVOS GENERALES DE LA EMPRESA Tras la realización del diagnóstico y el pronóstico del escenario, se decidirán los objetivos de la empresa que deberán alcanzarse en los próximos

Más detalles

Elementos requeridos para crearlos (ejemplo: el compilador)

Elementos 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 detalles

GUÍA PARA LA FORMULACIÓN PROYECTOS

GUÍA PARA LA FORMULACIÓN PROYECTOS GUÍA PARA LA FORMULACIÓN PROYECTOS Un PROYECTO es un PLAN DE TRABAJO; un conjunto ordenado de actividades con el fin de satisfacer necesidades o resolver problemas. Por lo general, cualquier tipo de proyecto,

Más detalles

3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON)

3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON) 3.1 INGENIERIA DE SOFTWARE ORIENTADO A OBJETOS OOSE (IVAR JACOBSON) 3.1.1 Introducción Este método proporciona un soporte para el diseño creativo de productos de software, inclusive a escala industrial.

Más detalles

ESTRUCTURAS ALGEBRAICAS 1

ESTRUCTURAS ALGEBRAICAS 1 ESTRUCTURAS ALGEBRAICAS Se da la relación entre dos conjuntos mediante el siguiente diagrama: (, ) (2, 3) (, 4) (, 2) (7, 8) (, ) (3, 3) (5, ) (6, ) (, 6)........ 5 6......... 2 5 i) Observa la correspondencia

Más detalles

TRANSMISION DIGITAL. PCM, Modulación por Codificación de Pulsos

TRANSMISION DIGITAL. PCM, Modulación por Codificación de Pulsos MODULACIÓN TRANSMISION DIGITAL La amplia naturaleza de las señales analógicas es evidente, cualquier forma de onda está disponible con toda seguridad en el ámbito analógico, nos encontramos con una onda

Más detalles

Estas visiones de la información, denominadas vistas, se pueden identificar de varias formas.

Estas 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 detalles

Ecuaciones de primer grado con dos incógnitas

Ecuaciones 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 detalles

GUIA PROGRAMACIÓN ORIENTADA A OBJETOS

GUIA 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 detalles

Tema 3. Espacios vectoriales

Tema 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 detalles

A estas alturas de nuestros conocimientos vamos a establecer dos reglas muy prácticas de cómo sumar dos números reales:

A 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 detalles

SISTEMAS DE COORDENADAS SISTEMA COORDENADO UNIDIMENSIONAL

SISTEMAS DE COORDENADAS SISTEMA COORDENADO UNIDIMENSIONAL SISTEMAS DE COORDENADAS En la vida diaria, nos encontramos con el problema de ordenar algunos objetos; de tal manera que es necesario agruparlos, identificarlos, seleccionarlos, estereotiparlos, etc.,

Más detalles

El impacto de la crisis en las ONG

El impacto de la crisis en las ONG El impacto de la crisis en las ONG Estudio sobre la situación de las entidades sin ánimo de lucro en España Marzo de 2014 INTRODUCCIÓN En la Fundación Mutua Madrileña estamos firmemente comprometidos con

Más detalles

Definición de vectores

Definición de vectores Definición de vectores Un vector es todo segmento de recta dirigido en el espacio. Cada vector posee unas características que son: Origen: O también denominado Punto de aplicación. Es el punto exacto sobre

Más detalles

Nota 2. Luis Sierra. Marzo del 2010

Nota 2. Luis Sierra. Marzo del 2010 Nota 2 Luis Sierra Marzo del 2010 Cada mecanismo de definición de conjuntos que hemos comentado sugiere mecanismos para definir funciones y probar propiedades. Recordemos brevemente qué son las funciones

Más detalles

Lógica, conjuntos, relaciones y funciones

Lógica, conjuntos, relaciones y funciones Lógica, conjuntos, relaciones y funciones Álvaro Pérez Raposo Universidad Autónoma de San Luis Potosí Universidad Politécnica de Madrid Publicaciones Electrónicas Sociedad Matemática Mexicana A la memoria

Más detalles

UNLaM REDES Y SUBREDES DIRECCIONES IP Y CLASES DE REDES:

UNLaM REDES Y SUBREDES DIRECCIONES IP Y CLASES DE REDES: DIRECCIONES IP Y CLASES DE REDES: La dirección IP de un dispositivo, es una dirección de 32 bits escritos en forma de cuatro octetos. Cada posición dentro del octeto representa una potencia de dos diferente.

Más detalles

Se llama dominio de una función f(x) a todos los valores de x para los que f(x) existe. El dominio se denota como Dom(f)

Se llama dominio de una función f(x) a todos los valores de x para los que f(x) existe. El dominio se denota como Dom(f) MATEMÁTICAS EJERCICIOS RESUELTOS DE FUNCIONES FUNCIONES A. Introducción teórica A.1. Definición de función A.. Dominio y recorrido de una función, f() A.. Crecimiento y decrecimiento de una función en

Más detalles

En este ebook te vamos a contar todo lo que necesitas saber para descubrir las claves para detectar si tu empresa necesita innovar y escalar.

En este ebook te vamos a contar todo lo que necesitas saber para descubrir las claves para detectar si tu empresa necesita innovar y escalar. En este ebook te vamos a contar todo lo que necesitas saber para descubrir las claves para detectar si tu empresa necesita innovar y escalar. Este ebook va dirigido a personas que tengan una empresa constituida

Más detalles

Cómo?: Resolviendo el sistema lineal homógeneo que satisfacen las componentes de cualquier vector de S. x4 = x 1 x 3 = x 2 x 1

Cómo?: Resolviendo el sistema lineal homógeneo que satisfacen las componentes de cualquier vector de S. x4 = x 1 x 3 = x 2 x 1 . ESPACIOS VECTORIALES Consideremos el siguiente subconjunto de R 4 : S = {(x, x 2, x 3, x 4 )/x x 4 = 0 x 2 x 4 = x 3 a. Comprobar que S es subespacio vectorial de R 4. Para demostrar que S es un subespacio

Más detalles

Sistemas de Bases de Datos I. Modelo Lógico Modelo Relacional

Sistemas de Bases de Datos I. Modelo Lógico Modelo Relacional Sistemas de Bases de Datos I Modelo Lógico Modelo Relacional Modelo Lógico Modelo Relacional Esquema Relacional (E- R) Es la representación de un DER mediante tablas. Algebra Relacional Modelo Relacional

Más detalles

Unidad I. 1.1 Sistemas numéricos (Binario, Octal, Decimal, Hexadecimal)

Unidad I. 1.1 Sistemas numéricos (Binario, Octal, Decimal, Hexadecimal) Unidad I Sistemas numéricos 1.1 Sistemas numéricos (Binario, Octal, Decimal, Hexadecimal) Los computadores manipulan y almacenan los datos usando interruptores electrónicos que están ENCENDIDOS o APAGADOS.

Más detalles

Sistemas de numeración

Sistemas de numeración Sistemas de numeración Un sistema de numeración es un conjunto de símbolos y reglas que permiten representar datos numéricos. Los sistemas de numeración actuales son sistemas posicionales, que se caracterizan

Más detalles

BASES DE DATOS TEMA 3. MODELO RELACIONAL

BASES DE DATOS TEMA 3. MODELO RELACIONAL Contenidos generales BASES DE DATOS TEMA 3. MODELO RELACIONAL * Conceptos del modelo relacional * Notación del modelo relacional * Lenguajes de consulta - Algebra relacional - Cálculo relacional Motivación

Más detalles

TEMA 1: SISTEMAS INFORMÁTICOS. Parte 2: representación de la información

TEMA 1: SISTEMAS INFORMÁTICOS. Parte 2: representación de la información TEMA 1: SISTEMAS INFORMÁTICOS Parte 2: representación de la información Qué vamos a ver? Cómo se representa y almacena la información en un ordenador Cómo podemos relacionar la información que entendemos

Más detalles

Tema 2: Modelo Entidad-Relación(ER)

Tema 2: Modelo Entidad-Relación(ER) ÒÓ Ô ºÙÒ ÓÚ º Tema 2: Modelo Entidad-Relación(ER) Fernando Cano Espinosa Universidad de Oviedo. Departamento de Informática 1 Contenido 1. Introducción al modelo de datos ER 2. Conjuntos de entidades y

Más detalles

Lógica. Lógica Proposicional. Cuáles de las siguientes frases son proposiciones? Proposición

Lógica. Lógica Proposicional. Cuáles de las siguientes frases son proposiciones? Proposición Lógica Lógica Proposicional Escuela de Ingeniería Industrial Pontificia Universidad Católica de Valparaíso, Chile rgatica@ucv.cl Proposición Definición: Una proposición o enunciado es una frase que a la

Más detalles

2.3 El Mundo de Tarski. http://cursos.clavijero.edu.mx/cursos/007_cp/modulo2/contenidos/documentos/tarski.zip

2.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 detalles

Acceso a financiamiento de los emprendedores en Chile

Acceso a financiamiento de los emprendedores en Chile Acceso a financiamiento de los emprendedores en Chile Análisis a partir de los resultados de la 2º encuesta de Microemprendimiento 2011 División de Estudios Junio 2012 Resumen: El informe entrega la primera

Más detalles

Clase 15 Espacios vectoriales Álgebra Lineal

Clase 15 Espacios vectoriales Álgebra Lineal Espacios vectoriales Clase 5 Espacios vectoriales Álgebra Lineal Código Escuela de Matemáticas - Facultad de Ciencias Universidad Nacional de Colombia En esta sección estudiaremos uno de los conceptos

Más detalles

Análisis de propuestas de evaluación en las aulas de América Latina

Aná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 detalles

Descomposición factorial de polinomios

Descomposición factorial de polinomios Descomposición factorial de polinomios Contenidos del tema Introducción Sacar factor común Productos notables Fórmula de la ecuación de segundo grado Método de Ruffini y Teorema del Resto Combinación de

Más detalles

a < b y se lee "a es menor que b" (desigualdad estricta) a > b y se lee "a es mayor que b" (desigualdad estricta)

a < 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 detalles

LAS NUEVAS METODOLOGIAS DIDACTICAS BASADAS EN INTERNET COMO FACTOR CLAVE PARA EL DESARROLLO DE LA TELEFORMACION

LAS NUEVAS METODOLOGIAS DIDACTICAS BASADAS EN INTERNET COMO FACTOR CLAVE PARA EL DESARROLLO DE LA TELEFORMACION LAS NUEVAS METODOLOGIAS DIDACTICAS BASADAS EN INTERNET COMO FACTOR CLAVE PARA EL DESARROLLO DE LA TELEFORMACION José María de las Heras Montes 1 1 ALI Asociación de Doctores, Licenciados e Ingenieros en

Más detalles

{} representa al conjunto vacío, es decir, aquel que no contiene elementos. También se representa por.

{} 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 detalles

Computational Logic Chapter 6. Description Logics

Computational Logic Chapter 6. Description Logics 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

Más detalles

1.1. Introducción y conceptos básicos

1.1. Introducción y conceptos básicos Tema 1 Variables estadísticas Contenido 1.1. Introducción y conceptos básicos.................. 1 1.2. Tipos de variables estadísticas................... 2 1.3. Distribuciones de frecuencias....................

Más detalles

ELEMENTOS 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 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

Ejemplos: Sean los conjuntos: A = { aves} B = { peces } C = { anfibios }

Ejemplos: 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 detalles

La Revelación de la Unidad y la Benevolencia: Fundamento de la Creación Entradas 1-4

La Revelación de la Unidad y la Benevolencia: Fundamento de la Creación Entradas 1-4 La Revelación de la Unidad y la Benevolencia: Fundamento de la Creación Entradas 1-4 Entrada 1 Unicidad: Existencia de Dios, Su voluntad y control La unicidad del Ein Sof Aquel que es "Sin Fin", bendito

Más detalles

Actividades con GeoGebra

Actividades con GeoGebra Conectar Igualdad - "Netbooks Uno a Uno" Actividades con GeoGebra Nociones básicas, rectas Silvina Ponce Dawson Introducción. El GeoGeobra es un programa que permite explorar nociones matemáticas desde

Más detalles

INSTITUTO UNIVERSITARIO DE TECNOLOGÍA JOSE LEONARDO CHIRINO PUNTO FIJO EDO-FALCON CATEDRA: ARQUITECTURA DEL COMPUTADOR PROFESOR: ING.

INSTITUTO UNIVERSITARIO DE TECNOLOGÍA JOSE LEONARDO CHIRINO PUNTO FIJO EDO-FALCON CATEDRA: ARQUITECTURA DEL COMPUTADOR PROFESOR: ING. INSTITUTO UNIVERSITARIO DE TECNOLOGÍA JOSE LEONARDO CHIRINO PUNTO FIJO EDO-FALCON CATEDRA: ARQUITECTURA DEL COMPUTADOR PROFESOR: ING. JUAN DE LA ROSA T. TEMA 1 Desde tiempos remotos el hombre comenzó a

Más detalles

ÍNDICE PRESENTACIÓN... 9. INTRODUCCIÓN... 11 Lógica y Filosofía de la Lógica... 11 Más allá de este libro... 16

ÍNDICE PRESENTACIÓN... 9. INTRODUCCIÓN... 11 Lógica y Filosofía de la Lógica... 11 Más allá de este libro... 16 ÍNDICE PRESENTACIÓN... 9 INTRODUCCIÓN... 11 Lógica y Filosofía de la Lógica... 11 Más allá de este libro... 16 I. VERDAD Y PORTADORES DE VERDAD... 19 1. De qué tipo de entidades predicamos la verdad?...

Más detalles

Cómo consultar una base de datos?

Cómo consultar una base de datos? Cómo consultar una base de datos? Cómo consultar una base de datos Las bases de datos y los catálogos son fuentes muy valiosas para almacenar y recuperar la información. Las bases de datos muestran qué

Más detalles