IIC Matemática Discreta

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

Download "IIC 2252 - Matemática Discreta"

Transcripción

1 IIC Matemática Discreta L. Dissett Clase 04 Lógica de predicados. Reglas de inferencia en lógica de predicados.

2 Lógica de predicados Definiciones básicas: Un predicado es una afirmación que depende de una o más variables, y que se transforma en proposición cuando dichas variables son reemplazadas por constantes. Un predicado que no puede ser descompuesto en predicados más simples es llamado atómico. Usamos los predicados para representar relaciones. En un predicado, encontramos símbolos que representan variables (x, y, z, etc.), constantes (0, 1, 2, π, y otros), funciones y operaciones, y otros predicados. 1

3 Interpretaciones y dominios No podemos estudiar un predicado sin asignarle un significado a los distintos símbolos que en él aparecen. Para esto, al analizar un predicado, consideraremos una interpretación, que consiste en un dominio o universo D y en asignaciones de significado a las constantes, símbolos de función y operación y a los símbolos que representan relaciones (predicados atómicos). 2

4 Cuantificadores En matemáticas, muchas afirmaciones son de la forma todos los elementos de D (un dominio dado) satisfacen el predicado P (x) o bien hay al menos un elemento de D que satisface P (x). En el primer caso, abreviaremos usando el símbolo y en el segundo usaremos el símbolo. Así, si P (x) es un predicado que depende sólo de x, podemos formar las proposiciones: x(p (x)) : Si reemplazamos x por cualquier elemento de D, entonces P (x) se hace verdadera. x(p (x)) : En D hay al menos un valor tal que, al reemplazar x por dicho valor, la proposición resultante es verdadera. Los símbolos y son llamados cuantificador universal y cuantificador existencial respectivamente. 3

5 Variables libres y ligadas En un predicado, las variables pueden aparecer relacionadas con un cuantificador (ligadas) o libres. Un predicado que no tiene variables libres es una proposición. Un predicado con variables libres es una proposición abierta. 4

6 Interpretaciones y valores de verdad Las proposiciones en lógica de predicados son verdaderas o falsas dependiendo de la interpretación en que sean consideradas. Ejemplo. Sea P (x, y) un predicado binario (con dos argumentos). La proposición x y(p (x, y)) es falsa en la interpretación en que D = N y P (x, y) representa la relación x > y. La misma proposición es verdadera si D = N, y P (x, y) representa la relación x divide a y. 5

7 Proposiciones válidas (lógicamente verdaderas) El concepto de tautología, o proposición lógicamente verdadera de la lógica proposicional tiene su contraparte en lógica de predicados. Si P es una proposición en lógica de predicados, decimos que P es lógicamente verdadera (o válida) si se hace verdadera en toda interpretación. Ejemplo. Sea P (x) un predicado. La proposición es lógicamente verdadera. x(p (x) P (x)) 6

8 Consecuencia lógica Sea Σ un conjunto de proposiciones en lógica de predicados. Sea Q otra proposición en lógica de predicados. Diremos que Q es consecuencia lógica de Σ (o que Σ lógicamente implica Q) si toda interpretación que hace verdaderas todas las proposiciones de Σ necesariamente hace verdadera a Q. Si Σ = {P } (o sea, si Σ consiste de una sola proposición) entonces diremos que Q es consecuencia lógica de P (en lugar de decir que lo es de {P }). Ejemplo. La proposición x y(p (x, y)) es consecuencia lógica de y x(p (x, y)). 7

9 Equivalencia lógica Si P y Q son dos proposiciones en lógica de predicados, diremos que ellas son lógicamente equivalentes si toda interpretación le asigna el mismo valor de verdad a ambas. Ejemplo. La proposición x(q(x) R(x)) es lógicamente equivalente a x(q(x)) x(r(x)). 8

