Determinización: Construcción de Safra

Save this PDF as:
 WORD  PNG  TXT  JPG

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

Download "Determinización: Construcción de Safra"

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

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 detalles

Integrales impropias

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

Construcción de Vardi & Wolper: Paso final

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

7. Integrales Impropias

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

Autómatas sobre palabras infinitas

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

Semánticas de procesos y aplicaciones

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

APUNTES DE MATEMÁTICAS

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

7.1. Definición de integral impropia y primeras propiedades

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

Má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. 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 detalles

Tema 4: Integrales Impropias

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

Factorización de polinomios. Sandra Schmidt Q. sschmidt@tec.ac.cr Escuela de Matemática Instituto Tecnológico de Costa Rica

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

Tema 5. Trigonometría y geometría del plano

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

Clase del Miércoles 13 de Junio de 2012: Ecuaciones Integrales.

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

TEMA 5 LÍMITES Y CONTINUIDAD DE FUNCIONES

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

1. Indicar el lenguaje aceptado por los siguientes autómatas :

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

Cristal. Estado Sólido. Estructura Cristalina. Red. Celdas. Red

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

el blog de mate de aida.: ECUACIONES 4º ESO pág. 1 ECUACIONES

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

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

Repartido N 5. Limites ISCAB 3 EMT prof. Fernando Diaz

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

Minimización de AFDs, método y problemas

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

DETERMINANTES. Determinante es la expresión numérica de una matriz. Según el orden de la matriz el determinante se resuelve de distintas formas:

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

Tema 4: Operaciones sobre lenguajes regulares

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

Resolución de circuitos complejos de corriente continua: Leyes de Kirchhoff.

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

Espacios vectoriales y Aplicaciones Lineales II: Núcleo e imagen. Diagonalización. Ker(f) = {x V f(x) = 0} Im(f) = {f(x) x V}.

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

AUTOMATAS FINITOS CIENCIAS DE LA COMPUTACION I 2009

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

Tratamiento contable y presupuestario de las operaciones de inversión de excedentes temporales de Tesorería.

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

Modelo 2014. Problema 1B.- (Calificación máxima: 2 puntos) Se considera el sistema lineal de ecuaciones dependiente del parámetro real a:

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

June 24, 2011 DSIC - UPV. Autómatas Finitos. U.D. Computación. Autómata Finito Determinista. Autómata Finito no Determinista

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

INTEGRAL DEFINIDA. El hallar el área aproximada bajo la curva por suma de n áreas rectangulares de igual ancho x

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

Determinantes de una matriz y matrices inversas

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

PROGRESIONES ARITMETICAS

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

Universidad Central de Venezuela Facultad de Farmacia Matemática - Física Prof. J. R. Morales

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

TEMA 1: FUNCIONES. LÍMITES Y CONTINUIDAD

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

INFORME 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º 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 detalles

Función de transición δ. Tema 6. Función de transición extendida. Función de transición extendida. Función de transición extendida

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

Tema 4. Integración de Funciones de Variable Compleja

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

BLOQUE 1: ÁLGEBRA. Tema 4: Sistemas de Ecuaciones Lineales

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

1.4. Sucesión de funciones continuas ( )

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

Tema9. Sucesiones. Tema 9. Sucesiones.

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

Tema 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

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

Curvas en el plano y en el espacio

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

En este capítulo estudiaremos algunos métodos numéricos para estimar el valor de una integral definida b I =

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

manual de normas gráficas

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

Tema 8: Análisis Discriminante. Clasificación. Aurea Grané Departamento de Estadística Universidad Carlos III de Madrid. Análisis discriminante

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

Espacios vectoriales y Aplicaciones Lineales I: Bases y coordenadas. Aplicaciones lineales.

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

Teoría Tema 7 Integral definida. Área encerrada por una curva

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

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

