Determinización: Construcción de Safra
|
|
- Luis Camacho Gallego
- hace 8 años
- Vistas:
Transcripción
1 Determinizción: Construcción de Sfr Ddo: Autómt de Büchi A = (Q,Σ,Q 0,δ,F) Supong que Q = {q 1,...,q n }. Vmos construir un utómt de Rin determinist B tl que L ω (A) = L ω (B), donde B está compuesto por: Conjunto de estdos Q 1. Estdo inicil q 0. Función de trnsición δ 1 : Q 1 Σ Q 1. Conjunto de pres de ceptción. M. Arens Autómts sore plrs infinits 47 / 73
2 Construcción de Sfr: Estdos Se {c 1,...,c 2n } un conjunto de 2n colores. Cd estdo en Q 1 contiene los siguientes elementos: Pr cd estdo q i Q, un stck de colores S i. Un orden linel < en {S 1,...,S n }. Un pr (B,M), donde B,M {c 1,...,c 2n }. Estdo inicil q 0 : Pr cd estdo q i Q 0 : S i = c 1. Pr cd estdo q i Q \ Q 0 : S i =. c 1 <. (, ). M. Arens Autómts sore plrs infinits 48 / 73
3 Construcción de Sfr: Función de trnsición Ddo: Estdo α = (S 1,...,S n,< 1,(B 1,M 1 )) y un símolo Σ. δ 1 (α,) = (T 1,...,T n,< 2,(B 2,M 2 )) es clculdo usndo ls siguientes regls: 1. Intuición: Si q i δ(q j,), entonces el stck S i es reemplzdo por S j. Si pr un estdo q i hy vris lterntivs, se consider el menor stck según el orden < 1. Formlmente: Pr i [1,n], se A i = {S j q i δ(q j,)}. Entonces: T i es el menor elemento de A i según < 1 (si A i =, entonces T i = ). M. Arens Autómts sore plrs infinits 49 / 73
4 Construcción de Sfr: Función de trnsición 2. Pr cd estdo finl q i F: Se reemplz T i por T i d i, donde d i es un color no utilizdo. Si pr q i,q j F se tiene que el tope de T i es igul l tope de T j, entonces d i = d j. 3. Un color es invisile si no está en el tope de ningún stck. Si c es invisile, entonces pr cd T j que contiene c, se remueve todos los elementos que están sore c. M. Arens Autómts sore plrs infinits 50 / 73
5 Construcción de Sfr: Función de trnsición Psos 1 l 3: Son clculdos T 1,..., T n. Los siguientes psos clculn < 2 y (B 2,M 2 ): 4. Pr T i T j, se tiene que T i < 2 T j si lguno de los siguientes csos se cumple: Ti extiende T j, vle decir, T i = T j d 1 d k, donde cd d i es un color. Ti = PdQ y T j = PeR, donde d y e son distintos colores, y se tiene que PdQ y PeR ern stcks en α tles que PdQ < 1 PeR. Ti = PdQ y T j = PeR, donde d y e son distintos colores y e fue gregdo en el pso 2. M. Arens Autómts sore plrs infinits 51 / 73
6 Construcción de Sfr: Función de trnsición 5. B 2 y M 2 son el resultdo de plicr ls siguientes regls: Si un color c dej de ser invisile en el pso 3, entonces c B2. Si un color c es elimindo de todos los stcks en el pso 1 ó 3, entonces c M 2. M. Arens Autómts sore plrs infinits 52 / 73
7 Construcción de Sfr: Ejemplo Antes de ver cuáles son los pres de ceptción, vemos como funcion l construcción en un ejemplo. Supong que Σ = {,} pr el siguiente utómt de Büchi:, 0 1 M. Arens Autómts sore plrs infinits 53 / 73
8 Construcción de Sfr: Ejemplo S 1 = B S 0 < S 1 (, ) S 1 = B S 0 < S 1 (, {B}) S 1 = S 0 < S 1 (, ) S 1 = WB S 1 < S 0 (, ) S 1 = WB S 1 < S 0 ({B}, {R}) S 1 = WB S 1 < S 0 (, {B}) M. Arens Autómts sore plrs infinits 54 / 73
9 Construcción de Sfr: Pres de ceptción Este es el pso fundmentl pr demostrr que l construcción de Sfr funcion: Lem A cept w si y sólo si existe un ejecución ρ de B sore w y un color c tles que: Existe estdo (S 1,...,S n,<,(b,m)) en Inf(ρ) tl que c B. Pr ningún estdo (S 1,...,S n,<,(b,m)) en Inf(ρ) se tiene que c M. Ejercicio: Demuestre el lem. M. Arens Autómts sore plrs infinits 55 / 73
10 Construcción de Sfr: Pres de ceptción Cuáles son entonces los estdos finles de B? = {(V 1,R 1 ),...,(V 2n,R 2n )}, donde: V i R i = {(S 1,...,S n,<,(b,m)) Q 1 c i B}, = {(S 1,...,S n,<,(b,m)) Q 1 c i M}. M. Arens Autómts sore plrs infinits 56 / 73
11 Ejemplo: Pr de ceptción pr color B S 1 = B S 0 < S 1 (, ) S 1 = B S 0 < S 1 (, {B}) S 1 = S 0 < S 1 (, ) S 1 = WB S 1 < S 0 (, ) S 1 = WB S 1 < S 0 ({B}, {R}) S 1 = WB S 1 < S 0 (, {B}) M. Arens Autómts sore plrs infinits 57 / 73
12 Construcción de Sfr: Tmño Sólo nos qued estimr el tmño de B. Cuántos estdos tiene el utómt B? Número de estdos de B: Posiles stcks (n + 1) 2n Ordenes pr cd cominción de n stcks n! Pres (B,M) pr cd cominción de n stcks 2 2n 2 2n Totl: (n + 1) 2n... (n + 1) 2n n! 2 2n 2 2n = 2 O(n2 log n). } {{ } n veces M. Arens Autómts sore plrs infinits 58 / 73
13 Construcción de Sfr: Tmño Mejor estimción: No es necesrio lmcenr por seprdo los n stcks; st con lmcenr dos funciones: un que indic que color está en el tope de cd stck: f : {1,...,n} {c 1,...,c 2n, }, y un que indic que color está inmeditmente jo en cd stck: g : {c 1,...,c 2n } {c 1,...,c 2n, }, Por qué st con ests dos funciones? M. Arens Autómts sore plrs infinits 59 / 73
14 Construcción de Sfr: Tmño Nuev estimción: (2n + 1) n (2n + 1) 2n n! 2 2n 2 2n = 2 O(n log n). Teorem (Sfr) Pr cd utómt de Büchi A con n estdos, se puede construir un utómt de Rin determinist B con 2 O(n log n) estdos tl que L ω (A) = L ω (B). M. Arens Autómts sore plrs infinits 60 / 73
AUTOMATAS FINITOS Traductores
Universidd de Morón Lengujes Formles y Autómts AUTOMATAS FINITOS Trductores AUTOMATAS FINITOS Un utómt finito es un modelo mtemático que posee entrds y slids. Un utomát finito recie los elementos tester
Más detallesIntegrales impropias
Integrles impropis En todo el estudio hecho hst hor se hn utilizdo dos propieddes fundmentles: l función tení que ser cotd y el intervlo de integrción tení que ser cerrdo y cotdo. En est últim sección
Más detalles7. Integrales Impropias
Ingenierí Mtemátic FACULTAD DE CIENCIAS FÍSICAS Y MATEMÁTICAS UNIVERSIDAD DE CHILE Cálculo Dierencil e Integrl 08-2 Bsdo en el punte del curso Cálculo (2d semestre), de Roerto Cominetti, Mrtín Mtml y Jorge
Más detallesConstrucción de Vardi & Wolper: Paso final
Construcción de Vrdi & Wolper: Pso finl Pr simplificr el proceso de construcción, usmos un generlizción de los utómts de Büchi: Definición A = (Q,Σ,Q 0,δ, G) es un utómt de Büchi generlizdo sore Σ si:
Más detallesAutómatas sobre palabras infinitas
Autómts sobre plbrs infinits Mrcelo Arens M. Arens Autómts sobre plbrs infinits 1 / 46 Teorí de utómts sobre plbrs infinits Los utómts sobre plbrs infinits son un herrmient fundmentl pr l verificción forml.
Más detallesSemánticas de procesos y aplicaciones
Semántics de procesos y plicciones Clse 06: Puntos Fijos Qué vimos hst hor? cciones: multicciones: α 3 operdores sobre multicciones: α \ β, α β y α operdor de elección: + operdor de secuenci:. operdor
Más detallesAPUNTES DE MATEMÁTICAS
APUNTES DE MATEMÁTICAS TEMA 8: FUNCIONES.LÍMITES º BACHILLERATO FUNCIONES.Límites y continuidd ÍNDICE. LíMITES Y CONTINUIDAD DE FUNCIONES...3. Definición límite de un función en un punto...4 3. Definición
Más detalles7.1. Definición de integral impropia y primeras propiedades
Cpítulo 7 Integrles impropis 7.. Definición de integrl impropi y primers propieddes El concepto de integrl se etiende de mner csi espontáne situciones más generles que ls que hemos emindo hst hor. Consideremos,
Más detallesMáximo común divisor. 2. Descomposición en primos Ejemplo. Encontrar mcd 504,300 Se descomponen ambos números en primos 504 2 252 2 126 2 63 3 21 3
Máximo común divisor El máximo común divisor de dos números nturles y es el número más grnde que divide tnto como. se denot mcd,. Lists: (tl vez, el más intuitivo, pero el menos eficiente) Encontrr mcd
Más detallesTema 4: Integrales Impropias
Prof. Susn López 1 Universidd Autónom de Mdrid Tem 4: Integrles Impropis 1 Integrl Impropi En l definición de un integrl definid f (x) se exigió que el intervlo [, b] fuese finito. Por otro ldo el teorem
Más detallesTEMA 5 LÍMITES Y CONTINUIDAD DE FUNCIONES
TEMA 5 LÍMITES Y CONTINUIDAD DE FUNCIONES 5.1. LÍMITE DE UNA FUNCIÓN EN UN PUNTO. LÍMITES LATERALES 5.1.1. Concepto de tendenci Decimos que " tiende " si tom los vlores de un sucesión que se proim. Se
Más detallesFactorización de polinomios. Sandra Schmidt Q. sschmidt@tec.ac.cr Escuela de Matemática Instituto Tecnológico de Costa Rica
Artículo de sección Revist digitl Mtemátic, Educción e Internet (www.cidse.itcr.c.cr/revistmte/). Vol. 12, N o 1. Agosto Ferero 2012. Fctorizción de polinomios. Sndr Schmidt Q. sschmidt@tec.c.cr Escuel
Más detallesCristal. Estado Sólido. Estructura Cristalina. Red. Celdas. Red
Estdo Sólido Estructurs Cristlins Cristl Un cristl es un rreglo periódico de átomos o grupos de átomos que es construido por l repetición infinit de estructurs unitris idéntics en el espcio. L estructur
Más detallesResolución de circuitos complejos de corriente continua: Leyes de Kirchhoff.
Resolución de circuitos complejos de corriente continu: Leyes de Kirchhoff. Jun P. Cmpillo Nicolás 4 de diciemre de 2013 1. Leyes de Kirchhoff. Algunos circuitos de corriente continu están formdos por
Más detallesTema 5. Trigonometría y geometría del plano
1 Tem. Trigonometrí y geometrí del plno 1. Rzones trigonométrics de un ángulo gudo Ddo un ángulo culquier, si desde un punto, A, de uno de sus ldos se trz su proyección, A, sobre el otro ldo se obtiene
Más detalles1. Indicar el lenguaje aceptado por los siguientes autómatas :
Universidd Rey Jun Crlos Grdo en Ingenierí de Computdores Máquins Secuenciles, Autómts y Lengujes Hoj de Prolems: Autómts Finitos Determinists Nivel del ejercicio : ( ) ásico, ( ) medio, ( ) vnzdo.. Indicr
Más detallesFundamentos de Algoritmos y Computabilidad
Fundmentos de Algoritmos y Computilidd * Autómts finitos * Autómts finitos determinists * Autómts finitos no determinists * Equivlenci entre AFD y AFN Lengujes regulres Tipo Lengujes Tipo de máquin 0 Recursivmente
Más detallesCapítulo 8: Propiedades de Lenguajes Regulares
Cpítulo 8: Propieddes de Lengujes Regulres 8.1. Identificción de lengujes no regulres 8.1.1. Lem de Boeo 8.1.2. Aplicciones del lem de omeo 8.2. Propieddes de Cierre 8.2.1. Unión, Conctención, Clusur 8.2.2.
Más detallesModelo 2014. Problema 1B.- (Calificación máxima: 2 puntos) Se considera el sistema lineal de ecuaciones dependiente del parámetro real a:
odelo. Proble B.- (Clificción ái puntos) Se consider el siste linel de ecuciones dependiente del práetro rel ) Discútse en función de los vlores del práetro R. b) Resuélvse pr.. l siste se clsific en función
Más detallesEspacios vectoriales y Aplicaciones Lineales II: Núcleo e imagen. Diagonalización. Ker(f) = {x V f(x) = 0} Im(f) = {f(x) x V}.
UNIVERSIDAD DE JAÉN ESCUELA POLITÉCNICA SUPERIOR Deprtmento de Mtemátics (Áre de Álgebr) Curso 28/9 PRÁCTICA Nº Espcios vectoriles y Aplicciones Lineles II: Núcleo e imgen. Digonlizción. NÚCLEO E IMAGEN
Más detallesRepartido N 5. Limites ISCAB 3 EMT prof. Fernando Diaz
Reprtido N 5 Limites ISCAB EMT prof. Fernndo Diz El resultdo de un límite es un vlor de y en un función cundo el vlor de se proim mucho un vlor ddo sin llegr ser igul él. Es cercrse mucho un vlor en pr
Más detallesINGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I
INGENIERÍA EN INFORMÁTICA MODELOS ABSTRACTOS DE COMPUTO I 18 de enero de 2008 APELLIDOS Y NOMBRE: DURACIÓN: 3 hors. SOLUCIÓN del EXAMEN L primer pregunt es un test, que const de 8 supregunts corts y puntú
Más detallesUniversidad Central de Venezuela Facultad de Farmacia Matemática - Física Prof. J. R. Morales
Universidd Centrl de Venezuel Fcultd de Frmci Mtemátic - Físic Prof J R Morles Guí de Vectores (Resumen de l Teorí) 1 En físic distinguiremos dos tipos de cntiddes: vectoriles esclres Ls cntiddes vectoriles
Más detalles1 VECTORES 1. MAGNITUDES ESCALARES Y VECTORIALES. Un mgnitud es un concepto bstrcto. Se trt de l ide de lgo útil que es necesrio medir. Ncen sí mgnitudes como l longitud, que represent l distnci entre
Más detallesel blog de mate de aida.: ECUACIONES 4º ESO pág. 1 ECUACIONES
el blog de mte de id.: ECUACIONES º ESO pág. ECUACIONES ECUACIONES DE SEGUNDO GRADO Un ecución de segundo grdo tiene l form generl: +b+c=0. (El primer sumndo del primer miembro no puede ser nunc nulo,
Más detallesClase del Miércoles 13 de Junio de 2012: Ecuaciones Integrales.
Clse del Miércoles 3 de Junio de 22: Ecuciones Integrles. Introducción En est clse estudiremos ls ecuciones integrles de Fredholm y de Volterr. -+ - Empezremos por considerr l ecución de Fredholm de segund
Más detallesTema 25. AP con dos pilas. Más allá del autómata de pila. No-LLC. Máquina de Turing, Problema del paro y Tesis de Church
Tem 25 Máquin de Turing, Prolem del pro y Tesis de Church No-LLC LLC no-miguos LLC-Det LR Pl mrk Pl i i c i Dr. Luis A. Pined ISBN: 970-32-2972-7 LLC Proceso de i i c i : AP con dos pils Push tods ls s
Más detallesMinimización de AFDs, método y problemas
Minimizción de Fs, método y prolems Elvir Myordomo, Universidd de Zrgoz 8 de octure de. Resultdos sore utómts determinists mínimos El F mínimo existe y es único, es decir Teorem. do unf M = (Q,Σ,δ,q,F),
Más detallesDETERMINANTES. Determinante es la expresión numérica de una matriz. Según el orden de la matriz el determinante se resuelve de distintas formas:
ÁLGEBR Educgui.com DETERMINNTES Determinnte es l expresión numéric de un mtriz. Según el orden de l mtriz el determinnte se resuelve de distints forms: DETERMINNTE DE SEGUNDO ORDEN Pr poder solucionr un
Más detallesTema 4: Operaciones sobre lenguajes regulares
Tem 4: Operciones sore lengujes regulres Deprtmento de Sistems Informáticos y Computción DSIC - UPV http://www.dsic.upv.es p.1/19 Tem 4: Propieddes de los lengujes regulres Lem de omeo pr lengujes regulres.
Más detallesTEMA 6. INTEGRAL DE RIEMANN. 6.1 INTEGRAL DE RIEMANN 6.1.1 Partición de un intervalo
TEMA 6. INTEGRAL DE RIEMANN 6.1 INTEGRAL DE RIEMANN 6.1.1 Prtición de un intervlo Se f :, y fx K x,. Definición: Un prtición de, es un conjunto ordendo y finito de números reles y distintos P x 0,...,x
Más detallesAUTOMATAS FINITOS CIENCIAS DE LA COMPUTACION I 2009
AUTOMATAS FINITOS Un utómt finito es un modelo mtemático de un máquin que cept cdens de un lenguje definido sore un lfeto A. Consiste en un conjunto finito de estdos y un conjunto de trnsiciones entre
Más detallesCurvas en el plano y en el espacio
Cpítulo 1 Curvs en el plno y en el espcio 1.1. Curvs prmetrizds Definición 1.1.1 (Curv prmetrizd). Un curv prmetrizd diferencible α : I R n, es un plicción de clse C, donde I R es un intervlo bierto, que
Más detallesTema 8: Análisis Discriminante. Clasificación. Aurea Grané Departamento de Estadística Universidad Carlos III de Madrid. Análisis discriminante
Aurea Grané. Máster en Estadística. Universidade Pedagógica. 1 Aurea Grané. Máster en Estadística. Universidade Pedagógica. 2 Análisis discriminante Tema 8: Análisis Discriminante y Clasificación Aurea
Más detallesFunción de transición δ. Tema 6. Función de transición extendida. Función de transición extendida. Función de transición extendida
Tem 6 El lenguje eptdo por un FA Funión de trnsiión δ p j p l Dr. Luis A. Pined ISBN: 970-32-2972-7 Σ Q p i p k n Pr todo en Q & Σ, δ(, ) = p Funión de trnsiión etendid δ permite moverse the un estdo otro
Más detallesJune 24, 2011 DSIC - UPV. Autómatas Finitos. U.D. Computación. Autómata Finito Determinista. Autómata Finito no Determinista
s s no s s s DSIC - UPV June 24, 2011 (DSIC - UPV) s s June 24, 2011 1 / 41 (AFD) s s no s (AFD) Un (AFD) es un 5-tupl de l siguiente form: A = (Q,Σ,δ, q 0, F), siendo: Q un conjunto finito de estdos Σ
Más detallesTratamiento contable y presupuestario de las operaciones de inversión de excedentes temporales de Tesorería.
CONSULTA DE LA IGAE Nº 13/1995 FORMULADA POR VARIAS CORPORACIONES LOCALES, EN RELACIÓN CON EL TRATAMIENTO CONTABLE DE LA RENTABILIZACIÓN DE EXCEDENTES TEMPORALES DE TESORERÍA. CONSULTA En virtud de ls
Más detallesEspacios vectoriales y Aplicaciones Lineales I: Bases y coordenadas. Aplicaciones lineales.
UNIVERSIDAD DE JAÉN ESCUEA POITÉCNICA SUPERIOR Deprtmento de Mtemátics (Áre de Álgebr) Curso 009/10 PRÁCTICA Nº9 Espcios vectoriles y Aplicciones ineles I: Bses y coordends. Aplicciones lineles. Recordemos
Más detallesINFORME DE LA PRÁCTICA nº 2: LA RUEDA DE MAXWELL. Fernando Hueso González. Carlos Huertas Barra. (1º Fís.), L1, 21-XI-07 - 0 -
INFORME DE LA PRÁCTICA nº : LA RUEDA DE MAXWELL Fernndo Hueso González. Crlos Huerts Brr. (1º Fís.), L1, 1-XI-7 - - RESUMEN L práctic de l rued de Mxwell consiste en medir el tiempo que trd en descender
Más detallesINTEGRAL DEFINIDA. El hallar el área aproximada bajo la curva por suma de n áreas rectangulares de igual ancho x
en INTEGRAL DEFINIDA El concepto de integrl definid está relciondo con el vlor que determin el áre jo l curv dd por un función f (x) el [, ]. (ve l intervlo gráfic) Uno de los primeros psos pr llegr este
Más detallesa (3, 1, 1), b(1, 7, 2), c (2, 1, 4) = 18,5 u 3
8 Clcul el volumen del prlelepípedo determindo por u(,, ), v (,, ) y w = u v. Justific por qué el resultdo es u v. w = u Ò v = (,, ) (,, ) = (, 6, 5) [u, v, w] = 6 5 u v = 9 + 6 + 5 = 7 = 7 Volumen = 7
Más detallesTEMA 1: FUNCIONES. LÍMITES Y CONTINUIDAD
Conceptos preinres TEMA : FUNCIONES. LÍMITES Y CONTINUIDAD Un función es un relción entre dos mgnitudes, de tl mner que cd vlor de l primer le sign un único vlor de l segund. Si A y B son dos conjuntos,
Más detallesDeterminantes de una matriz y matrices inversas
Determinntes de un mtriz y mtrices inverss Determinnte de un mtriz Está definido solmente pr mtrices cudrds. El determinnte de un mtriz cudrd es un número rel. Definición: Si = [ ij ] es un mtriz de dimensión
Más detallesEXPRESIONES ALGEBRAICAS. POLINOMIOS
EXPRESIONES ALGEBRAICAS. POLINOMIOS A. EXPRESIONES ALGEBRAICAS. Cundo se quiere indicr un número no conocido, un cntidd o un expresión generl de l medid de un mgnitud (distnci, superficie, volumen, etc
Más detalles1. Definición. Formas de definir una sucesión.
. Definición. Forms de definir un sucesión. Un sucesión es un plicción que nos relcion los números nturles con un conjunto, de form que orden los elementos de tl conjunto. Ejemplos:. : selección espñol
Más detallesCiencias de la Computación I
Ciencis de l Computción I Propieddes de Clusur de Lengujes Regulres y Lengujes Libres del Contexto Propieddes de Clusur de Lengujes Regulres Los lengujes regulres (LR son cerrdos bjo ls siguientes operciones:
Más detalles4.2 Gramáticas libres de contexto. 4.1 Introducción
1 Curso Básico de Computción 4 Grmátics libres de contexto 4.1 Introducción Un grmátic libre de contexto es un conjunto finito de vribles, cd un de ls cules represent un lenguje. Los lengujes representdos
Más detallesPROGRESIONES ARITMETICAS
PROGRESIONES ARITMETICAS. Hllr l sum de los primeros cien enteros positivos múltiplos de 7. L sum de n términos de un progresión ritmétic viene dd por l expresión: + n Sn n Aplicndo pr 00 términos: + 00
Más detallesTema 4. Integración compleja
Not: Ls siguientes línes son un resuen de ls cuestiones que se hn trtdo en clse sore este te. El desrrollo de todos los tópicos trtdos está recogido en l iliogrfí recoendd en l Progrción de l signtur.
Más detalles1.4. Sucesión de funciones continuas ( )
1.4. Sucesión de funciones continus (18.04.2017) Se {f n } un sucesión de funciones f n, definids en I. Si {f n } converge uniformemente f en I y ls f n son continus en I, entonces f es continu en I. D:
Más detallesIntegración numérica I
Tems Regl del rectángulo. Regl del trpecio. Cpciddes Conocer y plicr l regl del rectángulo. Conocer y plicr l regl del trpecio. 1.1 Introducción Como y se h visto, pr clculr el vlor excto de un integrl
Más detallesBLOQUE 1: ÁLGEBRA. Tema 4: Sistemas de Ecuaciones Lineales
MTEMÁTICS º Bch BLOQUE : ÁLGEBR José Rmón Pdrón Tem : Sistems de Ecuciones Lineles MTEMÁTICS º Bch Tem : Sistems de Ecuciones Lineles TEOREM DE ROUCHÉ José Rmón Pdrón Supongmos el sistem siguiente: z z
Más detallesTema9. Sucesiones. Tema 9. Sucesiones.
Tem 9. Sucesiones.. Definición. Forms de definir un sucesión.. Progresión ritmétic... Definición.. Sum progresión ritmétic. Progresión geométric... Definición.. Sum finit de progresión geométric... Sum
Más detallesRelación 3. Sistemas de ecuaciones
Relción. Sistes de ecuciones Ejercicio. Consider el siste de ecuciones ) Eiste un solución del iso en l que? ) Resuelve el siste hoogéneo socido l siste ddo. c) H un interpretción geoétric tnto del siste
Más detallesIES Fernando de Herrera 23 de octubre de 2013 Primer trimestre - Primer examen 4º ESO NOMBRE:
IES Fernndo de Herrer de octure de 0 Primer trimestre - Primer exmen 4º ESO NOMBRE: ) Nomrr los principles conjuntos numéricos, explicitndo cuáles son sus elementos y ls relciones de inclusión entre ellos
Más detallesSistemas de ecuaciones lineales
Sistems de ecuciones lineles º) L sum de ls tres cifrs de un número es 8, siendo l cifr de ls decens igul l medi de ls otrs dos. Si se cmbi l cifr de ls uniddes por l de ls centens, el número ument en
Más detallesPruebas t para una y dos muestras independientes
Densidd Densidd AGRO 55 LAB 9 Pruebs t pr un y dos muestrs independientes 1. Clcule ls siguientes probbiliddes usndo l tbl t e InfoStt. Incluy un digrm en cd cso.. P(T>1.356) si gl=1 b. P(T
Más detalles1. INTEGRALES DEFINIDAS E IMPROPIAS
. INTEGRALES DEFINIDAS E IMPROPIAS.. INTEGRAL DEFINIDA Se y = f(x) definid pr todo x [, b]. Consideremos un prtiión P del intervlo [, b] P {x 0 = < x < x 2 < < x n = b} Sen P = máx{x i x i }, s n = n m
Más detallesCÁLCULO INTEGRAL SESIÓN 5: INTEGRAL DEFINIDA Y APLICACIONES DE LA INTEGRAL. INTEGRAL DEFINIDA
CÁLCULO INTEGRAL SESIÓN 5: INTEGRAL DEFINIDA Y APLICACIONES DE LA INTEGRAL. COMPETENCIA: resolver y plnter integrles que le yuden clculr el áre de un región cotd por dos o más funciones plicndo el teorem
Más detallesEn este capítulo estudiaremos algunos métodos numéricos para estimar el valor de una integral definida b I =
CAPÍTULO. INTEGRACIÓN NUMÉRICA INTRODUCCIÓN En este cpítulo estudiremos lgunos métodos numéricos pr estimr el vlor de un integrl definid I fd () Integrl en l cul el intervlo de integrción [, ] es finito,
Más detalles3. FUNCIONES VECTORIALES DE UNA VARIABLE REAL
3. FUNCIONES VECTORIALES DE UNA VARIABLE REAL INDICE 3.1. Definición de función vectoril de un vrile rel, dominio y grficción.2 3.2. Límites y continuidd..3 3.3. Derivción de funciones vectoriles y sus
Más detallesMATRICES DE NÚMEROS REALES
MTRICES. MTURITS Luis Gil Guerr.- DEFINICIÓN MTRICES DE NÚMEROS RELES Llmmos mtriz de números reles de orden m x n un conjunto ordendo de m. n números reles dispuestos en m fils y en n columns i m i m
Más detalles2. Integrales dobles sobre regiones no rectangulares.
GRADO DE INGENIERÍA AEROESPACIAL. CRSO 0. Lección. Integrales múltiples.. Integrales dobles sobre regiones no rectangulares. Supongamos que tenemos una función f :(, ) f(, ) continua positiva cuo dominio
Más detallesMatemáticas Empresariales I. Integral Definida
Mtemátics Empresriles I Lección 8 Integrl Definid Mnuel León Nvrro Colegio Universitrio Crdenl Cisneros M. León Mtemátics Empresriles I 1 / 31 Construcción de l integrl definid Se f un función definid
Más detallesmanual de normas gráficas
mnul de norms gráfics Normtiv gráfic pr el uso del mrc de certificción de Bioequivlenci en remedios genéricos. mnul de norms gráfics BIenvenido l mnul de mrc del logo Bioequivlente L obtención de l condición
Más detallesEl conjunto de los números naturales tiene las siguientes características
CAPÍTULO Números Podemos decir que l noción de número nció con el homre. El homre primitivo tení l ide de número nturl y prtir de llí, lo lrgo de muchos siglos e intenso trjo, se h llegdo l desrrollo que
Más detallesTeoría Tema 7 Integral definida. Área encerrada por una curva
Colegio Mrist L Inmculd de Grnd Profesor Dniel Prtl Grcí www.dniprtl.net Asigntur: Mtemátics II 2ºBchillerto Teorí Tem 7: Integrl definid. Áre encerrd por un curv págin /0 Teorí Tem 7 Integrl definid.
Más detallespág. 87 LIMITES 1. LIMITE DE UNA SUCESIÓN. EL NÚMERO e Recuerda del curso pasado los límites de sucesiones.
LIMITES. LIMITE DE UNA SUCESIÓN. EL NÚMERO e Recuerd del curso psdo los límites de sucesiones. L sucesión 4 + + + + 4 4 n n + es especilmente interesnte. Empezmos desrrollndol. n,5,7...,44... Se trt de
Más detallesLas integrales que vamos a tratar de resolver numéricamente son de la forma I = f(x)dx
Cpítulo 3 Integrción Numéric 3.1. Introducción Ls integrles que vmos trtr de resolver numéricmente son de l form f(x)dx donde [, b] es un intervlo finito. Sbemos que l integrl definid (de Riemnn) de un
Más detallesPresentación Axiomática de los Números Reales
Héctor Plm Vlenzuel. Dpto. de Mtemátic UdeC. 1 Prte I Presentción Axiomátic de los Números Reles 1. Axioms de los Números Reles 1.1. Axioms de Cuerpo Aceptremos l existenci de un conjunto R cuyos elementos
Más detallesn f j (x). j=0 f n Los teoremas que hemos obtenido anteriormente para sucesiones de funciones pueden aplicarse a las series de funciones.
Cpítulo 10 Series de Funciones 10.1. Series de Funciones Definición 10.1 Se X R y (f n ) n N un sucesión de funciones reles sobre X. Pr n N definimos S n : X R por S n (x) = f j (x). Llmmos (S n ) n N
Más detallesAX = B. X es la matriz columna de las variables:
ÁLGEBR MTRICIL PRO. MRIEL SRMIENTO SESIÓN 9: METODO DE ELIMINCIÓN GUSSIN En est sesión, resolvemos sistems de ecuciones lineles de orden x y x. Pr ello escribimos el sistem en término de mtrices, por ejemplo:
Más detallesFunciones vectoriales de variable vectorial. Son aplicaciones entre espacios eucĺıdeos, IR n, f : X IR n Y IR m
Funciones vectoriales de variable vectorial Son aplicaciones entre espacios eucĺıdeos, IR n, f : X IR n Y IR m x y x = (x 1, x 2,, x n ), y = (y 1, y 2,, y m ) e y j = f j (x 1, x 2,, x n ), 1 j n n =
Más detalleslasmatemáticas.eu Pedro Castro Ortega materiales de matemáticas son equivalentes porque 2 10 4 5.
Itroducció º ESO º ESO Pr operr co frccioes se sigue el mismo método que pr operr co úmeros eteros. Es decir, hy que respetr u jerrquí. Recordémosl: 1. Corchetes y prétesis.. Multipliccioes y divisioes..
Más detallesEjercicios para el tema de Continuidad. 1. En cada uno de los siguientes casos, encontrar un tal que, f ( x) iv)
Ejercicios pr el tem de Continuidd. En cd uno de los siguientes csos, encontrr un tl que, f ( ) l pr todo que stisfce 0 i) ii) f ( ) ; l f( ) ;, l iv) f( ) Sen ; 0, l 0 v) f ( ) ; 0, l 0 iii) f ( ) ;,
Más detallesTema 4. Integración de Funciones de Variable Compleja
Tem 4. Integrción de Funciones de Vrible omplej Prof. Willim L ruz Bstids 7 de octubre de 22 Tem 4 Integrción de Funciones de Vrible omplej 4. Integrl definid Se F (t) un función de vrible rel con vlores
Más detallesCÁLCULO INTEGRAL. Definición: Sean a y b dos números reales a < b. Una partición del intervalo [a,b] es un conjunto finito de puntos de,
Deprtmento de Mtemátics I.E.S. Vlle del Jerte (Plsenci) CÁLCULO INTEGRAL 2.- INTEGRAL DEFINIDA. Definición: Sen y dos números reles
Más detallesA modo de repaso. Preliminares
UNIDAD I A modo de repso. Preliminres Conjuntos numéricos. Operciones. Intervlos. Conjuntos numéricos Los números se clsificn de cuerdo con los siguientes conjuntos: Números nturles.- Son los elementos
Más detallesDIVERSIFICACIÓN CURRICULAR
ECUACIÓN DE PRIMER GRADO Se llmn ecuciones igulddes en ls que precen número y letrs (incógnits) relciondos medinte operciones mtemátics. Por ejemplo: - y = + Son ecuciones con un incógnit cundo prece un
Más detallespág. 71 LIMITES 1. LIMITE DE UNA SUCESIÓN. EL NÚMERO e Recuerda del curso pasado los límites de sucesiones.
LIMITES. LIMITE DE UNA SUCESIÓN. EL NÚMERO e Recuerd del curso psdo los límites de sucesiones. L sucesión 4 4 n 4 n es especilmente interesnte. Empezmos desrrollndol. n,5,7...,44... Se trt de un sucesión
Más detallesUna Introducción a la Teoría de Autómatas sobre Arboles
Un Introducción l Teorí de Autómts sobre Arboles IIC3800 IIC3800 Un Introducción l Teorí de Autómts sobre Arboles 1 / 40 Arboles etiquetdos Σ: Alfbeto (conjunto finito de símbolos) Definición (Arbol binrio)
Más detallesq 2 q 3 b q 3 q 4 a, b
M = (Σ E, Q, q, f, F ) donde Reconocedor finito determinist Slide Σ E : lfeto de entrd Q : conjunto de estdos, f inito q Q : estdo inicil f : Q Σ E Q función prcil de trnsición F Q : estdos finles o de
Más detallesI Resolución de sistemas de ecuaciones lineales
ESCUELA SUPERIOR DE NÁUTICA Y MÁQUINAS NAVALES / NAUTIKAKO ETA ITSASONTZI MAKINETAKO GOI ESKOLA TEKNIKOA FUNDAMENTOS MATEMÁTICOS I Resolución de sistems de ecuciones lineles Objetivo: El lumno deberá tener
Más detallesIntegral definida. Áreas MATEMÁTICAS II 1
Integrl definid. Áres MATEMÁTICAS II APROXIMACIÓN AL VALOR DEL ÁREA BAJO UNA CURVA L integrl definid está históricmente relciond con el prolem de definir y clculr el áre de figurs plns. En geometrí se
Más detallesAutómatas finitos TEORÍA DE LA COMPUTACIÓN LENGUAJES REGULARES Y AUTÓMATAS FINITOS. Ejemplo 2. Ejemplo 1
Autómts finitos TEORÍA DE LA COMPUTACIÓN LENGUAJES REGULARES Y AUTÓMATAS FINITOS Frncisco Hernández Quiroz Deprtmento de Mtemátics Fcultd de Ciencis, UNAM E-mil: fhq@ciencis.unm.mx Págin We: www.mtemtics.unm.mx/fhq
Más detallesel blog de mate de aida: Matemáticas I. Ecuaciones. pág. 1
el log de mte de id: Mtemátics I. Ecuciones. pág. ECUACIONES Un ecución es un propuest de iguldd en l que interviene un letr llmd incógnit. L solución de l ecución es el vlor o vlores de l incógnit (o
Más detallesApuntes de A. Cabañó Matemáticas II SISTEMAS DE ECUACIONES LINEALES
puntes de. Cbñó Mtemátics II SISTEMS DE ECUCIONES LINELES 8. Epresión mtricil de un sistem.clsificción de un sistem en términos del número de soluciones. 8. Teorem de RouchéFrobenius. 8. El método de eliminción
Más detallesTeorema Maestro. Introducción. Arturo Díaz Pérez. Recurrencia general para estrategias divide y vencerás. Análisis y Complejidad de Algoritmos 1
Arturo Díz Pérez Aálisis y Diseño e Aloritmos Teorem Mestro Arturo Díz Pérez Aálisis y Diseño e Aloritmos Mestro- Itroucció Recurreci eerl pr estrteis ivie y vecerás T + T T Aálisis y Diseño e Aloritmos
Más detallesSoluciones Hoja 4: Relatividad (IV)
Soluciones Hoj 4: Reltividd (IV) 1) Un estdo excitdo X de un átomo en reposo ce su estdo fundmentl X emitiendo un fotón En físic tómic es hitul suponer que l energí E γ del fotón es igul l diferenci de
Más detallesFunciones de R en R. y = 1. son continuas sobre el conjunto
Funciones de R n en R m Teorem de l Función Invers Funciones de R en R Se f(x) un función rel de vrible rel con derivd continu sobre un conjunto bierto A se x 0 un punto de A donde f (x 0 ) 0. Considere
Más detallesFórmulas de cuadratura.
PROYECTO DE ANALISIS MATEMATICO I : Integrción numéric. Ojetivos: Aprender los métodos más sencillos de integrción númeric y plicrlos en diversos prolems. Fórmuls de cudrtur. Se (x un unción continu deinid
Más detalles1º (junio 1994) i) Estudiar, para los diferentes valores del parámetro a, la existencia de
Sistems de ecuciones lineles SISTEMAS DE ECUACIONES LINEALES EJERCICIOS DE SELECTIVIDAD º (junio 994) i) Estudir, pr los diferentes vlores del prámetro, l eistenci de soluciones del sistem resolverlo cundo
Más detallesCONSIDERACIONES SOBRE LAS COMPUERTAS
Abril de 006 CONSDERACONES SOBRE LAS COMPUERTAS Cátedr de Mecánic de los Fluidos Escuel de ngenierí Mecánic Autores: ngeniero Edgr Blbstro ngeniero Gstón Bourges e-mil: gbourges@fcei.unr.edu.r 1 Abril
Más detalles26 EJERCICIOS de LOGARITMOS
6 EJERCICIOS d LOGARITMOS Función ponncil y rítmic:. Pr cd un d ls funcions qu figurn continución, s pid: i) Tbl d vlors y rprsntción gráfic. ii) Signo d f(). iii) Corts con los js. iv) Intrvlos d crciminto.
Más detallesMOVIMIENTO DE RODADURA
E.T.S.. Agrónomos. U.P.. OVENTO DE ODADUA Cuerpos rodntes. Considermos el moimiento de cuerpos que, debido su geometrí, tienen l cpcidd de rodr: eser, ro, disco, supericie eséric, cilindro poydo sobre
Más detallesTema 3: Aplicaciones de la diagonalización
TEORÍA DE ÁLGEBRA II: Tema 3. DIPLOMATURA DE ESTADÍSTICA 1 Tema 3: Aplicaciones de la diagonalización 1 Ecuaciones en diferencias Estudiando la cría de conejos, Fibonacci llegó a las siguientes conclusiones:
Más detallesIntegrales Impropias. Capítulo Introducción Integrales de Funciones No Acotadas
Cpítulo 8 Integrles Impropis 8.. Introducción L integrl de Riemnn tl como l hemos estudido, está definid únicmente pr funciones cotds y definids sobre intervlos cerrdos y cotdos. En este cpítulo estudiremos
Más detallesIntegral Definida. Tema 6. 6.1 Introducción. 6.2 Definición de Integral Definida
Tem 6 Integrl Definid 6.1 Introducción En este tem estudiremos l Integrl Definid o Integrl de Riemnn, un concepto mtemático que esencilmente puede describirse como el límite de un sum cundo el número de
Más detalles