10 Resumen de definiciones Una proposición En lógica En lógica P es... proposicional... de predicados... lógicamente si toda asignación si toda interpretaverdadera... de verdad la ción la hace hace verdadera. verdadera. lógicamente equiva- si toda asignación si toda interpretación lente a otra Q... de verdad las hace las hace ambas ambas verdaderas o verdaderas o ambas ambas falsas. falsas. consecuencia lógica si toda asignación si toda interpretación de otra Q... de verdad que hace que hace verdadera verdadera a Q hace a Q hace verdadera verdadera a P. a P. 9

11 Negación de proposiciones con cuantificadores Para negar proposiciones (o predicados) que contienen cuantificadores pueden usarse las siguientes equivalencias: x(p (x)) x( P (x)), x(p (x)) x( P (x)). 10

12 Especificación universal Reglas de inferencia usando predicados Si se tiene la proposición x(p (x)), y a D es arbitrario, podemos deducir P (a). Generalización existencial Si se tiene la proposición P (a) (donde a D), podemos deducir x(p (x)). Generalización universal Si, dado a D arbitrario, es posible demostrar P (a), entonces es posible deducir x(p (x)). Especificación existencial Si se ha demostrado la proposición x(p (x)), entonces es posible deducir la proposición P (a), donde a D es un elemento arbitrario que no ha sido usado en la demostración de x(p (x)). 11

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

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

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

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

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

Semántica de Primer Orden. Semántica de Primer Orden

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

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos: Lógica y Demostraciones

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

Introducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos

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

LÓGICA JURÍDICA. Idea preliminar Cap. I. Nicolás Mejía Gómez -Universidad Libre Facultad de derecho

LÓGICA JURÍDICA. Idea preliminar Cap. I. Nicolás Mejía Gómez -Universidad Libre Facultad de derecho LÓGICA JURÍDICA Idea preliminar Cap. I Objetivos Definir y explicar qué es la lógica. Distinguir entre el pensamiento tomado como función y/o facultad y el considerado como producto. Señalar el tipo de

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

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

1 1 0 1 x 1 0 1 1 1 1 0 1 + 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1

1 1 0 1 x 1 0 1 1 1 1 0 1 + 1 1 0 1 0 0 0 0 1 1 0 1 1 0 0 0 1 1 1 1 5.1.3 Multiplicación de números enteros. El algoritmo de la multiplicación tal y como se realizaría manualmente con operandos positivos de cuatro bits es el siguiente: 1 1 0 1 x 1 0 1 1 1 1 0 1 + 1 1 0

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

Lógica Proposicional IIC2212. IIC2212 Lógica Proposicional 1 / 56

Ló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 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

Relaciones binarias. ( a, b) = ( c, d) si y solamente si a = c y b = d

Relaciones binarias. ( a, b) = ( c, d) si y solamente si a = c y b = d Relaciones binarias En esta sección estudiaremos formalmente las parejas de objetos que comparten algunas características o propiedades en común. La estructura matemática para agrupar estas parejas en

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

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

Apuntes de Lógica Matemática 3. Razonamientos y Demostraciones

Apuntes de Lógica Matemática 3. Razonamientos y Demostraciones Apuntes de Lógica Matemática 3. Razonamientos y Demostraciones Francisco José González Gutiérrez Cádiz, Abril de 2005 Universidad de Cádiz Departamento de Matemáticas ii Lección 3 Razonamientos y Demostraciones

Más detalles

Reglas de inferencia:

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

El rincón de los problemas

El rincón de los problemas Diciembre de 2006, Número 8, páginas 113-117 ISSN: 1815-0640 El rincón de los problemas Pontificia Universidad Católica del Perú umalasp@pucp.edu.pe Problema 1 Considera un tablero de 25 casillas como

Más detalles

LÓGICA DE PROPOSICIONES. a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes.

LÓGICA DE PROPOSICIONES. a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes. LÓGICA DE PROPOSICIONES 1. Cuál de las siguientes oraciones es una proposición lógica? a) El rumor y el ir y venir incesante de las abejas. b) No te vayas! c) Hoy es martes. La opción a) no es una proposición

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

