Teorías decidibles. Definición. Ejercicio

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

Download "Teorías decidibles. Definición. Ejercicio"

Transcripción

1 Teorías decidibles Definición Una teoría Σ sobre un vocabulario L es decidible si existe un algoritmo que, dada una L-oración ϕ, verificasiϕ Σ. Ejercicio Sea Ord k el siguiente conjunto de axiomas sobre el vocabulario L = {<}, para una constante k 1: x (x < x) x y z (x < y y < z x < z) x y (x < y y < x x = y) x 1 x k x k+1 ( x i = x j ) Demuestre que Th(Ord k )esdecidible. (i,j) :1 i <j k+1 IIC2213 Teorías 29 / 83

2 Teorías decidibles Th(Ord k )esunateoríadecidible. Las estructuras que satisface Th(Ord k )tienenalosmásk elementos Son Th(N) yth(r) teoríasdecidibles? Qué herramientas podemos usar para responder este tipo de preguntas? Veamos primero una herramienta para demostrar decibilidad: Eliminación de cuantificadores IIC2213 Teorías 30 / 83

3 Eliminación de cuantificadores Sea Σ una teoría sobre un vocabulario L. Definición Σ admite eliminación de cuantificadores si para cada L-fórmula ϕ(x 1,...,x k ),existeunal-fórmula ϕ sc sin cuantificadores tal que: Σ = x 1 x k (ϕ(x 1,...,x k ) ϕ sc (x 1,...,x k )) Nota Si ϕ es una oración, entonces ϕ sc es (una tautología) o (una contradicción). IIC2213 Teorías 31 / 83

