Teorías decidibles. Definición. Ejercicio
|
|
- Milagros Páez Sevilla
- hace 7 años
- Vistas:
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
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 detallesEl 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 detallesR 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 detallesConjuntos, 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 detallesGrupos 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 detallesALGEBRA 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 detallesTema 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 detallesCapí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 detallesFunciones 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 detallesLí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 detallesInducció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 detallesSemana05[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 detallesTerminaremos 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 detallesTeoremas 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 detallesConjunto 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 detallesr 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 detallesExpresiones 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 detallesSesió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 detallesb) 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 detallesTeorí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 detallesAlgebra 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 detallesTipos 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 detallesSemana03[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 detallesReglas 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 detallesTema 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 detalles1 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
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 detallesALGEBRA 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 detallesTema 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 detallesPuntos 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 detallesTeorí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 detalles5 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 detalles1. 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 detallesPropiedades 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 detallesRelaciones. 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 detallesApé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 detallesIntroducció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 detallesForma 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 detallesAlgebra 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 detallesBases 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 detallesCriterios 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 detallesCapí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 detallesEstructuras 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 detallesAxiomas 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 detallesGramá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 detallesMé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 detallesAutó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 detallesMatemá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 detallesCapí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 detallesAsignatura: 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 detallesEspacios 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 detalles1. 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 detallesRecordemos 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 detallesIntroducció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 detallesFunciones 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 detallesPROBLEMAS 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 detallesTRIÁ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 detallesIdentificació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 detallesUNIDAD 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 detallesTEMA 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 detallesMATEMÁ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 detallesModelos 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 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 detallesSemana 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 detallesProblemas 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 detallesAutó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 detallesAnillo 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 detallesUNIVERSIDAD 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 detallesPor 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 detallesTema 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
(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 detallesECUACIONES 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 detalles8.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 detallesEspacios 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 detalles1. 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 detallesRESOLUCIÓ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 detallesOperaciones 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 detallesRepaso 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 detallesEsta 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 detallesParte 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 detallesUna 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 detallesDefinició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 detallesPor 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 detallesSubconjuntos 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 detallesTema 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 detallesCapí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 detallesEn 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 detallesINTRODUCCION 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 detallesLÓ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 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 detallesSistemas 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 detallesTriá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 detallesGuí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 detallesVARIABLES 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 detallesLó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 detallesCONTINUIDAD 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 detallesSeminario 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 detallesOperador 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 detallesSobre 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 detallesTEMA 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