EJERCICIOS DEL CAPÍTULO I

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

TEMA 3 (parte 2). Representación del Conocimiento

TEMA 3 (parte 2). Representación del Conocimiento 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] 3.2.2 Lógica

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

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

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

Ejercicios Resueltos del Tema 0

Ejercicios Resueltos del Tema 0 8 Ejercicios Resueltos del Tema 0 1. Determine cuáles de las siguientes oraciones son proposiciones: a) En 1990, George Bush era presidente de los Estados Unidos Puesto que se trata de un enunciado declarativo,

Más detalles

Tema 3 : Algebra de Boole

Tema 3 : Algebra de Boole Tema 3 : Algebra de Boole Objetivo: Introducción al Algebra de Boole 1 INTRODUCCIÓN George Boole creó el álgebra que lleva su nombre en el primer cuarto del siglo XIX. Pretendía explicar las leyes fundamentales

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

Estructuras algebraicas

Estructuras algebraicas Tema 2 Estructuras algebraicas básicas 2.1. Operación interna Definición 29. Dados tres conjuntos A, B y C, se llama ley de composición en los conjuntos A y B y resultado en el conjunto C, y se denota

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

INGENIERÍA A DEL CONOCIMIENTO: SISTEMAS EXPERTOS

INGENIERÍA A DEL CONOCIMIENTO: SISTEMAS EXPERTOS INGENIERÍA A DEL CONOCIMIENTO: SISTEMAS EXPERTOS Sistema experto: Sistema informático diseñado para resolver problemas de un área específica, y al que de algún modo se le ha dotado de una competencia similar

Más detalles

Las Tasas de Interés Efectiva y Nominal

Las Tasas de Interés Efectiva y Nominal 1 Las Tasas de Interés Efectiva y Nominal En el presente documento se explican los diferentes tipos de tasas de interés que normalmente se utilizan en el mercado financiero. Inicialmente veremos la diferencia

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

Programa de Acceso Inclusivo, Equidad y Permanencia PAIEP. Universidad de Santiago de Chile. Funciones I

Programa de Acceso Inclusivo, Equidad y Permanencia PAIEP. Universidad de Santiago de Chile. Funciones I Programa de Acceso Inclusivo, Equidad y Permanencia PAIEP Universidad de Santiago de Chile Funciones I Una función es una relación que se propone modelar matemáticamente una serie de fenómenos en los que

Más detalles

La derivada. 5.2 La derivada de una función

La derivada. 5.2 La derivada de una función Capítulo 5 La derivada 5. La derivada de una función A continuación trataremos uno de los conceptos fundamentales del Cálculo, que es el de la derivada. Este concepto es un ite que está estrecamente ligado

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

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

1 Espacios y subespacios vectoriales.

1 Espacios y subespacios vectoriales. UNIVERSIDAD POLITÉCNICA DE CARTAGENA Departamento de Matemática Aplicada y Estadística Espacios vectoriales y sistemas de ecuaciones 1 Espacios y subespacios vectoriales Definición 1 Sea V un conjunto

Más detalles

Lección 24: Lenguaje algebraico y sustituciones

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

Test ( o Prueba ) de Hipótesis

Test ( o Prueba ) de Hipótesis Test de Hipótesis 1 Test ( o Prueba ) de Hipótesis Ejemplo: Una muestra de 36 datos tiene una media igual a 4.64 Qué puede deducirse acerca de la población de donde fue tomada? Se necesita contestar a

Más detalles

Capítulo 4 PROLOG 4.1 Introducción

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

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 en FOL Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM en FOL Matemáticas Discretas - p. 1/23 En esta lectura veremos principalmente cómo se construyen argumentos

Más detalles

CAMINOS EXPLICATIVOS. Humberto Maturana