4 Eliminación de cuantificadores Ejemplo Sea L = {0, 1, s, +,,<} y ϕ la siguiente fórmula: ϕ(x 1, x 2, x 3 ) = y (x 1 y y + x 2 y + x 3 =0) Sobre Th(R), los cuantificadores de ϕ pueden ser eliminados. Si: ) ϕ sc (x 1, x 2, x 3 ) = ((x 1 x 3 + x 1 x 3 + x 1 x 3 + x 1 x 3 ) < x 2 x 2 ) ((x 1 x 3 + x 1 x 3 + x 1 x 3 + x 1 x 3 )=x 2 x 2 se tiene que: Th(R) = x 1 x 2 x 3 (ϕ(x 1, x 2, x 3 ) ϕ sc (x 1, x 2, x 3 )) IIC2213 Teorías 32 / 83

5 Eliminación de cuantificadores Teorema Si una teoría admite eliminación de cuantificadores, y existe un algoritmo que construye ϕ sc a partir de ϕ, entoncesesdecidible. Cómo se demuestra este teorema? A qué teorías puede aplicarse? IIC2213 Teorías 33 / 83

6 Sea L = {0, s( )} y N s la estructura de L con dominio N yque interpreta 0 y s como la estructura N. Teorema Th(N s ) admite eliminación de cuantificadores. Además, existe un algoritmo que construye ϕ sc a partir de ϕ. Demostración: La demostración es por inducción en ϕ. Si ϕ es una fórmula atómica, entonces ϕ sc = ϕ Para los conectivos lógicos la propiedad es simple de verificar IIC2213 Teorías 34 / 83

7 Suponga que ϕ(x 1,...,x k )= y ψ(x 1,...,x k, y) yqueexiste fórmula ψ sc (x 1,...,x k, y) sin cuantificadores tal que: Th(N s ) = x 1 x k y (ψ(x 1,...,x k, y) ψ sc (x 1,...,x k, y)) Entonces tenemos que: Th(N s ) = x 1 x k (ϕ(x 1,...,x k ) y ψ sc (x 1,...,x k, y)) y podemos construir ϕ sc (x 1,...,x k )desdeψ sc (x 1,...,x k, y) IIC2213 Teorías 35 / 83

8 Dado que x (α β) esequivalentea( x α) ( x β), nos concentramos en el caso: ( m ) ( n ) ψ sc (x 1,...,x k, y) = t i = t i t i t i donde t i y t i son L-términos. i=1 i=m+1 Sea u una variable o la constante 0. Entonces para j 0: u j =0 s j (u) = s(s( s (u) )) }{{} j > 0 j símbolos s IIC2213 Teorías 36 / 83

9 Entonces de Th(N s )esconsecuencialógica: x 1 x k (ϕ(x 1,...,x k ) ( m y s p i (u i )=s q i (v i ) i=1 n i=m+1 )) s p i (u i ) s q i (v i ) donde: Cada símbolo ui (y cada símbolo v i )eselsímbolo0óunade las variables x 1,..., x k, y Si vi = y, entoncesu i = y IIC2213 Teorías 37 / 83

10 Para construir ϕ sc, primero generamos la fórmula α sc desde ψ sc considerando las fórmulas de la forma s p i (u) =s q i (u) o s p i (u) s q i (u), donde u = y o u =0: Si pi = q i,entoncess p i (u) =s q i (u) esreemplazadopor y s p i (u) s q i (u) esreemplazadopor Si pi q i,entoncess p i (u) =s q i (u) esreemplazadopor y s p i (u) s q i (u) esreemplazadopor IIC2213 Teorías 38 / 83

11 Si y es la única variable libre en ψ sc,entoncesϕ sc es generada desde α sc de la siguiente forma: 1. Si al menos una fórmula en α sc es, entoncesϕ sc = 2. Si no es mencionado en α sc,entonces: 2.1 Si α sc no menciona una fórmula de la forma s p i (y) =s q i (0), entonces ϕ sc = 2.2 Si α sc menciona una fórmula de la forma s p i (y) =s q i (0) con p i > q i,entoncesϕ sc = 2.3 Suponga que ninguno de los casos anteriores se cumple: α sc menciona fórmula s p r (y) =s q r (0) con p r q r ϕ sc es obtenida eliminando primero el cuantificador y ylas fórmulas desde α sc,paraluegoreemplazary por s q r p r (0) en las fórmulas restantes IIC2213 Teorías 39 / 83

12 Suponga ahora que y no es la única variable libre en ψ sc. Si alguna de las fórmulas en α sc es, entonces ( k ) ϕ sc (x 1,...,x k ) = x i x i i=1 En caso contrario, β sc es generada eliminando desde α sc,y el proceso continua como es descrito a continuación. IIC2213 Teorías 40 / 83

13 Suponga ahora que β sc no menciona a ninguna fórmula de la forma s p i (y) =s q i (v i ). Pueden aparecer fórmulas de la forma s p i (y) s q i (v i ) En este caso ϕ sc es generado eliminando desde β sc todos las fórmulas atómicas que mencionan a la variable y. Por qué funciona bien esto? IIC2213 Teorías 41 / 83

14 Antes de continuar, veamos un ejemplo del último paso. Sea β sc (x 1, x 2, y) la fórmula: s(s(y)) s(x 1 ) s(y) s(s(s(x 2 ))) s(x 1 )=s(s(x 2 )) s(x 2 ) s(0) Para eliminar y desde β sc (x 1, x 2, y), son eliminadas las fórmulas s(s(y)) s(x 1 )ys(y) s(s(s(x 2 ))): ϕ sc (x 1, x 2 ) = s(x 1 )=s(s(x 2 )) s(x 2 ) s(0) IIC2213 Teorías 42 / 83

15 Dado que de Th(N s )esconsecuencialógica: ( x 1 x 2 (ϕ(x 1, x 2 ) y s(s(y)) s(x 1 ) )) s(y) s(s(s(x 2 ))) s(x 1 )=s(s(x 2 )) s(x 2 ) s(0) Se tiene que de Th(N s )esconsecuencialógica: ( )) x 1 x 2 (ϕ(x 1, x 2 ) s(x 1 )=s(s(x 2 )) s(x 2 ) s(0) IIC2213 Teorías 43 / 83

16 Para terminar, suponga que β sc menciona al menos una fórmula de la forma s p r (y) =s q r (v r ). Para eliminar y desde β sc se utiliza la igualdad s p r (y) =s q r (v r ). La fórmula s p i (y) =s q i (v i )esequivalentea: s p i +p r (y) = s q i +p r (v i ) por lo que usando s p r (y) =s q r (v r ), obtenemos que: s p i +q r (v r ) = s q i +p r (v i ) IIC2213 Teorías 44 / 83

17 De manera precisa, sea γ sc la fórmula generada desde β sc ejecutando los siguientes pasos: Se elimina s p r (y) =s q r (v r )desdeβ sc Se reemplaza cada una de las restantes fórmulas s p i (y) =s q i (v i )pors p i +q r (v r )=s q i +p r (v i ) Se reemplaza cada fórmula s p i (y) s q i (v i )por s p i +q r (v r ) s q i +p r (v i ) Si p r =0,entoncesϕ sc = γ sc. Pero en caso contrario, hay que agregar algo a γ sc. Por qué no basta con γ sc si p r > 0? IIC2213 Teorías 45 / 83

18 Finalmente, si p r > 0, se tiene que: ϕ sc = γ sc ( pr 1 i=0 ) s q r (v r ) s i (0) En ambos casos, tenemos que: Th(N s ) = x 1 x k (ϕ(x 1,...,x k ) ϕ sc (x 1,...,x k )) IIC2213 Teorías 46 / 83

19 Para concluir, veamos un ejemplo del último paso. Sea β sc (x 1, x 2, x 3, x 4, y) lafórmula: s(s(y)) = s(x 1 ) s(s(y)) = x 2 s(x 2 )=s(s(x 4 )) s(s(y)) s(s(x 3 )) s(x 3 ) s(s(0)) Para eliminar y desde β sc (x 1, x 2, x 3, x 4, y), primero utilizamos la fórmula s(s(y)) = s(x 1 ): s(s(s(x 1 ))) = s(s(x 2 )) s(x 2 )=s(s(x 4 )) s(s(s(x 1 ))) s(s(s(s(x 3 )))) s(x 3 ) s(s(0)) ydespuésagregamoslafórmula: s(x 1 ) 0 s(x 1 ) s(0) IIC2213 Teorías 47 / 83

20 Dado que: Th(N s ) = x 1 x 2 x 3 x 4 (ϕ(x 1, x 2, x 3, x 4 ) ( y s(s(y)) = s(x 1 ) s(s(y)) = x 2 s(x 2 )=s(s(x 4 )) s(s(y)) s(s(x 3 )) )) s(x 3 ) s(s(0)) IIC2213 Teorías 48 / 83

21 Tenemos que: Th(N s ) = x 1 x 2 x 3 x 4 (ϕ(x 1, x 2, x 3, x 4 ) ( s(s(s(x 1 ))) = s(s(x 2 )) s(x 2 )=s(s(x 4 )) s(s(s(x 1 ))) s(s(s(s(x 3 )))) s(x 3 ) s(s(0)) )) s(x 1 ) 0 s(x 1 ) s(0) IIC2213 Teorías 49 / 83

22 Corolario Th(N s ) es una teoría decidible. Qué otras teorías admiten eliminación de cuantificadores? Vamos a ver que esta es una herramienta muy útil para decidir una teoría IIC2213 Teorías 50 / 83

23 La teoría de los números reales es decidible Recuerde que R = R, 0 R, 1 R, s R, + R, R,< R. Teorema (Tarski) Th(R) admite eliminación de cuantificadores. Además, existe un algoritmo que construye ϕ sc a partir de ϕ. Corolario Th(R) es una teoría decidible. IIC2213 Teorías 51 / 83

24 La teoría de los números naturales con adición es decidible Sea L = {0, 1, s( ), +,<} y N + la estructura con dominio N yque interpreta los símbolos de L como la estructura N. Queremos demostrar que Th(N + )esdecidible. Es posible utilizar la técnica de eliminación de cuantificadores en este caso? Th(N + ) no admite eliminación de cuantificadores. Por ejemplo, no es posible eliminar los cuantificadores de fórmula ϕ(x) = y (x = y + y) IIC2213 Teorías 52 / 83

25 La teoría de los números naturales con adición es decidible Pero hay una posible solución al problema. Extender L con un conjunto de predicados que permita la eliminación de cuantificadores Ejemplo Sea 2 un predicado definido como: n 2 m es cierto si (n m) es divisible por 2. n y m son congruentes en módulo 2 Si agregamos 2 a L entonces es posible eliminar el cuantificador desde ϕ(x) = y (x = y + y). ϕ(x) esequivalentea(x 2 0) IIC2213 Teorías 53 / 83

26 La teoría de los números naturales con adición es decidible Sea L el vocabulario L { k k 2}. Además,seaN una L -estructura tal que: N es el dominio de N los símbolos de L son interpretados en N como en la estructura N + Para cada k 2: (n, m) estáenlainterpretaciónde k en N si y sólo si (n m) esdivisiblepork Teorema (Presburger) Th(N ) admite eliminación de cuantificadores. Además, existe un algoritmo que construye ϕ sc apartirdeϕ. IIC2213 Teorías 54 / 83

27 La teoría de los números naturales con adición es decidible Corolario Th(N ) es una teoría decidible. Obtenemos el resultado que estábamos buscando: Corolario Th(N + ) es una teoría decidible. IIC2213 Teorías 55 / 83

28 Dónde estamos? Utilizando la técnica de eliminación de cuantificadores mostramos que las siguientes teorías son decidibles: Th(N s ), Th(N + ), Th(N )yth(r) Todavía nos queda responder si Th(N) es decidible. La técnica de eliminación de cuantificadores no funciona en este caso Qué otras técnicas pueden ser usadas para demostrar que una teoría es decidible? IIC2213 Teorías 56 / 83

29 Teorías finitamente axiomatizables Sea Σ una teoría sobre un vocabulario L. Definición Σ es finitamente axiomatizable si existe un conjunto finito y consistente Ax de L-oraciones tal que Σ=Th(Ax). Ejemplo Th(Gr) es una teoría finitamente axiomatizable. IIC2213 Teorías 57 / 83

30 Teorías finitamente axiomatizables: Una propiedad fundamental Demostramos que Th(Gr) no es una teoría completa. Existen entonces teorías finitamente axiomatizables que no sonni completas ni categóricas Pero estos conceptos están relacionados: Teorema Si una teoría es finitamente axiomatizable y completa (categórica), entonces es decidible. Ejercicio Demuestre el teorema. IIC2213 Teorías 58 / 83

31 Teorías finitamente axiomatizables y completas: Ejemplo Sea L = {<} y OrdDen el siguiente conjunto de axiomas: x (x < x) x y z (x < y y < z x < z) x y (x < y x = y y < x) x y (x < y) x y (y < x) x y (x < y z (x < z z < y)) Th(OrdDen) es la teoría de los ordenes lineales densos sin primer ni último elemento. R,< y Q,< son modelos de esta teoría IIC2213 Teorías 59 / 83

32 Teorías finitamente axiomatizables y completas: Ejemplo Proposición Th(OrdDen) es una teoría completa y finitamente axiomatizable. Corolario Th(OrdDen) es una teoría decidible. IIC2213 Teorías 60 / 83

IIC2213. IIC2213 Teorías 1 / 42

IIC2213. IIC2213 Teorías 1 / 42 Teorías IIC2213 IIC2213 Teorías 1 / 42 Qué es una teoría? Una teoría es un cúmulo de información. Debe estar libre de contradicciones. Debe ser cerrada con respecto a lo que se puede deducir de ella. Inicialmente

Más detalles

El sistema de Hilbert: Lógica de Primer Orden

El sistema de Hilbert: Lógica de Primer Orden El sistema de Hilbert: Lógica de Primer Orden El sistema de deducción de Hilbert para la lógica de primer orden consta de los siguientes elementos: IIC2213 Lógica de Primer Orden 55 / 65 El sistema de

Más detalles

R no es enumerable. Por contradicción, supongamos que existe una biyección f : N! R. diagonalización de Cantor. Para cada i 2 N:

R no es enumerable. Por contradicción, supongamos que existe una biyección f : N! R. diagonalización de Cantor. Para cada i 2 N: R no es enumerable Por contradicción, supongamos que existe una biyección f : N! R. I Vamos a obtener una contradicción usando el método de diagonalización de Cantor. Para cada i 2 N: f (i) = n i.d i,0

Más detalles

Conjuntos, relaciones y funciones Susana Puddu

Conjuntos, relaciones y funciones Susana Puddu Susana Puddu 1. Repaso sobre la teoría de conjuntos. Denotaremos por IN al conjunto de los números naturales y por ZZ al de los enteros. Dados dos conjuntos A y B decimos que A está contenido en B o también

Más detalles

Grupos libres. Presentaciones.

Grupos libres. Presentaciones. S _ Tema 12.- Grupos libres. Presentaciones. 12.1 Grupos libres. En el grupo Z de los enteros vimos una propiedad (cf. ejemplos.5), que lo caracteriza como grupo libre. Lo enunciamos al modo de una Propiedad

Más detalles

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros

ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Enteros Resumen teoría Prof. Alcón ALGEBRA 1- GRUPO CIENCIAS- TURNO TARDE- Z = N {0} N Enteros Las operaciones + y. son cerradas en Z, es decir la suma de dos números enteros es un número entero y el producto

Más detalles

Tema 2.- Formas Cuadráticas.

Tema 2.- Formas Cuadráticas. Álgebra. 004 005. Ingenieros Industriales. Departamento de Matemática Aplicada II. Universidad de Sevilla. Tema.- Formas Cuadráticas. Definición y representación matricial. Clasificación de las formas

Más detalles

Capítulo 2: Inducción y recursión Clase 2: El principio de Inducción Fuerte

Capítulo 2: Inducción y recursión Clase 2: El principio de Inducción Fuerte Capítulo 2: Inducción y recursión Clase 2: El principio de Inducción Fuerte Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 2: Inducción y Recursión 1 / 20 Motivación

Más detalles

Funciones de Clase C 1

Funciones de Clase C 1 Capítulo 7 Funciones de Clase C 1 Vamos a considerar ahora la extensión a varias variables del concepto de función de clase C 1. Cada vez que establezcamos una propiedad de las funciones diferenciables,

Más detalles

Límite superior y límite inferior de una sucesión

Límite superior y límite inferior de una sucesión Límite superior y límite inferior de una sucesión Objetivos. Definir las nociones de los límites superior e inferior de una sucesión y estudiar sus propiedades básicas. Requisitos. Supremo e ínfimo de

Más detalles

Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática

Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS. Números naturales. Inducción matemática Inducción en definiciones y demostraciones AUTÓMATAS Y LENGUAJES FORMALES PRELIMINARES MATEMÁTICOS Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNAM E-mail: fhq@ciencias.unam.mx

Más detalles

Semana05[1/14] Relaciones. 28 de marzo de Relaciones

Semana05[1/14] Relaciones. 28 de marzo de Relaciones Semana05[1/14] 28 de marzo de 2007 Introducción Semana05[2/14] Ya en los capítulos anteriores nos acercamos al concepto de relación. Relación Dados un par de conjuntos no vacíos A y B, llamaremos relación

Más detalles

Terminaremos el capítulo con una breve referencia a la teoría de cardinales.

Terminaremos el capítulo con una breve referencia a la teoría de cardinales. TEMA 5. CARDINALES 241 Tema 5. Cardinales Terminaremos el capítulo con una breve referencia a la teoría de cardinales. Definición A.5.1. Diremos que el conjunto X tiene el mismo cardinal que el conjunto

Más detalles

Teoremas de Convergencia

Teoremas de Convergencia Capítulo 24 Teoremas de Convergencia El teorema de la convergencia monótona (Lema 21.3) establece ciertas condiciones sobre una sucesión de funciones medibles para que se puedan permutar los símbolos y

Más detalles

Conjunto R 3 y operaciones lineales en R 3

Conjunto R 3 y operaciones lineales en R 3 Conjunto R 3 y operaciones lineales en R 3 Objetivos. Definir el conjunto R 3 y operaciones lineales en R 3. Requisitos. Conjunto de los números reales R, propiedades de las operaciones aritméticas en

Más detalles

r j ϕ j (v i ) = r i, ϕ(v i ) = v = n a ij ϕ j(v) ϕ i (v) =

r j ϕ j (v i ) = r i, ϕ(v i ) = v = n a ij ϕ j(v) ϕ i (v) = ESPACIO DUAL 1. Espacio Dual En temas anteriores dados V y V espacios vectoriales sobre k, definíamos en Hom(V, V ) una suma y un producto por elementos de k que convertían este conjunto en un espacio

Más detalles

Expresiones Regulares y Derivadas Formales

Expresiones Regulares y Derivadas Formales y Derivadas Formales Las Derivadas Sucesivas. Universidad de Cantabria Esquema 1 2 3 Derivadas Sucesivas Recordemos que los lenguajes de los prefijos dan información sobre los lenguajes. Derivadas Sucesivas

Más detalles

Sesión del día 11 de Marzo del 2011 y tutoría del día 12 de Marzo del 2011

Sesión del día 11 de Marzo del 2011 y tutoría del día 12 de Marzo del 2011 Especialidad La enseñanza de las matemáticas en secundaria Grupo B: Celaya Sesión del día 11 de Marzo del 2011 y tutoría del día 12 de Marzo del 2011 Álgebra Resumen de la sesión anterior. Se añadió que

Más detalles

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A

b) Sea una relación de equivalencia en A y una operación en A. Decimos que y son compatibles si a b a c b c y c a c b para todo a, b, c A APENDICE Relaciones y Operaciones Compatibles 1 Definición: a) Sea A un conjunto y una relación entre elementos de A. Decimos que es una relación de equivalencia si es: i Reflexiva: a A, a a. ii Simétrica:

