Matemáticas Discretas TC1003
|
|
- Gloria Herrera Alvarado
- hace 8 años
- Vistas:
Transcripción
1 Matemáticas Discretas TC1003 en FOL Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM en FOL Matemáticas Discretas - p. 1/23
2 En esta lectura veremos principalmente cómo se construyen argumentos válidos en Lógica de Primer Orden. Como en Cálculo Proposicional, seguiremos el método de Deducción Natural utilizando equivalencias y reglas de inferencia. Las equivalencias y reglas de inferencias vistas anteriormente seguirán siendo válidas y a ellas sumaremos algunas otras. Cuando no es posible construir un argumento válido para un conjunto de premisas y una conclusión, puede ocurrir que la conclusión no se deduzca de las hipótesis, para probar esto una alternativa aunque poco viable es la de construir una interpretación donde las hipótesis y la conclusión formen un argumento inválido. El concepto de interpretación se incluye en esta sección. 0 1 en FOL Matemáticas Discretas - p. 2/23
3 Universal Regla de Inferencia Universal x D, P(x) Q(x) P(a) para una a particular Q(a) 0 1 en FOL Matemáticas Discretas - p. 3/23
4 Ejemplo Considere el siguiente razonamiento: 1. Para todo número entero, si su cuadrado es par entonces el número es par. 2. k es un número entero cuyo cuadrado es par. 3. k es par. 0 1 en FOL Matemáticas Discretas - p. 4/23
5 Ejemplo Considere el siguiente razonamiento: 1. Para todo triángulo con longitudes de lados a, b y c, si c 2 = a 2 + b 2 entonces triángulo es rectángulo con hipotenusa c. 2. El triángulo DEF cumple d 2 = e 2 + f El triángulo DEF es rectángulo con hipotenusa d. 0 1 en FOL Matemáticas Discretas - p. 5/23
6 Universal Regla de Inferencia Universal x D, P(x) Q(x) Q(a) para una a particular P(a) 0 1 en FOL Matemáticas Discretas - p. 6/23
7 Ejemplo Considere el siguiente razonamiento: 1. Todos los humanos son mortales. 2. Zeus no es mortal. 3. Zeus no es humano. 0 1 en FOL Matemáticas Discretas - p. 7/23
8 Ejemplo Considere el siguiente razonamiento: 1. Todas las personas normales tienen miedo a la muerte. 2. Rambo no tiene miedo a la muerte. 3. Rambo no es una persona normal. 0 1 en FOL Matemáticas Discretas - p. 8/23
9 Ejemplo Para el siguiente razonamiento indique su descripción: 1. Ningún coche bueno es barato. 2. Turtle Shell no es un coche barato. 3. Por lo tanto, Turtle Shell es un buen coche. A Razonamiento inválido: error de la recíproca. B C D Razonamiento inválido: error de la inversa. Razonamiento válido por modus tollens universal. Razonamiento válido por modus ponens universal. 1. coche, Bueno(coche) Barato(coche) 2. Barato(TurtleShell) 3. Bueno(TurtleShell) 0 1 en FOL Matemáticas Discretas - p. 9/23
10 Ejemplo Para el siguiente razonamiento indique su descripción: 1. Ningún estudiante dedicada reprueba Discretas. 2. Rosana no reprobó Discretas. 3. Por lo tanto, Rosana es una estudiante dedicada. A Razonamiento válido por modus tollens universal. B Razonamiento inválido: error de la inversa. C Razonamiento inválido: error de la recíproca. D Razonamiento válido por modus ponens universal. 1. estudiante, Dedicada(estudiante) Reprueba(estudiante) 2. Reprobo(Rosana) 3. Dedicada(Rosana) 0 1 en FOL Matemáticas Discretas - p. 10/23
11 Ejemplo Para el siguiente razonamiento indique su descripción: 1. Si una serie i=1 a i converge entonces el término i-ésimo a i tiende a La serie i=1 b i no converge. 3. Por lo tanto, su término i-ésimo b i no tiende a cero. A B C D Razonamiento inválido: error de la recíproca. Razonamiento válido por modus tollens universal. Razonamiento inválido: error de la inversa. Razonamiento válido por modus ponens universal. 0 1 en FOL Matemáticas Discretas - p. 11/23
12 Universal Regla de Inferencia de Universal x D, P(x) P(a) para cualquier a en el dominio D 0 1 en FOL Matemáticas Discretas - p. 12/23
13 Existencial Regla de Inferencia de Existencial P(a) para un a en el dominio D x D, P(x) 0 1 en FOL Matemáticas Discretas - p. 13/23
14 Regla de Inferencia de Universal P(t) para t cualquiera en el dominio D x D, P(x) 0 1 en FOL Matemáticas Discretas - p. 14/23
15 Para la interpretación: D={a, b, c} R P Q a F T T b T F T c T F T Indique cuáles de las siguientes FBFs son válidas: 1. ( x, R(x)) ( x, P(x)) ( x, (R(x) P(x))) 2. ( x, P(x)) ( x, P(x)) ( x, (R(x) P(x))) 3. ( x, Q(x)) ( x, Q(x)) 4. ( x, (R(x) P(x))) ( x, R(x)) ( x, P(x)) 0 1 en FOL Matemáticas Discretas - p. 15/23
16 Válidos en FOL Definición Un argumento válido en FOL es un argumento que es válido para cualquier interpretación posible. 0 1 en FOL Matemáticas Discretas - p. 16/23
17 Ejemplo En el siguiente argumento válido indique en orden las opciones que lo completan: P 1 : x, (P(x) Q(x) R(x)) P 2 : Q(a) P 3 : R(a) C: P(a) 1. Q(a) R(a) Q(a) R(a) 4. De Morgan en 3 5. hipótesis 1 6. P(a).... modus tollens universal con 5 y en FOL Matemáticas Discretas - p. 17/23
18 0 Ejemplo Elabore un argumento donde se demuestre que la conclusión se deduce de la hipótesis: H 1 : S (a) H 2 : x ((S (x) R(x)) Q(x)) H 3 : x (S (x) R(x)) C: Q(a) 0 1 en FOL Matemáticas Discretas - p. 18/23
19 1 Elabore un argumento donde se demuestre que la conclusión se deduce de la hipótesis: H 1 : Q(a) H 2 : x (S (x) Q(x)) H 3 : S (a) R(a) C: R(a) 0 1 en FOL Matemáticas Discretas - p. 19/23
20 de una Consideremos la afirmación: x D, (P(x) Q(x)) Su contrapositiva es x D, ( Q(x) P(x)) Su recíproca es x D, (Q(x) P(x)) Su inversa es x D, ( P(x) Q(x)) 0 1 en FOL Matemáticas Discretas - p. 20/23
21 Implicación y Como en Cálculo Proposicional: La implicación y su contrapositiva son lógicamente equivalentes: Si una es verdadera la otra también. 0 1 en FOL Matemáticas Discretas - p. 21/23
22 Ojo con los textos x, r(x) es una condición suficiente para s(x) significa: x, r(x) s(x) x, r(x) es una condición necesaria para s(x) significa: x, s(x) r(x) x, r(x) sólo si s(x) significa: x, s(x) r(x) 0 1 en FOL Matemáticas Discretas - p. 22/23
23 Temas Vistos Universal Universal Deducción Natural en Lógica de Predicados Concepto de Interpretación 0 1 en FOL Matemáticas Discretas - p. 23/23
Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015
Matemáticas Discretas Tarea No 7: Argumentación en Lógica de Predicados Maestro Eduardo Uresti, Semestre Agosto-Diciembre 2015 Grupo: Matrícula: Nombre: Tipo:-1 1. Para el siguiente razonamiento indique
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 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 detallesApuntes 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 detallesCapí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 detallesApuntes de Matemática Discreta 9. Funciones
Apuntes de Matemática Discreta 9. Funciones Francisco José González Gutiérrez Cádiz, Octubre de 004 Universidad de Cádiz Departamento de Matemáticas ii Lección 9 Funciones Contenido 9.1 Definiciones y
Más detallesLó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 detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Métodos de Demostración Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Métodos de Demostración Matemáticas Discretas - p. 1/13 Introducción En esta sección
Más detallesMatemáticas Discretas TC1003
Matemáticas Discretas TC1003 Negación e Implicaciones con Cuantificadores Departamento de Matemáticas / Centro de Sistema Inteligentes ITESM Negación e Implicaciones con Cuantificadores Matemáticas Discretas
Más detallesINGENIERÍ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 detallesSi Sócrates es un ser humano, entonces Sócrates es mortal Sócrates es un ser humano
Capítulo I Lógica, Pruebas e Inducción La lógica es el estudio de razonamiento correcto. Más específicamente en nuestro contexto matemático, estamos interesados en razonamiento deductivo. En un argumento,
Más detallesEjemplo: Resolvemos Sin solución. O siempre es positiva o siempre es negativa. Damos un valor cualquiera Siempre + D(f) =
T1 Dominios, Límites, Asíntotas, Derivadas y Representación Gráfica. 1.1 Dominios de funciones: Polinómicas: D( = La X puede tomar cualquier valor entre Ejemplos: D( = Función racional: es el cociente
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 detallesAl finalizar el estudio de Matemática del Ciclo de Nivelación usted deberá ser capaz de:
0 Objetivos Generales Al finalizar el estudio de Matemática del Ciclo de Nivelación usted deberá ser capaz de: 1. Utilizar una metodología adecuada para el estudio de la Matemática. 2. Alcanzar destreza
Más detalles2.2 Transformada de Laplace y Transformada. 2.2.1 Definiciones. 2.2.1.1 Transformada de Laplace
2.2 Transformada de Laplace y Transformada 2.2.1 Definiciones 2.2.1.1 Transformada de Laplace Dada una función de los reales en los reales, Existe una función denominada Transformada de Laplace que toma
Más detallesLÓ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 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 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 detallesTEORÍA TEMA 9. 2. Definición de ESFUERZOS CARACTERÍSTICOS ( Mf.; Q; N)
1. Definición de Viga de alma llena TEORÍA TEMA 9 2. Definición de ESFUERZOS CARACTERÍSTICOS ( Mf.; Q; N) 3. Determinación de los esfuerzos característicos i. Concepto de Polígonos de Presiones ii. Caso
Más detallesDominios de factorización única
CAPíTULO 3 Dominios de factorización única 1. Dominios euclídeos En la sección dedicada a los números enteros hemos descrito todos los ideales de Z. En este apartado introducimos una familia de anillos
Más detallesFunción exponencial y Logaritmos
Eje temático: Álgebra y funciones Contenidos: Función exponencial y Logaritmos Nivel: 4 Medio Función exponencial y Logaritmos 1. Funciones exponenciales Existen numerosos fenómenos que se rigen por leyes
Más detalles1. División de polinomios por monomios
1. División de polinomios por monomios El cociente de dos monomios (si es posible) es igual a otro monomio que tiene: como coeficiente, el cociente de los coeficientes; como parte literal, las letras que
Más detallesDepartamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur
Departamento de Cs. e Ingeniería de la Computación Universidad Nacional del Sur Lógica para Ciencias de la Computación Trabajo Práctico N 4 Cálculo de Predicados Primer Cuatrimestre de 2009 Observación
Más detallesOperaciones con vectores y matrices ECONOMETRÍA I OPERACIONES CON VECTORES Y MATRICES. Ana Morata Gasca
ECONOMETRÍA I OPERACIONES CON VECTORES Y MATRICES Ana Morata Gasca 1 DEFINICIÓN DE VECTOR Un vector es todo segmento de recta dirigido en el espacio. CARACTERÍSTICAS DE UN VECTOR Origen o Punto de aplicación:
Más detallesReglas de inferencia:
UNEFA Cátedra: Lgica Matematica Tema: Deduccin Natural. Profesora: Ana Rodríguez. Reglas de inferencia: En lgica, especialmente en lgica matemática, una regla de inferencia es un esquema para construir
Más detallesFunciones, x, y, gráficos
Funciones, x, y, gráficos Vamos a ver los siguientes temas: funciones, definición, dominio, codominio, imágenes, gráficos, y algo más. Recordemos el concepto de función: Una función es una relación entre
Más detallesEspacios vectoriales y aplicaciones lineales.
Práctica 2 Espacios vectoriales y aplicaciones lineales. Contenido: Localizar bases de espacios vectoriales. Suma directa. Bases y dimensiones. Cambio de base. Aplicaciones lineales. Matriz asociada en
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 detallesUNIDAD 4: PLANO CARTESIANO, RELACIONES Y FUNCIONES. OBJETIVO DE APRENDIZAJE: Representar gráficamente relaciones y funciones en el plano cartesiano.
UNIDAD 4: PLANO CARTESIANO, RELACIONES Y FUNCIONES OBJETIVO DE APRENDIZAJE: Representar gráficamente relaciones y funciones en el plano cartesiano. EL PLANO CARTESIANO. El plano cartesiano está formado
Más detallesIntroducción. Lógica de proposiciones: introducción. Lógica de proposiciones. P (a) x. Conceptos
Introducción César Ignacio García Osorio Lógica y sistemas axiomáticos 1 La lógica ha sido históricamente uno de los primeros lenguajes utilizados para representar el conocimiento. Además es frecuente
Más detallesEXPRESIONES ALGEBRAICAS
EXPRESIONES ALGEBRAICAS Trabajar en álgebra consiste en manejar relaciones numéricas en las que una o más cantidades son desconocidas. Estas cantidades se llaman V A R I A B L ES, I N C Ó G N I T A S o
Más detalles1. Producto escalar, métrica y norma asociada
1. asociada Consideramos el espacio vectorial R n sobre el cuerpo R; escribimos los vectores o puntos de R n, indistintamente, como x = (x 1,..., x n ) = n x i e i i=1 donde e i son los vectores de la
Más detallesLa suma se realiza miembro a miembro. La suma de polinomios goza de las mismas propiedades que la suma de números. Ejemplo:
Tema 4. Polinomios 1. Definición Un polinomio es una expresión hecha con constantes, variables y exponentes, que están combinados. Los exponentes sólo pueden ser 0, 1, 2, 3,... etc. No puede tener un número
Más detallesDefinición 1.1.1. Dados dos números naturales m y n, una matriz de orden o dimensión m n es una tabla numérica rectangular con m filas y n columnas.
Tema 1 Matrices Estructura del tema. Conceptos básicos y ejemplos Operaciones básicas con matrices Método de Gauss Rango de una matriz Concepto de matriz regular y propiedades Determinante asociado a una
Más detallesJuan Antonio González Mota Profesor de Matemáticas del Colegio Juan XIII Zaidín de Granada
FUNCIONES CONTINUAS. La mayor parte de las funciones que manejamos, a nivel elemental, presentan en sus gráficas una propiedad característica que es la continuidad. La continuidad de una función definida
Más detallesTema 2 Límites de Funciones
Tema 2 Límites de Funciones 2.1.- Definición de Límite Idea de límite de una función en un punto: Sea la función. Si x tiende a 2, a qué valor se aproxima? Construyendo - + una tabla de valores próximos
Más detallesAplicaciones Lineales y Multilineales Continuas
Capítulo 4 Aplicaciones Lineales y Multilineales Continuas La conexión entre las estructuras vectorial y topológica de los espacios normados, se pone claramente de manifiesto en el estudio de las aplicaciones
Más detallesNota 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 detallesConjuntos, Relaciones y Grupos. Problemas de examen.
Conjuntos, Relaciones y Grupos. Problemas de examen. Mayo 2006 1. La función f es definida por (a) Halle el recorrido exacto, A, de f. f : R R donde f(x) = e senx 1. (b) (i) Explique por qué f no es inyectiva.
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 detalles(Tomado de: http://www.liccom.edu.uy/bedelia/cursos/metodos/material/estadistica/var_cuanti.html)
VARIABLES CUANTITATIVAS (Tomado de: http://www.liccom.edu.uy/bedelia/cursos/metodos/material/estadistica/var_cuanti.html) Variables ordinales y de razón. Métodos de agrupamiento: Variables cuantitativas:
Más detallesMatemá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 detalles5. DISTRIBUCIONES DE PROBABILIDADES
5. DISTRIBUCIONES DE PROBABILIDADES Dr. http://academic.uprm.edu/eacunaf UNIVERSIDAD DE PUERTO RICO RECINTO UNIVERSITARIO DE MAYAGUEZ DISTRIBUCIONES DE PROBABILIDADES Se introducirá el concepto de variable
Más detallesLó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 detallesTema 7. Límites y continuidad de funciones
Matemáticas II (Bachillerato de Ciencias) Análisis: Límites y continuidad de funciones 55 Límite de una función en un punto Tema 7 Límites y continuidad de funciones Idea inicial Si una función f está
Más detallesUNIDAD I: LÓGICA PROPOSICIONAL
UNIDAD I: LÓGICA PROPOSICIONAL ASIGNATURA: INTRODUCCIÓN A LA COMPUTACIÓN CARRERAS: LICENCIATURA Y PROFESORADO EN CIENCIAS DE LA COMPUTACIÓN DEPARTAMENTO DE INFORMÁTICA FACULTAD DE CIENCIAS FÍSICO MATEMÁTICA
Más detallesEstructuras Discretas. César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro
Estructuras Discretas César Bautista Ramos Carlos Guillén Galván Daniel Alejandro Valdés Amaro Facultad de Ciencias de la Computación Benemérita Universidad Autónoma de Puebla 1. CONJUNTOS Y CLASES 1
Más detallesLÓGICA 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 detallesPolinomios y fracciones algebraicas
829566 _ 0249-008.qxd 27/6/08 09:21 Página 27 Polinomios y fracciones algebraicas INTRODUCCIÓN Son múltiples los contextos en los que aparecen los polinomios: fórmulas económicas, químicas, físicas, de
Más detallesEspacios Vectoriales
Espacios Vectoriales Departamento de Matemáticas, CCIR/ITESM 4 de enero de 2 Índice 3.. Objetivos................................................ 3.2. Motivación...............................................
Más detallesESTRUCTURAS 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 detallesLABORATORIO Nº 2 GUÍA PARA REALIZAR FORMULAS EN EXCEL
OBJETIVO Mejorar el nivel de comprensión y el manejo de las destrezas del estudiante para utilizar formulas en Microsoft Excel 2010. 1) DEFINICIÓN Una fórmula de Excel es un código especial que introducimos
Más detalles35 Facultad de Ciencias Universidad de Los Andes Mérida-Venezuela. Potencial Eléctrico
q 1 q 2 Prof. Félix Aguirre 35 Energía Electrostática Potencial Eléctrico La interacción electrostática es representada muy bien a través de la ley de Coulomb, esto es: mediante fuerzas. Existen, sin embargo,
Más detallesx : N Q 1 x(1) = x 1 2 x(2) = x 2 3 x(3) = x 3
3 Sucesiones - Fernando Sánchez - - Cálculo I de números racionales 03 10 2015 Los números reales son aproximaciones que se van haciendo con números racionales. Estas aproximaciones se llaman sucesiones
Más detallesPOLINOMIOS. División. Regla de Ruffini.
POLINOMIOS. División. Regla de Ruffini. Recuerda: Un monomio en x es una expresión algebraica de la forma a x tal que a es un número real y n es un número natural. El real a se llama coeficiente y n se
Más detallesFactorización de polinomios
Factorización de polinomios Polinomios Un polinomio p en la variable x es una expresión de la forma: px a 0 a 1 x a x a n1 x n1 a n x n donde a 0, a 1, a,, a n1, a n son unos números, llamados coeficientes
Más detallesUniversidad de Costa Rica Escuela de Matemática CONARE-PROYECTO RAMA. Funciones
Universidad de Costa Rica Escuela de Matemática CONARE-PROYECTO RAMA Funciones José R. Jiménez F. Temas de pre-cálculo I ciclo 007 Funciones 1 Índice 1. Funciones 3 1.1. Introducción...................................
Más detallesPolinomios y Fracciones Algebraicas
Tema 4 Polinomios y Fracciones Algebraicas En general, a lo largo de este tema trabajaremos con el conjunto de los números reales y, en casos concretos nos referiremos al conjunto de los números complejos.
Más detallesTaller Matemático. Lógica. Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid
Taller Matemático Lógica Cristóbal Pareja Flores antares.sip.ucm.es/cpareja Facultad de Estadística Universidad Complutense de Madrid 1. Lógica 14 amigos aportan la misma cantidad de dinero, sobre un fondo
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 detallesAplicaciones abiertas y cerradas
44 3. POSICIÓN DE UN PUNTO CON RESPECTO A UN CONJUNTO Tema 7. Aplicaciones abiertas y cerradas Hasta ahora nos hemos centrado en propiedades de puntos con respecto a conjuntos, y las únicas propiedades
Más detallesOrganización del Computador. Prof. Angela Di Serio
Punto Flotante Muchas aplicaciones requieren trabajar con números que no son enteros. Existen varias formas de representar números no enteros. Una de ellas es usando un punto o coma fijo. Este tipo de
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 detallesT.1 CONVERGENCIA Y TEOREMAS LÍMITE
T.1 CONVERGENCIA Y TEOREMAS LÍMITE 1. CONVERGENCIA DE SUCESIONES DE VARIABLES ALEATORIA CONVERGENCIA CASI-SEGURA CONVERGENCIA EN PROBABILIDAD CONVERGENCIA EN MEDIA CUADRÁTICA CONVERGENCIA EN LEY ( O DISTRIBUCIÓN)
Más detalles1.3 Números racionales
1.3 1.3.1 El concepto de número racional Figura 1.2: Un reparto no equitativo: 12 5 =?. Figura 1.3: Un quinto de la unidad. Con los números naturales y enteros es imposible resolver cuestiones tan simples
Más detallesANÁLISIS DE DATOS NO NUMERICOS
ANÁLISIS DE DATOS NO NUMERICOS ESCALAS DE MEDIDA CATEGORICAS Jorge Galbiati Riesco Los datos categóricos son datos que provienen de resultados de experimentos en que sus resultados se miden en escalas
Más detallesNúmeros y desigualdades
1/59 Números y desigualdades 2/59 Distintas clases de números 3/59 Números naturales Los números naturales 1,2,3,.... El conjunto de todos ellos se representa por N. 4/59 Números enteros Los números enteros...,-2,-1,0,1,2,...
Más detallesOBJETIVOS CONTENIDOS PROCEDIMIENTOS
82652 _ 0275-0286.qxd 27/4/07 1:20 Página 275 Polinomios INTRODUCCIÓN Son múltiples los contextos en los que aparecen los polinomios: fórmulas económicas, químicas, físicas, de ahí la importancia de comprender
Más detallesAlgebra 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 detallesHalla dominio e imagen de las funciones
Tema 1 Las Funciones y sus Gráficas Ejercicios Resueltos Ejercicio 1 Halla dominio e imagen de las funciones y Como no está definido si, es decir, si El recorrido o imagen será el conjunto de todos los
Más detallesCadenas de Markov y Perron-Frobenius
Cadenas de Markov y Perron-Frobenius Pablo Lessa 10 de octubre de 2014 1. Cadenas de Markov En 1996 Larry Page y Sergey Brin, en ese momento en Stanford, inventaron una manera de asignar un ranking de
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 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 detallesClase 09. La capa lógica. Mg. A. G. Stankevicius. Segundo Cuatrimestre
Ingeniería de Aplicaciones para la Web Semántica Clase 09 La capa lógica Mg. A. G. Stankevicius Segundo Cuatrimestre 2005 Copyright 2 Copyright 2005 A. G. Stankevicius. Se asegura la libertad para copiar,
Más detallesPRÁCTICA N 2 SISTEMAS DE NUMERACIÓN
PRÁCTICA N 2 SISTEMAS DE NUMERACIÓN Ejercicio 1. Diseñar una planilla EXCEL que tome como dato de entrada un número entero y devuelva la representación en base 2. Testearla con los números 23, 245, 673,
Más detallesSolución del examen de Variable Compleja y Transformadas I. T. I. Electrónica y Electricidad 29 de enero de 2004
Solución del examen de Variable Compleja y Transformadas I. T. I. Electrónica y Electricidad 29 de enero de 2004. Estudia si existe alguna función de variable compleja f() entera cuya parte real sea x
Más detallesEjemplos y problemas resueltos de análisis complejo (2014-15)
Variable Compleja I (3 o de Matemáticas y 4 o de Doble Titulación) Ejemplos y problemas resueltos de análisis complejo (04-5) Teoremas de Cauchy En estos apuntes, la palabra dominio significa, como es
Más detalles, o más abreviadamente: f ( x)
TEMA 5: 1. CONCEPTO DE FUNCIÓN Observa los siguientes ejemplos: El precio de una llamada telefónica depende de su duración. El consumo de gasolina de un coche depende de la velocidad del mismo. La factura
Más detallesCAPÍTULO II MARCO TEÓRICO ADMNISTRACIÓN DE PROYECTOS CON CPM
CAPÍTULO II MARCO TEÓRICO ADMNISTRACIÓN DE PROYECTOS CON CPM 10 2.1 Introducción La dirección de un proyecto de gran magnitud no es una tarea fácil. Para los administradores este es uno de los trabajos
Más detallesCUADERNO I LÓGICA Y TEORÍA DE CONJUNTOS. Miguel A. Sainz, Josep M. Humet Dep. de Informática y Matemática Aplicada Universidad de Girona
1 CUADERNO I LÓGICA Y TEORÍA DE CONJUNTOS Miguel A. Sainz, Josep M. Humet Dep. de Informática y Matemática Aplicada Universidad de Girona RESUMEN: El pensamiento humano es más complicado de lo que en principío
Más detallesUNIDAD 3: ANILLOS DE POLINOMIOS
UNIDAD 3: ANILLOS DE POLINOMIOS En nuestra educación matemática se nos introdujo muy pronto -generalmente en los primeros años de secundariaal estudio de los polinomios. Durante una temporada que parecía
Más detalles1.1. PROPOSICIONES CAPÍTULO 1. LÓGICA. 1.1.4. Tabla de verdad
CAPÍTULO 1 Lógica En lógica se analiza, entre otros muchos temas, si un razonamiento dado es correcto o no. Si bien sus aplicaciones prácticas son muy diversas, mencionaremos apenas dos: en las demostraciones
Más detallesLógica Primer Orden: Deducción (Natural)
LÓGICA - 1º Grado en Ingeniería Informática Facultad de Informática Universidad Politécnica de Madrid Lógica Primer Orden: Deducción (Natural) Andrei Paun apaun@fi.upm.es http://web3.fi.upm.es/aulavirtual/
Más detallesREGLA DE RUFFINI. FACTORIZACIÓN DE POLINOMIOS
REGLA DE RUFFINI. FACTORIZACIÓN DE POLINOMIOS Si en una división de polinomios el divisor es de la forma (x - a) se puede aplicar la regla de Ruffini para obtener el cociente y el resto de la división.
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 detallesSistemas de Numeración
Sistemas de Numeración Objetivo: Conoce los sistemas de numeración diferentes al decimal Ser capaces de transformar una cifra de un sistema a otro 1 Introducción El sistema de numeración usado de forma
Más detallesAplicaciones Lineales
Aplicaciones Lineales Concepto de aplicación lineal T : V W Definición: Si V y W son espacios vectoriales con los mismos escalares (por ejemplo, ambos espacios vectoriales reales o ambos espacios vectoriales
Más detallesDOMINIO Y RANGO página 89. Cuando se grafica una función existen las siguientes posibilidades:
DOMINIO Y RANGO página 89 3. CONCEPTOS Y DEFINICIONES Cuando se grafica una función eisten las siguientes posibilidades: a) Que la gráfica ocupe todo el plano horizontalmente (sobre el eje de las ). b)
Más detallesSeminario: Expresividad semántica y lógica de segundo orden:
Seminario: Expresividad semántica y lógica de segundo orden: Eduardo Barrio Javier Castro Albano UBA 1er cuatrimestre de 2008 1.- Definiciones: L: Lenguaje: conjunto de expresiones. LP: Lenguaje de primer
Más detallesSemana 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 detallesObjetivos: Al inalizar la unidad, el alumno:
Unidad 7 transformaciones lineales Objetivos: Al inalizar la unidad, el alumno: Comprenderá los conceptos de dominio e imagen de una transformación. Distinguirá cuándo una transformación es lineal. Encontrará
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 detallesECUACIÓN QUE OBTIENE CON BUENA APROXIMACIÓN LA SUMA DE LOS PRIMEROS ENTEROS A CUALQUIER POTENCIA ENTERA POSITIVA
DESDE LA ACADEMIA ECUACIÓN QUE OBTIENE CON BUENA APROXIMACIÓN LA SUMA DE LOS PRIMEROS ENTEROS A CUALQUIER POTENCIA ENTERA POSITIVA LUIS MANUEL MONTAÑO ZETINA* En este trabajo se presenta un análisis numérico
Más detallesLógica de Primer Orden
Capítulo 2 Lógica de Primer Orden Resumen En términos generales, la Programación Lógica concierne al uso de la lógica para representar y resolver problemas. Más adelante precisaremos que, en realidad,
Más detallesDescomposició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 detallesMétodos generales de generación de variables aleatorias
Tema Métodos generales de generación de variables aleatorias.1. Generación de variables discretas A lo largo de esta sección, consideraremos una variable aleatoria X cuya función puntual es probabilidad
Más detallesParte 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 detallesTema 07. LÍMITES Y CONTINUIDAD DE FUNCIONES
Tema 07 LÍMITES Y CONTINUIDAD DE FUNCIONES Límite de una función en un punto Vamos a estudiar el comportamiento de las funciones f ( ) g ( ) ENT[ ] h ( ) i ( ) en el punto Para ello, damos a valores próimos
Más detallesPARÁBOLA. 1) para la parte positiva: 2) para la parte negativa: 3) para la parte positiva: 4) para la parte negativa:
Página 90 5 LA PARÁBOLA 5.1 DEFINICIONES La parábola es el lugar geométrico 4 de todos los puntos cuyas distancias a una recta fija, llamada, y a un punto fijo, llamado foco, son iguales entre sí. Hay
Más detallesMATEMÁTICAS para estudiantes de primer curso de facultades y escuelas técnicas
Universidad de ádiz Departamento de Matemáticas MATEMÁTIAS para estudiantes de primer curso de facultades y escuelas técnicas Tema 5 La circunferencia Elaborado por la Profesora Doctora María Teresa González
Más detalles