pág. 87 LIMITES 1. LIMITE DE UNA SUCESIÓN. EL NÚMERO e Recuerda del curso pasado los límites de sucesiones.

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

3. FUNCIONES VECTORIALES DE UNA VARIABLE REAL

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

AX = B. X es la matriz columna de las variables:

AX = 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 detalles

Relación 3. Sistemas de ecuaciones

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

El conjunto de los números naturales tiene las siguientes características

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

EXPRESIONES ALGEBRAICAS. POLINOMIOS

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

DIVERSIFICACIÓN CURRICULAR

DIVERSIFICACIÓ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 detalles

pág. 71 LIMITES 1. LIMITE DE UNA SUCESIÓN. EL NÚMERO e Recuerda del curso pasado los límites de sucesiones.

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

INTEGRACIÓN. CÁLCULO DE

INTEGRACIÓN. CÁLCULO DE Cpítulo INTEGRACIÓN. CÁLCULO DE ÁREAS.. Introducción Si el problem del cálculo de l rect tngente llevó los mtemáticos del siglo XVII l desrrollo de ls técnics de l derivción, otro problem, el del cálculo

Más detalles

Una Introducción a la Teoría de Autómatas sobre Arboles

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

I Resolución de sistemas de ecuaciones lineales

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

Teorema Maestro. Introducción. Arturo Díaz Pérez. Recurrencia general para estrategias divide y vencerás. Análisis y Complejidad de Algoritmos 1

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

el blog de mate de aida: Matemáticas I. Ecuaciones. pág. 1

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

Tema 4. Integración compleja

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

Matemáticas Empresariales I. Integral Definida

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

n f j (x). j=0 f n Los teoremas que hemos obtenido anteriormente para sucesiones de funciones pueden aplicarse a las series de funciones.

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

Soluciones Hoja 4: Relatividad (IV)

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

Fórmulas de cuadratura.

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

lasmatemáticas.eu Pedro Castro Ortega materiales de matemáticas son equivalentes porque 2 10 4 5.

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

1º (junio 1994) i) Estudiar, para los diferentes valores del parámetro a, la existencia de

1º (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 detalles

Integrales Impropias. Capítulo Introducción Integrales de Funciones No Acotadas

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

Resolver inecuaciones como las siguientes. Expresar la solución en forma gráfica y algebraica. Comparar las soluciones de los ejercicios e), f) y g).

Resolver inecuaciones como las siguientes. Expresar la solución en forma gráfica y algebraica. Comparar las soluciones de los ejercicios e), f) y g). 64 Tercer Año Medio Mtemátic Ministerio de Educción Actividd 3 Resuelven inecuciones y sistems de inecuciones con un incógnit; expresn ls soluciones en form gráfic y en notción de desigulddes; nlizn ls

Más detalles

Pruebas t para una y dos muestras independientes

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

Sistemas de ecuaciones lineales

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

MATRICES DE NÚMEROS REALES

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

1. INTEGRALES DEFINIDAS E IMPROPIAS

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

Sistemas de ecuaciones Matemáticas II CCSS

Sistemas de ecuaciones Matemáticas II CCSS 1._ (Modelo 2018) Se consider el sistem de ecuciones dependiente del prámetro rel x + y + z = 3 2x + y + z = 2 5x + 3y + z = + 4 b) Resuélvse pr = 1 2._ (Septiembre 2017) Se consider el sistem de ecuciones

Más detalles

CONSIDERACIONES SOBRE LAS COMPUERTAS

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

Tema 3. DETERMINANTES

Tema 3. DETERMINANTES Tem. DETERMINNTES Definición de determinnte El determinnte de un mtriz cudrd es un número. Pr l mtriz, su determinnte se denot por det() o por. Pr un mtriz de orden,, se define: Ejemplo: Pr un mtriz de

Más detalles

Presentación Axiomática de los Números Reales

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

Casos prácticos resueltos