Más detalles

Teoría de la Probabilidad Tema 2: Teorema de Extensión

Teoría de la Probabilidad Tema 2: Teorema de Extensión Teoría de la Probabilidad Tema 2: Teorema de Extensión Alberto Rodríguez Casal 25 de septiembre de 2015 Definición Una clase (no vacía) A de subconjuntos de Ω se dice que es un álgebra si A es cerrada

Más detalles

Algebra Lineal. Gustavo Rodríguez Gómez. Verano 2011 INAOE. Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano / 21

Algebra Lineal. Gustavo Rodríguez Gómez. Verano 2011 INAOE. Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano / 21 Algebra Lineal Gustavo Rodríguez Gómez INAOE Verano 2011 Gustavo Rodríguez Gómez (INAOE) Algebra Lineal Verano 2011 1 / 21 Espacios Vectoriales Espacios Vectoriales INAOE Gustavo Rodríguez Gómez (INAOE)

Más detalles

Tipos de datos en S. Lógica y Computabilidad. Codificación de variables y etiquetas de S. Codificación de programas en S

Tipos de datos en S. Lógica y Computabilidad. Codificación de variables y etiquetas de S. Codificación de programas en S Tipos de datos en S Lógica y Computabilidad Verano 2011 Departamento de Computación - FCEyN - UBA Computabilidad - clase 5 Codificación de programas, Halting problem, diagonalización, tesis de Church,