CAMINOS EXPLICATIVOS. Humberto Maturana CAMINOS EXPLICATIVOS Humberto Maturana Existen dos modos o maneras fundamentales que un observador puede adoptar para escuchar explicaciones, según si él o ella se hacen o no la pregunta por una explicación

Más detalles

RAZONAMIENTOS LÓGICOS EN LOS PROBLEMAS DE MATEMÁTICAS

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

Sistemas Digitales Ingeniería Técnica en Informática de Sistemas Curso 2006 2007 Introducción a la lógica binaria

Sistemas Digitales Ingeniería Técnica en Informática de Sistemas Curso 2006 2007 Introducción a la lógica binaria binariaoliverio J. Santana Jaria 6. Introducción n a la lógica l Sistemas Digitales Ingeniería Técnica en Informática de Sistemas Curso 2006 2007 Las cuándo lógica una es determinada la parte del razonamiento

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

MATERIAL 2 EXCEL 2007

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

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

INSTITUTO SUPERIOR TECNOLÓGICO NORBERT WIENER

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

2.3.- Modelo relacional de datos (aproximación lógica)

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

Diferenciabilidad. Definición 1 (Función diferenciable). Cálculo. Segundo parcial. Curso 2004-2005

Diferenciabilidad. Definición 1 (Función diferenciable). Cálculo. Segundo parcial. Curso 2004-2005 Univ. de Alcalá de Henares Ingeniería de Telecomunicación Cálculo. Segundo parcial. Curso 2004-2005 Diferenciabilidad. 1. Definición de función diferenciable Después del estudio de los ites de funciones

Más detalles

342 SOBRE FORMAS TERNARIAS DE SEGUNDO GRADO.

342 SOBRE FORMAS TERNARIAS DE SEGUNDO GRADO. 342 SOBRE FORMAS TERNARIAS DE SEGUNDO GRADO. ALGUNAS APLICACIONES A LA TEORIA DE LAS FORMAS BINARIAS. Encontrar una forma cuya duplicación produce una forma dada del género principal. Puesto que los elementos

Más detalles

Historia y Filosofía de la Lógica

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

ESTRUCTURAS ALGEBRAICAS

ESTRUCTURAS ALGEBRAICAS Fundamentos de la Matemática 1 Operaciones Binarias Dado un conjunto A, A, decimos que es una operación binaria en A si, y sólo si, : A A A es una función. Investigar si los siguientes son ejemplos de

Más detalles

CAPITULO 4 JUSTIFICACION DEL ESTUDIO. En este capítulo se presenta la justificación del estudio, supuestos y limitaciones de

CAPITULO 4 JUSTIFICACION DEL ESTUDIO. En este capítulo se presenta la justificación del estudio, supuestos y limitaciones de CAPITULO 4 JUSTIFICACION DEL ESTUDIO En este capítulo se presenta la justificación del estudio, supuestos y limitaciones de estudios previos y los alcances que justifican el presente estudio. 4.1. Justificación.

Más detalles

Lógica de Predicados de Primer Orden

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

Lección 4: Suma y resta de números racionales

Lección 4: Suma y resta de números racionales GUÍA DE MATEMÁTICAS II Lección : Suma y resta de números racionales En esta lección recordaremos cómo sumar y restar números racionales. Como los racionales pueden estar representados como fracción o decimal,

Más detalles

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

Parte I. Iniciación a los Espacios Normados

Parte I. Iniciación a los Espacios Normados Parte I Iniciación a los Espacios Normados Capítulo 1 Espacios Normados Conceptos básicos Sea E un espacio vectorial sobre un cuerpo K = R ó C indistintamente. Una norma sobre E es una aplicación de E

Más detalles

Tesina. Considerada también un texto recepcional, la tesina es un informe científico breve y original con

Tesina. Considerada también un texto recepcional, la tesina es un informe científico breve y original con Tesina Definición Considerada también un texto recepcional, la tesina es un informe científico breve y original con menor grado de aportación de conocimientos específicos que la tesis, pero con exigencias