Casos prácticos resueltos Apéndice A Csos prácticos resueltos A.1. Introducción Hst hor, dentro de cd unidd temátic, se hn ido resolviendo supuestos concernientes l tem trtdo en el cpítulo. En éste, se pretenden desrrollr ejercicios

Más detalles

Aplicaciones del cálculo integral

Aplicaciones del cálculo integral Aplicciones del cálculo integrl Aplicciones del cálculo integrl Cálculo del áre de un función Pr clculr el áre encerrd por un función en un intervlo [,] con el eje X, dee utilizrse l integrl definid. Csos:

Más detalles

CAPÍTULO 9. INTEGRALES IMPROPIAS 9.1. Límites de integración infinitos 9.2. Integrales con integrando que tiende a infinito 9.3. Observaciones a las

CAPÍTULO 9. INTEGRALES IMPROPIAS 9.1. Límites de integración infinitos 9.2. Integrales con integrando que tiende a infinito 9.3. Observaciones a las CAPÍTULO 9. INTEGRALES IMPROPIAS 9.. Límies de inegrción infinios 9.. Inegrles con inegrndo que iende infinio 9.. Oservciones ls inegrles impropis Cpíulo 9 Inegrles impropis f ( ) f ( ) f f ( ) () f()

Más detalles

Apellidos: Nombre: Curso: 1º Grupo: C Día: 10 - XI- 14 CURSO Resuelve las siguientes ecuaciones y comprueba las soluciones obtenidas:

Apellidos: Nombre: Curso: 1º Grupo: C Día: 10 - XI- 14 CURSO Resuelve las siguientes ecuaciones y comprueba las soluciones obtenidas: EXAMEN DE MATEMÁTICAS ALGEBRA Apellidos: Nombre: Curso: º Grupo: C Dí: - XI- 4 CURSO 4-5. Hll el vlor de log log ), 4 log log b) log4 6 -log -log log 7 4 6. Clcul x pr que se cumpl: ) log 6,45,5 b) 5 +,58.

Más detalles

APLICACIONES LINEALES: Núcleo e Imagen de una aplicación lineal.

APLICACIONES LINEALES: Núcleo e Imagen de una aplicación lineal. Universidd de Jén Deprtmento de Mtemátics (Áre de Álgebr) Curso 2014/15 PRÁCTICA Nº 12 APICACIONES INEAES: Núcleo e Imgen de un plicción linel. Con est práctic se pretende revisr l definición de plicción

Más detalles

TEMA 1. VECTORES Y MATRICES 1.3. TRAZA Y DETERMINANTE DE UNA MATRIZ

TEMA 1. VECTORES Y MATRICES 1.3. TRAZA Y DETERMINANTE DE UNA MATRIZ TEM. VECTORES Y MTRICES.. TRZ Y DETERMINNTE DE UN MTRIZ . VECTORES Y MTRICES.. TRZ Y DETERMINNTE DE UN MTRIZ... Concepto de Trz.... Propieddes de l trz.... Determinnte de un mtriz.... Cálculo de determinntes

Más detalles

MOVIMIENTO DE RODADURA

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

Caracterización de lenguajes regulares con expresiones regulares

Caracterización de lenguajes regulares con expresiones regulares Crcterizción de lengujes regulres con expresiones regulres Elvir Myordomo Universidd de Zrgoz 15 de octubre de 2012 Contenido de este tem Recordtorio de expresiones regulres (e.r.) Cómo convertir un e.r.

Más detalles

3.- Derivada e integral de funciones de variable compleja.

3.- Derivada e integral de funciones de variable compleja. 3.- Derivd e integrl de funciones de vrile complej. ) Derivds, funciones nlítics e interpretción geométric. ) Regls de diferencición. c) Ecuciones de uch-riemnn. d) Funciones rmónics. e) Integrción complej.

Más detalles

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

2. Integrales dobles sobre regiones no rectangulares.

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

A modo de repaso. Preliminares

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