Más detalles

Semana03[1/17] Funciones. 16 de marzo de Funciones

Semana03[1/17] Funciones. 16 de marzo de Funciones Semana03[1/17] 16 de marzo de 2007 Introducción Semana03[2/17] Ya que conocemos el producto cartesiano A B entre dos conjuntos A y B, podemos definir entre ellos algún tipo de correspondencia. Es decir,

Más detalles

Reglas de l Hôpital Teorema del Valor Medio Generalizado. Tema 7

Reglas de l Hôpital Teorema del Valor Medio Generalizado. Tema 7 Tema 7 Reglas de l Hôpital Estudiamos en este tema el método práctico más efectivo para calcular ites de funciones en los que se presenta una indeterminación del tipo [0/0], o [ / ]. Este método se atribuye

Más detalles

Tema 5: Sistemas de ecuaciones lineales.

Tema 5: Sistemas de ecuaciones lineales. TEORÍA DE ÁLGEBRA: Tema 5 DIPLOMATURA DE ESTADÍSTICA 1 Tema 5: Sistemas de ecuaciones lineales 1 Definiciones generales Definición 11 Una ecuación lineal con n incognitas es una expresión del tipo a 1

Más detalles

1 NOCIONES BÁSICAS SOBRE CONJUNTOS. SÍMBOLOS.

1 NOCIONES BÁSICAS SOBRE CONJUNTOS. SÍMBOLOS. UNIDAD 1.- CONCEPTOS REQUERIDOS CONJUNTOS. AXIOMAS DE PERTENENCIA, PARALELISMO, ORDEN Y PARTICIÓN. 1 NOCIONES BÁSICAS SOBRE CONJUNTOS. SÍMBOLOS. 1.1 Determinaciones de un conjunto. Un conjunto queda determinado

Más detalles

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción

Índice Proposiciones y Conectores Lógicos Tablas de Verdad Lógica de Predicados Inducción Curso 0: Matemáticas y sus Aplicaciones Tema 5. Lógica y Formalismo Matemático Leandro Marín Dpto. de Matemática Aplicada Universidad de Murcia 2012 1 Proposiciones y Conectores Lógicos 2 Tablas de Verdad

Más detalles

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO 6. POLINOMIOS DE UNA VARIABLE.