Más detalles

Lógica Proposicional 1

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

Unidad 1 Sistemas de numeración Binario, Decimal, Hexadecimal

Unidad 1 Sistemas de numeración Binario, Decimal, Hexadecimal Unidad 1 Sistemas de numeración Binario, Decimal, Hexadecimal Artículo adaptado del artículo de Wikipedia Sistema Binario en su versión del 20 de marzo de 2014, por varios autores bajo la Licencia de Documentación

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

Álgebras de Boole. Juan Medina Molina. 25 de noviembre de 2003

Álgebras de Boole. Juan Medina Molina. 25 de noviembre de 2003 Álgebras de Boole Juan Medina Molina 25 de noviembre de 2003 Introducción Abordamos en este tema el estudio de las álgebras de Boole. Este tema tiene una aplicación directa a la electrónica digital ya

Más detalles

MATEMÁ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 # 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 detalles

Algebra Matricial y Optimización Segundo Examen Parcial Maestro Eduardo Uresti, Semestre Enero-Mayo 2012

Algebra Matricial y Optimización Segundo Examen Parcial Maestro Eduardo Uresti, Semestre Enero-Mayo 2012 Grupo: Matrícula: Nombre: Algebra Matricial y Optimización Segundo Examen Parcial Maestro Eduardo Uresti, Semestre Enero-Mayo 22. (pts) Sea A una matriz cuadrada. Indique validez a cada una de las siguientes

Más detalles

Ecuaciones Diferenciales Tema 2. Trasformada de Laplace

Ecuaciones Diferenciales Tema 2. Trasformada de Laplace Ecuaciones Diferenciales Tema 2. Trasformada de Laplace Ester Simó Mezquita Matemática Aplicada IV 1 1. Transformada de Laplace de una función admisible 2. Propiedades básicas de la transformada de Laplace

Más detalles

Matemáticas Discretas LOGICA PROPOSICIONAL

Matemáticas Discretas LOGICA PROPOSICIONAL Matemáticas Discretas LOGICA PROPOSICIONAL Matemáticas Discretas Estudio de objetos discretos Habilidad para razonar y argumentar Base otras áreas en computación Bases de datos Lenguajes formales Inteligencia

Más detalles

Completar: Un sistema material homogéneo constituido por un solo componente se llama.

Completar: Un sistema material homogéneo constituido por un solo componente se llama. IES Menéndez Tolosa 3º ESO (Física y Química) 1 Completar: Un sistema material homogéneo constituido por un solo componente se llama. Un sistema material homogéneo formado por dos o más componentes se

Más detalles

5 Ecuaciones lineales y conceptos elementales de funciones

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

Introducción a la plataforma Moodle Aníbal de la Torre 2006. Plataforma Moodle. Accediendo a los contenidos

Introducción a la plataforma Moodle Aníbal de la Torre 2006. Plataforma Moodle. Accediendo a los contenidos Plataforma Moodle Accediendo a los contenidos Formatos ----------------------------------------------------------------------- 2 Glosarios -----------------------------------------------------------------------

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

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

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

Divisibilidad y números primos

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

RELACIONES DE RECURRENCIA

RELACIONES DE RECURRENCIA Unidad 3 RELACIONES DE RECURRENCIA 60 Capítulo 5 RECURSIÓN Objetivo general Conocer en forma introductoria los conceptos propios de la recurrencia en relación con matemática discreta. Objetivos específicos

Más detalles

Introducción a la Programación 11 O. Humberto Cervantes Maceda

Introducción a la Programación 11 O. Humberto Cervantes Maceda Introducción a la Programación 11 O Humberto Cervantes Maceda Recordando En la sesión anterior vimos que la información almacenada en la memoria, y por lo tanto aquella que procesa la unidad central de

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

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