REPASO DE ECUACIONES (4º ESO)

REPASO DE ECUACIONES (4º ESO) TIPOS DE ECUACIONES.- REPASO DE ECUACIONES ( ESO) Eisten diversos tipos de ecuciones, entre ells estudiremos: Polinómics: En ells, l incógnit prece solmente en epresiones polinómics. El grdo de un ecución

Más detalles

CURSO DE MATEMÁTICA 1. Facultad de Ciencias

CURSO DE MATEMÁTICA 1. Facultad de Ciencias CURSO DE MATEMÁTICA 1. Fcultd de Ciencis Reprtido Teórico 1 Mrzo de 2008 1. Conceptos Básicos de Funciones Definiciones 1. Si A y B son conjuntos no vcíos, un función de A en B es un correspondenci tl

Más detalles

Integral Definida. Tema 6. 6.1 Introducción. 6.2 Definición de Integral Definida

Integral 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

r = 1 1 Introducción a la Física Paralelos 10 y 13. Profesor RodrigoVergara R DESPLAZAMIENTO Y VECTORES

r = 1 1 Introducción a la Física Paralelos 10 y 13. Profesor RodrigoVergara R DESPLAZAMIENTO Y VECTORES 1 Introducción l Físic Prlelos 10 13. Profesor RodrigoVergr R DPLAZAMIT Y VCTR 1) Repso de trigonometrí Definir plicr ls 3 funciones trigonométrics ásics en triángulos rectángulos. Definir ls funciones

Más detalles

2. Cálculo de primitivas

2. Cálculo de primitivas 5. Cálculo de primitivs Definición. Se dice que un función F () es un primitiv de otr función f() sobre un intervlo (, b) si pr todo de (, b) se tiene que F () f(). Por ejemplo, l función F () es un primitiv

Más detalles

Relación de ejercicios hechos en clase en los últimos días previos al examen de febrero

Relación de ejercicios hechos en clase en los últimos días previos al examen de febrero Relción de ejercicios hechos en clse en los últimos dís previos l exmen de ferero De cuerdo con l definición de APND, propón 5 ejemplos de utómt con pil que cepten: - el lenguje Σ * ({f}, Σ, Σ, { ((f,,ε),

Más detalles

26 EJERCICIOS de LOGARITMOS

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

Clase 2: Expresiones algebraicas

Clase 2: Expresiones algebraicas Clse 2: Expresiones lgebrics Operr expresiones lgebrics usndo ls propieddes lgebrics de ls operciones sum y producto, propieddes de ls potencis, regls de signos y préntesis. Evlur expresiones lgebrics

Más detalles

Concepto clave. La derivada de una función se define principalmente de dos maneras: 1. Como el límite del cociente de Fermat ( )( )

Concepto clave. La derivada de una función se define principalmente de dos maneras: 1. Como el límite del cociente de Fermat ( )( ) Concepto clve L derivd de un función se define principlmente de dos mners: 1. Como el límite del cociente de Fermt f ( ) lím x f ( x) f ( ) x. Como el límite del cociente de incrementos f ( x) lím x 0

Más detalles

Unidad 10. Sistemas de ecuaciones lineales

Unidad 10. Sistemas de ecuaciones lineales Tem. istems de Ecuciones Unidd. istems de ecuciones lineles. Definiciones, tipos de sistems distints forms de epresrls.. Definición, sistems equivlentes.. Clses de sistems de ecuciones... Epresión de sistems

Más detalles

7Soluciones a los ejercicios y problemas PÁGINA 161

7Soluciones a los ejercicios y problemas PÁGINA 161 7Soluciones los ejercicios y problems ÁGIN 161 ág. 1 RTI Rzones trigonométrics de un ángulo gudo 1 Hll ls rzones trigonométrics del ángulo en cd uno de estos triángulos: ) b) c) 7 m m 11,6 cm 8 m m 60

Más detalles