ALGEBRA y ALGEBRA LINEAL. Primer Semestre CAPITULO 6. POLINOMIOS DE UNA VARIABLE. ALGEBRA y ALGEBRA LINEAL 520142 Primer Semestre CAPITULO 6. POLINOMIOS DE UNA VARIABLE. DEPARTAMENTO DE INGENIERIA MATEMATICA Facultad de Ciencias Físicas y Matemáticas 1 Definición: Polinomio Sea K (Q,

Más detalles

Tema 9: Cálculo Deductivo

Tema 9: Cálculo Deductivo Facultad de Informática Grado en Ingeniería Informática Lógica PARTE 2: LÓGICA DE PRIMER ORDEN Tema 9: Cálculo Deductivo Profesor: Javier Bajo jbajo@fi.upm.es Madrid, España 24/10/2012 Introducción a la

Más detalles

Puntos y rectas en el triángulo

Puntos y rectas en el triángulo Puntos y rectas en el triángulo En los triángulos hay un conjunto de rectas y puntos importantes. Las rectas son las bisectrices, las mediatrices, las alturas, las medianas y las bisectrices exteriores.

Más detalles

Teoría de Lenguajes. Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014

Teoría de Lenguajes. Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014 Teoría de Lenguajes Clase Teórica 7 Autómatas de Pila y Lenguajes Independientes del Contexto Primer cuartimestre 2014 aterial compilado por el Profesor Julio Jacobo, a lo largo de distintas ediciones

Más detalles

5 Autómatas de pila 5.1 Descripción informal. 5.2 Definiciones

5 Autómatas de pila 5.1 Descripción informal. 5.2 Definiciones 1 Curso Básico de Computación 5 Autómatas de pila 5.1 Descripción informal Un autómata de pila es esencialmente un autómata finito que controla una cinta de entrada provista de una cabeza de lectura y

Más detalles

1. Convergencia en medida

1. Convergencia en medida FACULTAD CS. FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE MA3801 Teoría de la Medida. Semestre 2009-02 Profesor: Jaime San Martín Auxiliares: Andrés Fielbaum y Cristóbal Guzmán Clase auxiliar 7 21 de Septiembre

Más detalles

Propiedades de las operaciones lineales con matrices

Propiedades de las operaciones lineales con matrices Propiedades de las operaciones lineales con matrices Ejercicios Objetivos. Aprender a demostrar propiedades de las operaciones lineales en M m n (R). Requisitos. Operaciones lineales en R n, definición

Más detalles

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad

Relaciones. Estructuras Discretas. Relaciones. Relaciones en un Conjunto. Propiedades de Relaciones en A Reflexividad Estructuras Discretas Relaciones Definición: relación Relaciones Claudio Lobos, Jocelyn Simmonds clobos,jsimmond@inf.utfsm.cl Universidad Técnica Federico Santa María Estructuras Discretas INF 152 Sean

Más detalles

Apéndice sobre ecuaciones diferenciales lineales

Apéndice sobre ecuaciones diferenciales lineales Apéndice sobre ecuaciones diferenciales lineales Juan-Miguel Gracia 10 de febrero de 2008 Índice 2 Determinante wronskiano. Wronskiano de f 1 (t), f 2 (t),..., f n (t). Derivada de un determinante de funciones.

Más detalles

Introducción a la Lógica

Introducción a la Lógica Tema 0 Introducción a la Lógica En cualquier disciplina científica se necesita distinguir entre argumentos válidos y no válidos. Para ello, se utilizan, a menudo sin saberlo, las reglas de la lógica. Aquí

Más detalles

Forma polar de números complejos (repaso breve)

Forma polar de números complejos (repaso breve) Forma polar de números complejos (repaso breve) Objetivos. pasar la forma polar de números complejos. quisitos. Números complejos, funciones trigonométricas, valor absoluto de números complejos, circunferencia

Más detalles

Algebra lineal y conjuntos convexos

Algebra lineal y conjuntos convexos Apéndice A Algebra lineal y conjuntos convexos El método simplex que se describirá en el Tema 2 es de naturaleza algebraica y consiste en calcular soluciones de sistemas de ecuaciones lineales y determinar

Más detalles

Bases de Grobner Natalia García 27 de febrero de 2009

Bases de Grobner Natalia García 27 de febrero de 2009 DEPARTAMENTO DE MATEMÁTICA FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CONCEPCIÓN Bases de Grobner Natalia García 27 de febrero de 2009 1. Introducción En este trabajo construiremos un algoritmo

Más detalles

Criterios de divisibilidad y Congruencias

Criterios de divisibilidad y Congruencias Criterios de divisibilidad y Congruencias Rafael F. Isaacs G. * Fecha: 9 de marzo de 2007 Cuando tenemos un número muy grande escrito en base 10 y deseamos saber si es múltiplo por ejemplo de 9 no necesitamos

Más detalles

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica

Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 3: Relaciones, Funciones, y Notación Asintótica Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos:

Más detalles

Estructuras Algebraicas

Estructuras Algebraicas Tema 1 Estructuras Algebraicas Definición 1 Sea A un conjunto no vacío Una operación binaria (u operación interna) en A es una aplicación : A A A Es decir, tenemos una regla que a cada par de elementos

Más detalles

Axiomas de separación

Axiomas de separación CAPíTULO 6 Axiomas de separación Tema 1. Axiomas de separación: conceptos básicos El objetivo de este capítulo es considerar ciertas propiedades topológicas que comparten algunos espacios topológicos y

Más detalles

Gramáticas independientes del contexto AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES INDEPENDIENTES DEL CONTEXTO Y AUTÓMATAS DE PILA. Otras definiciones I

Gramáticas independientes del contexto AUTÓMATAS Y LENGUAJES FORMALES LENGUAJES INDEPENDIENTES DEL CONTEXTO Y AUTÓMATAS DE PILA. Otras definiciones I Gramáticas independientes del contexto UTÓMTS Y LENGUJES FORMLES LENGUJES INDEPENDIENTES DEL CONTEXTO Y UTÓMTS DE PIL Francisco Hernández Quiroz Departamento de Matemáticas Facultad de Ciencias, UNM E-mail:

Más detalles

Métodos directos para resolver sistemas de ecuaciones lineales

Métodos directos para resolver sistemas de ecuaciones lineales Métodos directos para resolver sistemas de ecuaciones lineales Problemas para examen Si en algún problema se pide calcular el número de flops (operaciones aritméticas con punto flotante), entonces en el

Más detalles

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo

Autómatas Mínimos. Encontrar el autómata mínimo. Universidad de Cantabria. Introducción Minimización de Autómatas Deterministas Resultados Algoritmo Autómatas Mínimos Encontrar el autómata mínimo. Universidad de Cantabria Introducción Dado un lenguaje regular sabemos encontrar un autómata finito. Pero, hay autómatas más sencillos que aceptan el mismo

Más detalles

Matemáticas Discretas TC1003

Matemáticas Discretas TC1003 Matemáticas Discretas TC1003 Módulo I: s Válidos Departamento de Matemáticas ITESM Módulo I: s Válidos Matemáticas Discretas - p. 1/50 En matemáticas y en lógica un argumento no es una disputa. Más bien,

Más detalles

Capítulo 4. Lógica matemática. Continuar

Capítulo 4. Lógica matemática. Continuar Capítulo 4. Lógica matemática Continuar Introducción La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas y técnicas determina si un teorema es falso o verdadero, además

Más detalles

Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional

Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional Asignatura: Matemática Fundamental [405036M-02] Taller 1 Lenguaje Simbólico y lógica proposicional 1. Responda las siguientes preguntas: a) Qué es un lenguaje formal? b) Qué es lenguaje matemático? c)