Programa para el Mejoramiento de la Enseñanza de la Matemática en ANEP Proyecto: Análisis, Reflexión y Producción. Fracciones

Programa para el Mejoramiento de la Enseñanza de la Matemática en ANEP Proyecto: Análisis, Reflexión y Producción. Fracciones Fracciones. Las fracciones y los números Racionales Las fracciones se utilizan cotidianamente en contextos relacionados con la medida, el reparto o como forma de relacionar dos cantidades. Tenemos entonces

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

TEMA 5. ELECTRÓNICA DIGITAL

TEMA 5. ELECTRÓNICA DIGITAL TEMA 5. ELECTRÓNICA DIGITAL 1. INTRODUCCIÓN Los ordenadores están compuestos de elementos electrónicos cuyas señales, en principio, son analógicas. Pero las señales que entiende el ordenador son digitales.

Más detalles

Proyecto Unico Interpretador de SetCalc

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

Profr. Efraín Soto Apolinar. La función lineal. y = a 0 + a 1 x. y = m x + b

Profr. Efraín Soto Apolinar. La función lineal. y = a 0 + a 1 x. y = m x + b La función lineal Una función polinomial de grado uno tiene la forma: y = a 0 + a 1 x El semestre pasado estudiamos la ecuación de la recta. y = m x + b En la notación de funciones polinomiales, el coeficiente

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

APLICACIONES DE LA MATEMATICA INTRODUCCION AL CALCULO AXIOMATICA DE LOS NUMEROS REALES

APLICACIONES DE LA MATEMATICA INTRODUCCION AL CALCULO AXIOMATICA DE LOS NUMEROS REALES APLICACIONES DE LA MATEMATICA INTRODUCCION AL CALCULO AXIOMATICA DE LOS NUMEROS REALES PROFESOR: CHRISTIAN CORTES D. I) LOS NUMEROS REALES. Designaremos por R, al conjunto de los números reales. En R existen

Más detalles

Relaciones entre conjuntos

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

Semana 08 [1/15] Axioma del Supremo. April 18, 2007. Axioma del Supremo

Semana 08 [1/15] Axioma del Supremo. April 18, 2007. Axioma del Supremo Semana 08 [1/15] April 18, 2007 Acotamiento de conjuntos Semana 08 [2/15] Cota Superior e Inferior Antes de presentarles el axioma del supremo, axioma de los números reales, debemos estudiar una serie

Más detalles

3.- DETERMINANTES. a 11 a 22 a 12 a 21

3.- DETERMINANTES. a 11 a 22 a 12 a 21 3.- DETERMINANTES. 3.1. -DEFINICIÓN Dada una matriz cuadrada de orden n, se llama determinante de esta matriz (y se representa por A o deta al polinomio cuyos términos son todos los productos posibles

Más detalles

6 M. C. J. A G U S T I N F L O R E S A V I L A

6 M. C. J. A G U S T I N F L O R E S A V I L A 2..- DEFINICION DE LIMITES. OBJETIVO.- Que el alumno conozca el concepto de Límite, comprenda la importancia que tiene este concepto en el Cálculo y adquiera habilidad en el cálculo de los Límites más

Más detalles

PREVENCIÓN DE DAÑOS EN TEXAS

PREVENCIÓN DE DAÑOS EN TEXAS EXCAVE CON CUIDADO PREVENCIÓN DE DAÑOS EN TEXAS Preguntas Frecuentes (FAQ) PREGUNTAS GENERALES Título 16, Código Administrativo de Texas, Capítulo 18 1. Cuando una compañía de tuberías está realizando

Más detalles

MASTER EN RECURSOS HUMANOS

MASTER EN RECURSOS HUMANOS MASTER EN RECURSOS HUMANOS 2009-2010 INTRODUCCIÓN A LA EMPRESA COMENTARIO DE LOS TRABAJOS Profesor: Almudena Cañibano El presente documento se divide en dos apartados. En el primero, se expone el sistema

Más detalles