Más detalles

Espacios topológicos. 3.1 Espacio topológico

Espacios topológicos. 3.1 Espacio topológico Capítulo 3 Espacios topológicos 3.1 Espacio topológico Definición 3.1.1. Un espacio topológico es un par (X, τ), donde X es un conjunto, y τ es una familia de subconjuntos de X que verifica las siguientes

Más detalles

1. NÚMEROS PRIMOS Y COMPUESTOS.

1. NÚMEROS PRIMOS Y COMPUESTOS. . NÚMEROS PRIMOS Y COMPUESTOS. De acuerdo a las propiedades ya vistas de los divisores, sabemos que: todo natural no nulo es divisor de sí mismo es divisor de todo número natural. Ahora: el natural tiene

Más detalles

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos.

Recordemos que utilizaremos, como es habitual, la siguiente notación para algunos conjuntos de números que son básicos. Capítulo 1 Preliminares Vamos a ver en este primer capítulo de preliminares algunos conceptos, ideas y propiedades que serán muy útiles para el desarrollo de la asignatura. Se trata de resultados sobre

Más detalles

Introducción a los códigos compresores

Introducción a los códigos compresores Introducción a los códigos compresores Parte I de la Lección 2, Compresores sin pérdidas, de CTI Ramiro Moreno Chiral Dpt. Matemàtica (UdL) Febrero de 2010 Ramiro Moreno (Matemàtica, UdL) Introducción

Más detalles

Funciones integrables en R n

Funciones integrables en R n Capítulo 1 Funciones integrables en R n Sean un subconjunto acotado de R n, y f : R una función acotada. Sea R = [a 1, b 1 ]... [a n, b n ] un rectángulo que contenga a. Siempre puede suponerse que f está

Más detalles

PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES. Problemas 02

PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES. Problemas 02 PROBLEMAS RESUELTOS DE PREPARACIÓN PARA OPOSICIONES Problemas 0 Salvador Pérez Gómez pies3coma14@hotmail.com 4 de abril de 007 PROBLEMA 1 Sea n un número natural. Sea A n = n + n + 3n. a) Demostrar que

Más detalles

TRIÁNGULOS: RELACIONES DE DESIGUALDAD ENTRE SEGMENTOS Y ÁNGULOS

TRIÁNGULOS: RELACIONES DE DESIGUALDAD ENTRE SEGMENTOS Y ÁNGULOS TRIÁNGULOS: RELACIONES DE DESIGUALDAD ENTRE SEGMENTOS Y ÁNGULOS Introducción.- Anteriormente, a partir de la congruencia de triángulos, hemos estudiado las condiciones que han de verificarse para que dos

Más detalles

Identificación de inecuaciones lineales en los números reales

Identificación de inecuaciones lineales en los números reales Grado Matematicas - Unidad Operando en el conjunto de Tema Identificación de inecuaciones lineales en los números reales Nombre: Curso: A través de la historia han surgido diversos problemas que han implicado

Más detalles

UNIDAD 6: SISTEMAS DE ECUACIONES

UNIDAD 6: SISTEMAS DE ECUACIONES UNIDAD 6: SISTEMAS DE ECUACIONES Continuamos con el estudio de la asignatura; ya hemos abordado cinco capítulos del programa de estudio: Los números reales, ecuaciones, desigualdades y algunas de las funciones

Más detalles

TEMA 8.- NORMAS DE MATRICES Y

TEMA 8.- NORMAS DE MATRICES Y Álgebra II: Tema 8. TEMA 8.- NORMAS DE MATRICES Y NúMERO DE CONDICIóN Índice. Introducción 2. Norma vectorial y norma matricial. 2 2.. Norma matricial inducida por normas vectoriales......... 4 2.2. Algunos

Más detalles

MATEMÁTICAS 2º ESO SEMEJANZA Y TEOREMA DE THALES

MATEMÁTICAS 2º ESO SEMEJANZA Y TEOREMA DE THALES MATEMÁTICAS º ESO SEMEJANZA Y TEOREMA DE THALES S1 SEMEJANZA DE FIGURAS. RAZÓN DE SEMEJANZA O ESCALA. Dos figuras son semejantes si tienen la misma forma, aunque quizá distinto tamaño. La razón de semejanza

Más detalles

Modelos Estocásticos I Tercer Examen Parcial Respuestas

Modelos Estocásticos I Tercer Examen Parcial Respuestas Modelos Estocásticos I Tercer Examen Parcial Respuestas. a Cuál es la diferencia entre un estado recurrente positivo y uno recurrente nulo? Cómo se define el período de un estado? Demuestre que si el estado

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

Semana 09 [1/28] Sucesiones. 29 de abril de Sucesiones

Semana 09 [1/28] Sucesiones. 29 de abril de Sucesiones Semana 09 [1/28] 29 de abril de 2007 Semana 09 [2/28] Definición Sucesión Una sucesión real es una función: f : N R n f (n) Observaciones Para distinguir a una sucesión de las demás funciones, se ocupará

Más detalles

Problemas de Espacios Vectoriales

Problemas de Espacios Vectoriales Problemas de Espacios Vectoriales 1. Qué condiciones tiene que cumplir un súbconjunto no vacío de un espacio vectorial para que sea un subespacio vectorial de este? Pon un ejemplo. Sean E un espacio vectorial

Más detalles

Autómatas de Pila. Descripciones instantáneas o IDs. El Lenguaje de PDA. Equivalencia entre PDAs y CFGs INAOE (INAOE) 1 / 50

Autómatas de Pila. Descripciones instantáneas o IDs. El Lenguaje de PDA. Equivalencia entre PDAs y CFGs INAOE (INAOE) 1 / 50 INAOE (INAOE) 1 / 50 Contenido 1 2 3 4 (INAOE) 2 / 50 Pushdown Automata Las gramáticas libres de contexto tienen un tipo de autómata que las define llamado pushdown automata. Un pushdown automata (PDA)

Más detalles

Anillo de polinomios con coeficientes en un cuerpo

Anillo de polinomios con coeficientes en un cuerpo Capítulo 2 Anillo de polinomios con coeficientes en un cuerpo En el conjunto Z se ha visto cómo la relación ser congruente módulo m para un entero m > 1, es compatible con las operaciones suma y producto.

Más detalles

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS. Fracciones continuas, ecuación de Pell y unidades en el anillo de enteros de los cuerpos cuadráticos

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS. Fracciones continuas, ecuación de Pell y unidades en el anillo de enteros de los cuerpos cuadráticos UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS FACULTAD DE CIENCIAS MATEMÁTICAS EAP DE MATEMÁTICA PURA Fracciones continuas, ecuación de Pell y unidades en el anillo de enteros de los cueros cuadráticos Caítulo

Más detalles

Por ser f continua y R compacto, existen x 0, y 0 en R tales que f(x 0 ) = sup{f(t) : t R} y f(y 0 ) = inf{f(t) : t R}

Por ser f continua y R compacto, existen x 0, y 0 en R tales que f(x 0 ) = sup{f(t) : t R} y f(y 0 ) = inf{f(t) : t R} Proposición. Sea un rectángulo en R n, y sea f : R una función continua. Entonces f es integrable en. Conjuntos de Demostración: Como f es continua en, y es compacto, f es acotada en, y uniformemente continua.

Más detalles

Tema 3: El Método Simplex. Algoritmo de las Dos Fases.

Tema 3: El Método Simplex. Algoritmo de las Dos Fases. Tema 3: El Método Simplex Algoritmo de las Dos Fases 31 Motivación Gráfica del método Simplex 32 El método Simplex 33 El método Simplex en Formato Tabla 34 Casos especiales en la aplicación del algoritmo

Más detalles

(MAT021) 1 er Semestre de z + e = (x + iy) + (e 1 + ie 2 ) = (x + e 1 ) + i(y + e 2 ) = x + iy

(MAT021) 1 er Semestre de z + e = (x + iy) + (e 1 + ie 2 ) = (x + e 1 ) + i(y + e 2 ) = x + iy (MAT01) 1 er Semestre de 010 1 Números Complejos Se define el conjunto de los números complejos como: C = {a + bi / a, b R, i = 1} Definición 1.1. Sea z, w C tal que z = x + iy en donde x, y R. Se define:

Más detalles

ECUACIONES EN DIFERENCIAS LINEALES CON COEFICIENTES CONSTANTES

ECUACIONES EN DIFERENCIAS LINEALES CON COEFICIENTES CONSTANTES ECUACIONES EN DIFERENCIAS LINEALES CON COEFICIENTES CONSTANTES Alejandro Lugon 008-1 1. Ecuaciones De Segundo Orden Consideremos la ecuación: x t+ + ax t+1 + bx t = 0 (1) la cual podemos escribir como:

Más detalles

8.4. CRITERIO DE ESTABILIDAD POR EL METODO DIRECTO DE LIAPUNOV

8.4. CRITERIO DE ESTABILIDAD POR EL METODO DIRECTO DE LIAPUNOV 8.4. CRITERIO DE ESTAB.: METODO DE LIAPUNOV 309 8.4. CRITERIO DE ESTABILIDAD POR EL METODO DIRECTO DE LIAPUNOV Consideremos el sistema autónomo dx = F (x, y) dt (8.32) dt = G(x, y), y supongamos que tiene

Más detalles

Espacios conexos. Capítulo Conexidad

Espacios conexos. Capítulo Conexidad Capítulo 5 Espacios conexos 1. Conexidad En este capítulo exploraremos el concepto de conexidad en un espacio métrico, y estudiaremos algunas de sus aplicaciones. Definición 5.1. Decimos que el espacio

Más detalles

1. Sucesiones y redes.

1. Sucesiones y redes. 1. Sucesiones y redes. PRACTICO 7. REDES. Se ha visto que el concepto de sucesión no permite caracterizar algunas nociones topológicas, salvo en espacios métricos. Esto empieza con algunas definiciones

Más detalles

RESOLUCIÓN DE SISTEMAS MEDIANTE DETERMINANTES

RESOLUCIÓN DE SISTEMAS MEDIANTE DETERMINANTES UNIDD 4 RESOLUCIÓN DE SISTEMS MEDINTE DETERMINNTES Página 00 Resolución de sistemas mediante determinantes x y Resuelve, aplicando x = e y =, los siguientes sistemas de ecuaciones: x 5y = 7 5x + 4y = 6x

Más detalles

Operaciones con conjuntos (ejercicios)

Operaciones con conjuntos (ejercicios) Operaciones con conjuntos (ejercicios) Ejemplo: Definición de la diferencia de conjuntos. Sean y conjuntos. Entonces \ := { x: x x / }. Esto significa que para todo x tenemos la siguiente equivalencia:

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

Esta expresión polinómica puede expresarse como una expresión matricial de la forma; a 11 a 12 a 1n x 1 x 2 q(x 1, x 2,, x n ) = (x 1, x 2,, x n )

Esta expresión polinómica puede expresarse como una expresión matricial de la forma; a 11 a 12 a 1n x 1 x 2 q(x 1, x 2,, x n ) = (x 1, x 2,, x n ) Tema 3 Formas cuadráticas. 3.1. Definición y expresión matricial Definición 3.1.1. Una forma cuadrática sobre R es una aplicación q : R n R que a cada vector x = (x 1, x 2,, x n ) R n le hace corresponder

Más detalles

Parte II CALCULO DIFERENCIAL.

Parte II CALCULO DIFERENCIAL. Parte II CALCULO DIFERENCIAL. 165 En esta parte veremos el Cálculo diferencial en forma precisa. 167 168 Capítulo 1 Axiomas Para los Números Reales. En este capítulo daremos las bases en las cuales se

Más detalles

Una topología de los números naturales*

Una topología de los números naturales* Una topología de los números naturales* Divulgación Gabriel Ruiz Hernández Instituto de Matemáticas, UNAM 1 de septimebre de 1997 resumen En este trabajo vamos a describir un espacio topológico X con las

Más detalles

Definición de la matriz inversa

Definición de la matriz inversa Definición de la matriz inversa Objetivos Aprender la definición de la matriz inversa Requisitos Multiplicación de matrices, habilidades básicas de resolver sistemas de ecuaciones Ejemplo El número real

Más detalles

Por el teorema de Green, si llamamos D al interior del cuadrado, entonces. dxdy. y. x P. 1 dx. 1 (4x 3 2y) dy =

Por el teorema de Green, si llamamos D al interior del cuadrado, entonces. dxdy. y. x P. 1 dx. 1 (4x 3 2y) dy = TEOREMA E GREEN. 1. Calcular y dx x dy, donde es la frontera del cuadrado [ 1, 1] [ 1, 1] orientada en sentido contrario al de las agujas del reloj. Por el teorema de Green, si llamamos al interior del

Más detalles

Subconjuntos notables de un Espacio Topológico

Subconjuntos notables de un Espacio Topológico 34 Capítulo 4 Subconjuntos notables de un Espacio Topológico 4.1 Adherencia Definición 4.1.1 (Punto adherente). Sea (X, τ) un espacio topológico, y sea S un subconjunto de X. Diremos que x X es un punto

Más detalles

Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo.

Tema 2. Grupos. 3. El conjunto de matrices de orden 2 con coeficientes enteros (o reales) con la suma es un grupo conmutativo. Tema 2. Grupos. 1 Grupos Definición 1 Un grupo es una estructura algebraica (G, ) tal que la operación binaria verifica: 1. * es asociativa 2. * tiene elemento neutro 3. todo elemento de G tiene simétrico.

Más detalles

Capítulo 3: Técnicas de Conteo Clase 2: Permutaciones y Combinaciones, Coeficientes Binomiales y Aplicaciones a Probabilidad Discreta

Capítulo 3: Técnicas de Conteo Clase 2: Permutaciones y Combinaciones, Coeficientes Binomiales y Aplicaciones a Probabilidad Discreta Capítulo 3: Técnicas de Conteo Clase 2: Permutaciones y Combinaciones, Coeficientes Binomiales y Aplicaciones a Probabilidad Discreta Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática

Más detalles

En este capítulo extenderemos la conocida ecuación. g(b) f = f g g, g(a)

En este capítulo extenderemos la conocida ecuación. g(b) f = f g g, g(a) Capítulo 6 Cambio de variable 1. Particiones de la Unidad En este capítulo extenderemos la conocida ecuación (6.1) g(b) g(a) f = b a f g g, válida para funciones iemann-integrables f y funciones diferenciables

Más detalles

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN

INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN INTRODUCCION A LA INTELIGENCIA ARTIFICIAL MÓDULO 6- CÁLCULO DE PREDICADOS Y LÓGICA DE PRIMER ORDEN Referencias: Inteligencia Artificial Russell and Norvig Cap.6. Artificial Intellingence Nils Nilsson Ch.4

Más detalles

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA

LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA LÓGICA MATEMÁTICA O FORMAL O SIMBÓLICA La lógica formal o simbólica, a diferencia de la lógica clásica, utiliza un lenguaje artificial, es decir, está rigurosamente construido, no admite cambios en el

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

Sistemas de Ecuaciones Lineales y Matrices

Sistemas de Ecuaciones Lineales y Matrices Capítulo 4 Sistemas de Ecuaciones Lineales y Matrices El problema central del Álgebra Lineal es la resolución de ecuaciones lineales simultáneas Una ecuación lineal con n-incógnitas x 1, x 2,, x n es una

Más detalles

Triángulos. Definición y clasificación

Triángulos. Definición y clasificación Profr. Efraín Soto polinar. Triángulos En esta sección empezamos el estudio de las figuras geométricas planas creadas de segmentos de rectas. uando la figura está formada por tres segmentos de recta y

Más detalles

Guía para la creación de Sociedades por Acciones Simplificadas S.A.S.

Guía para la creación de Sociedades por Acciones Simplificadas S.A.S. Guía para la creación de Sociedades por Acciones Simplificadas S.A.S. En la sección de MIS TRÁMITES del portal aparece una nueva sección denominada Sociedades SAS con documento de constitución. Mediante

Más detalles

VARIABLES ALEATORIAS DISCRETAS

VARIABLES ALEATORIAS DISCRETAS VARIABLES ALEATORIAS DISCRETAS M. en C. Juan Carlos Gutiérrez Matus Instituto Politécnico Nacional Primavera 2004 IPN UPIICSA c 2004 Juan C. Gutiérrez Matus Variables Aleatorias Variables Aleatorias Definició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

CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos.

CONTINUIDAD DE FUNCIONES. SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos. CAPÍTULO IV. CONTINUIDAD DE FUNCIONES SECCIONES A. Definición de función continua. B. Propiedades de las funciones continuas. C. Ejercicios propuestos. 121 A. DEFINICIÓN DE FUNCIÓN CONTINUA. Una función

Más detalles

Seminario de problemas-eso. Curso Hoja 10

Seminario de problemas-eso. Curso Hoja 10 Seminario de problemas-eso. Curso 011-1. Hoja 10 5. Dado un triángulo cualquiera, demuestra que es posible recubrir el plano con infinitos triángulos iguales al dado, de forma que estos triángulos no se

Más detalles

Operador Diferencial y Ecuaciones Diferenciales

Operador Diferencial y Ecuaciones Diferenciales Operador Diferencial y Ecuaciones Diferenciales. Operador Diferencial Un operador es un objeto matemático que convierte una función en otra, por ejemplo, el operador derivada convierte una función en una

Más detalles

Sobre la Construcción Axiomática de los Números Naturales

Sobre la Construcción Axiomática de los Números Naturales Sobre la Construcción Axiomática de los Números Naturales Dr. Rafael Labarca Briones Profesor de Matemáticas. Universidad de Santiago de Chile. Charla dictadas en las EMALCAS de Arequipa, La Paz y Quito.

Más detalles

TEMA 2. ESPACIOS VECTORIALES

TEMA 2. ESPACIOS VECTORIALES TEMA 2. ESPACIOS VECTORIALES CÉSAR ROSALES GEOMETRÍA I En este tema comenzaremos el estudio de los objetos que nos interesarán en esta asignatura: los espacios vectoriales. Estos son estructuras básicas

Más detalles