Semánticas de procesos y aplicaciones
|
|
- Antonio Blanco Alarcón
- hace 8 años
- Vistas:
Transcripción
1 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 de incción: δ condicionl: c x y generlizción de +: d:d p(d) (Notr que necesitmos dtos) procesos recursivos: en prticulr, procesos recursivos con gurd
2 Otros elementos del Lenguje de especificción Axioms pr l wek bisimulción Axioms pr l brnching bisimulción El operdor de prlelizción Comunicción entre procesos: operdor Γ C Forzndo l comunicción: el operdor llow V Bloque de cciones Renombre de cciones Ocultmiento de cciones Ejemplos de estos operdores (1)
3 Ejemplos de estos operdores (2A) 1. Se X un switching buffer. 2. Se B un temporry store de tmño 1. Algún detlle de l especificción? Ejemplos de estos operdores (2B)
4 Ejercicio Qué vimos hst hor? (1) Hennessy-Milner Logic φ = true flse φ φ φ φ φ φ φ φ []φ Fórmuls de cciones: α ::= ( 1... n ) true flse α α α α α α φ = α φ [α]φ = α []φ
5 Qué vimos hst hor? (2) Fórmuls de regulres: R ::= ε α R.R R + R R R + ε es l fórmul vci. Luego [ε]φ = ε φ = φ. R 1 + R 2 φ = R 1 φ R 2 φ R 1.R 2 φ = R 1 R 2 φ [R1 + R 2 ]φ = [R 1 ]φ [R 2 ]φ [R1.R 2 ]φ = [R 1 ][R 2 ]φ Modl µ-clculus: H-M Logic + Operdores de máximo y mínimo punto fijo φ =true flse φ φ φ φ φ φ φ φ []φ µx.φ νx.phi X Rzones pr formulr propieddes El comportmiento no es fcilmente crcterizble, entonces pedimos lguns propieddes mínims. Ejemplo: en el protocolo de comunicción sólo hbrá un lider. El comportmiento del sistem no es clro, luego sólo definimos propieddes. Pr verificr el comportmiento del modelo. Si el modelo es correcto deberí stisfcer ls propieddes desebles del sistem. El model checking no es sólo pr verificr propieddes, en muchos csos sirve como herrmient pr rzonr sobre el modelo. Es decir que los problems se encuentrn ntes de relizr el chequeo.
6 Puntos fijos: intuitivmente. µx.φ represent el conjunto de estdos X más CHICO que stisfce X = φ νx.φ represent el conjunto de estdos X más GRANDE que stisfce X = φ Puntos fijos: ejemplos. En un LTS rbitrrio, cules estdos stisfcen: µx.x y νx.x. En el siguiente LTS,cules estdos stisfcen: µx. X y νx. X :
7 Sfety nd liveness properties Un propiedd de liveness segur que lgo bueno sí v psr en lgun momento (ejecuciones finits). Pr esto se us el menor punto fijo. Un propiedd de sfety segur que lgo mlo nunc v psr (ejecuciones infinits). Pr esto se us el myor punto fijo. Ejercicio Escribir R φ y [R ]φ usndo puntos fijos. Luego, ls fórmuls regulres no son necesris. Recordemos: α φ = α φ [α]φ = α []φ Escribir R + φ y [R + ]φ en función de R φ y [R ]φ. Cómo escribir φ usndo puntos fijos.
8 Verificndo fórmuls modles en LTS: fórmuls HM. Recursivmente se vn etiquetndo los nodos con ls fórmuls que stisfce: Verificndo fórmuls modles en LTS: Menor punto fijo. Se etiquetn los nodos con ls fórmuls que stisfce. Si lgún nodo stisfce φ entonces se etiquet el nodo con X. Se repite el proceso hst que no se gregn más X. El menor punto fijo está relciondo con un crcterizción de estdos inductiv.
9 Verificndo fórmuls modles en LTS: Myor punto fijo. Se sume que todo estdo stisfce X. Luego se verific si cd estdo stisfce φ. Si no stisfce, entonces, de ese estdo se retir X. Se repite el proceso hst que no se scn más X. El menor punto fijo está relciondo con un crcterizción de estdos coinductiv. Firness properties. Ests propieddes se utilizn pr expresr que un cción debe suceder si se encuentr infinitmente hbilitd o que un cción ocurre sólo un número limitdo de veces. Ejemplos: µx.νy.( true [b]x ) ( true [b]y ) νx.µy.( true [b]x ) ( true [b]y )
10 Alguns definiciones Definition Un poset es un conjunto L no vcio junto un relción l cul es un orden prcil (un relción reflexiv, ntisimétric y trnsitiv). Ddo S L y L es un cot superior de S si x y pr todo x S. El supremo de S, notción sup(s), es l menor de ls cots superiores. x L es un cot inferior de S si x y pr todo y S. El infimo de S, notción ínf(s), es l myor de ls cots inferiores. Alguns definiciones (2) Definition Un endofunción F en L es un función con tipo L L. F es monoton if x y implic F (x) F (y). x es un punto prefijo de F si F (x) x. Dulmente, x es un elemento punto postfijo de F si x F (x). x es un punto fijo si x = F (x). En el conjunto de puntos fijos de F, el menor y el myor elemento son denomindos respectivmente menor punto fijo y menor punto fijo. Definition Un látice completo es un poset L tl que sup(s) y ínf(s) está definido pr todo S L.
11 Ejercicios Se F un endofunción monóton sobre un látice completo. Si x e y son dos puntos postfijos, entonces sup({x, y}) es un punto postfijo. generlizr el resultdo pr un conjunto rbitrrio de puntos postfijos. Dulizr el resultdo pr puntos prefijos. Teorem del punto fijo Theorem En un látice completo, un endofunción monoton tiene un látice completo de puntos fijos. Además, 1. El menor punto fijo es el meet de todos los puntos prefijos. 2. El myor punto fijo es el join de todos los puntos postfijos.
12 Teorem del punto fijo (Simplificdo) L versión simplificd pr 2 X y : se F : 2 X 2 X monóton entonces 1. lfp(f ) = {S F (S) S}. 2. gfp(f ) = {S S F (S)}. 1 es nuestr definición de conjunto definido inductivmente. 2 es nuestr definición de conjunto definido coinductivmente. Lemm (Principios de inducción y coinducción pr funciones monótons) Pr un endofunción monóton F en un látice completo tenemos: 1. si F (x) x entonces lfp(f ) x (principio de inducción). 2. si x F (x) entonces x gfp(f ) (principio de coinducción).
13 LTS y Bisimulción Definition (Lbelled trnsition system) Un LTS (lbelled trnsition system) es un tupl (S, A, ) donde S es un conjunto (de estdos), A es un conjunto (de etiquets) y S A S es un relción ternri (de trnsiciones etiquetds). Definition (Bisimulción y bisimilridd) Un relción R S S es un bisimulción si es simétric y todo pr de estdos s, t tl que s R t vle pr todo s tl que s s, existe t tl que t t y s R t, l condición equivlente pr ls trnsiciones de t. L bisimilridd, es l unión de tods ls bisimulciones. Dos estdos s y t son bisimilres si s t. Ejemplos p 0 q 0 b p 1 c q 1 q 2 b c p 2 p 3 q 3 q 4 r 0 r 1 r 2 c b c r 3 r 4 r 5
14 Crcterístics positvs de l bisimulción El chequeo sobre los estdos es locl. No existe jerrquí entre los pres de l relción. Esto difiere con respecto ls definiciones inductivs. Ejemplo: Chequeo Locl p 1 q 1 p 0 q 0 b b p 1 c b q 1 c p 2 p 3 q 2 q 3
15 Coinducción VS Indución. Ejemplo: Un = definido inductivmente (i.e. existe jerrquí). Definition Ddos dos estdos s y t, s = t si pr todo s tl que s s, existe t tl que t t y s = t. l condición equivlente pr ls trnsiciones de t. Definition (Bisimulción y bisimilridd) Un relción R S S es un bisimulción si es simétric y todo pr de estdos s, t tl que s R t vle pr todo s tl que s s, existe t tl que t t y s R t, l condición equivlente pr ls trnsiciones de t. L bisimilridd, es l unión de tods ls bisimulciones. Dos estdos s y t son bisimilres si s t. Ejercicio: Verddero o Flso p 0 p b 1 q 0 q b 1 q 2 q b 3 q p 0 q 0 2. p 0 = q 0
16 Ejercicio: Verddero o Flso (2) p 0 p b 1 b q 0 q 1 q 2 1. p 0 q 0 2. p 0 = q 0 Otro ejemplo de definicion inductiv: terminción. Terminción definido por medio de regls (de form inductiv): s A s s s s s s vle si es posible construir un prueb finit de s es el menor conjunto de procesos que es closed forwrd pr ls regls. Es decir, el menor conjunto T tl que si s, A entonces s T si s s y s T entonces s T
17 Otro ejemplo de definición coinductiv: no terminción. No terminción definido por medio de regls (de form coinductiv): s s s s s vle si es posible construir un prueb finit o infinit de s es el myor conjunto de procesos que es closed bckwrd pr ls regls. Es decir, el myor conjunto T tl que si s T entonces existe s tl que s s y s T Ejercicios: p 0 p 1 b b p 2 p 3 1. Verddero o Flso (Justifique): p0 p1 2. Defin y.
18 Un último ejemplo: Lists finits e infinits Se A un conjunto de elemtos y consideremos ls siguientes regls nil L l L A l L Si utilizmos ls regls con un enfoque inductivo, entonces L es el conjunto de lists finits de A. (i.e. sólo permitimos pruebs finits; o utilizmos l clusur forwrd) Si utilizmos ls regls con un enfoque coinductivo, entonces L es el conjunto de lists finits e infinits de A. (i.e. permitimos pruebs finits e infinits; o utilizmos l clusur bckwrd) Ejercicio: Se, b A y supong que L está defindo coinductivmente. Demuestre que l 1 = b b... L. Endofunciones bsds en regls Notción: denotemos un regl P x con (P, x), donde P y x son términos biertos que se instncin en X. Ddo un conjunto de regls R podemos definir un conjunto de regls cerrds R. Ddo el conjunto de regls cerrds R, se define el funcionl de R sobre el látice completo X 2 como: Φ R (T ) = {x (T, x) R, T T } Φ R es un función monóton.
19 Endofunciones bsds en regls(2) Por el teorem de punto fijo, el funcionl Φ R tiene un menor y myor punto fijo: lfp(φ R ) gfp(φ R ) denomindos estos, respectivmente, conjuntos definido inductivmente e coinductivmente por ls regls. Además, los principios de prueb inductivo y coinductivo. Respectivmente: si Φ R (T ) T entonces lfp(φ R ) T (1) si T Φ R (T ) entonces T gfp(φ R ) (2) El principio inductivo (...en lenguje nturl) T es l propiedd que queremos verificr vist como conjunto si Φ R (T ) T entonces lfp(φ R ) T Desdoblemos l hipótesis Φ R (T ) T, (teniendo en cuent Φ R (T ) = {x (T, x) R, T T }): Pr tod regl (S, x) R, si S R entonces x T Lo que es equivlente 1. l conclusión de todo xiom está en T 2. si tods ls premiss de un regl están en T, entonces tmbién estrá l conclusión. Finlmente lfp(φ R ) T grntiz que el conjunto definido inductivmente lfp(φ R ) está incluido en T (i.e. stisfce ls propieddes impuests los elementos de T ).
20 Trzs finits Ls regls (con s, s vribles) s A s s s s s Vists como l segund definición de regl (P y P son procesos) R = {(, P) P A} {({P }, P) P P, A} Y podemos definir el siguiente funcionl: Φ R (T ) = {P (P A) or ( P, : P T, P P } Recordr que Φ R (T ) = {x (T, x) R, T T }. El principio coinductivo (...en lenguje nturl) T es el conjunto de elementos que queremos verificr si pertenecen l conjunto definido coinductivmente. si T Φ R (T ) entonces T gfp(φ R ) Desdoblemos l hipótesis T Φ R (T ), (teniendo en cuent Φ R (T ) = {x (T, x) R, T T }): Pr todo x T existe un regl (S, x) R tl que S T Finlmente T gfp(φ R ) grntiz que el conjunto definido coinductivmente gfp(φ R ) incluye T.
21 Trzs INfinits Ls regls (con s, s vribles) s s s s Vists como l segund definición de regl (P y P son procesos) R s = {({P }, P) P P } Y podemos definir el siguiente funcionl: Φ s (T ) = {P P : P T, P P } Recordr que Φ R (T ) = {x (T, x) R, T T }. Definition Consideremos l endofunción F : (QxQ) 2 (QxQ) 2 definid por F (R) es el conjunto de todos los pres (p, q) tles que: pr todo p con p p, existe q tq q q y p R q ; pr todo q con q q, existe p tq p p y p R q ; Est función se denomin el funcionl socido l bisimulción.
22 Lemm R es un bisimulción sii R F (R) Lemm F es monoton Theorem 1. es el myor punto fijo de F 2. es l myor relción R tq R F (R); entonces R pr tod R tlque R F (R)
Semánticas de procesos y aplicaciones
Semánticas de procesos y aplicaciones Clase 05: Lenguajes para especificar sistemas de transiciones y lógicas modales - Parte 2 Qué vimos hasta ahora? acciones: a multiacciones: α 3 operadores sobre multiacciones:
Más detallesDeterminización: Construcción de Safra
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:
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 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 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 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 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 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 detalles1. Cuales son los números naturales?
Guí de mtemátics. Héctor. de bril de 015 1. Cules son los números nturles? Los números nturles son usdos pr contr (por ejemplo, hy cinco moneds en l mes ) o pr imponer un orden (por ejemplo,. Es t es l
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 detallesCURSO 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 detallesAUTOMATAS 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 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 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 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 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 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 detallesEL MÉTODO DE LA BISECCIÓN
EL MÉTODO DE LA BISECCIÓN Teorema de Bolzano Sea f : [a, b] IR IR una función continua en [a, b] tal que f(a) f(b) < 0, es decir, que tiene distinto signo en a y en b. Entonces, existe c (a, b) tal que
Más detallesAnálisis de una variable real I. Tijani Pakhrou
Análisis de una variable real I Tijani Pakhrou Índice general 1. Introducción axiomática de los números 1 1.1. Números naturales............................ 1 1.1.1. Axiomas de Peano........................
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 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 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 detallesLenguajes y Compiladores
2015 Estructura de la materia a grandes rasgos: Primera Parte: Lenguaje imperativo Segunda Parte: Lenguaje aplicativo puro, y lenguaje aplicativo con referencias y asignación Ejes de contenidos de la primer
Más detallesSemánticas de procesos y aplicaciones
Semánticas de procesos y aplicaciones Clase 09: Manipulación básica de procesos, parte 2 Qué vimos Definición precisa de lo que es que una derivación en lógica ecuacional. Reglas de derivación. Axiomas
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 detallesIntegral impropia Al definir la integral definida b
Mte Univ II, 14 FCE-BUAP CÁLCULO INTEGRAL ALEJANDRO RAMÍREZ PÁRAMO 1. Sucesiones y series Integrl impropi Al definir l integrl definid b f(x)dx, pretendimos que l función f estb definid; demás de cotd,
Más detallesSemana 08 [1/15] Axioma del Supremo. April 18, 2007. Axioma del Supremo
Semana 08 [1/15] April 18, 2007 Acotamiento de conjuntos Semana 08 [2/15] Cota Superior e Inferior Antes de presentarles el axioma del supremo, axioma de los números reales, debemos estudiar una serie
Más 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 detallesJuegos Cooperativos. Core
Curso : Juegos Cooperativos Core J. Oviedo Universidad Nacional de San Luis 1. Juegos Cooperativos En estos juegos se permite la comunicación entre los jugadores, también pueden firmar contratos de cooperación.
Más detallesNúmeros Reales. Los números naturales son {1; 2; 3; }, el conjunto de todos ellos se representa por.
Se distinguen distints clses de números: Números Reles Los números nturles son {1; 2; 3; }, el conjunto de todos ellos se represent por. El primer elemento es el 1 y no tiene último elemento Todo número
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 detallesSEGUNDA PARTE. ANALÍTICAS Y TEORÍA DE CAUCHY.
42 Funciones de vrible complej. Eleonor Ctsigers. 25 Abril 2006. FUNCIONES SEGUNDA PARTE. ANALÍTICAS Y TEORÍA DE CAUCHY. Resumen Se prueb que tod función holomorf es nlític, y recíprocmente. Se desrroll
Más detallesFunciones de varias variables
Capítulo 2 Funciones de varias variables 1. Definiciones básicas En este texto consideraremos funciones f : A R m, A R n. Dichas funciones son comúnmente denominadas como funciones de varias variables,
Más detallesEl conjunto de los números reales se forma mediante la unión del conjunto de los números racionales y el conjunto de los números irracionales.
El conjunto de los números reles (R) El conjunto de los números reles se form medinte l unión del conjunto de los números rcionles y el conjunto de los números irrcionles. Propieddes del conjunto R R =
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 detallesPROTOCOLO DE PRUEBA DE CARACTERÍSTICAS TÉCNICAS DE PORTALES DE INTERNET NT CNTI 0003-1: 2008
PROTOCOLO DE PRUEBA DE CARACTERÍSTICAS TÉCNICAS DE PORTALES DE INTERNET NT CNTI 0003-1: 2008 Introducción Este documento tiene como objetivo describir el instrumento trvés del cul se especificn, desde
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 detalles1.6. BREVE REPASO DE LOGARITMOS.
.. BREVE REPASO DE LOGARITMOS. Sistems de ritmos. Si ulquier número positivo puede tomrse omo Bse, eiste infinito número de sistems de logritmos, pero trdiionlmente, solo se utilizn dos sistems: o ritmos
Más detallesSeries y Probabilidades.
Series y Probabilidades Alejandra Cabaña y Joaquín Ortega 2 IVIC, Departamento de Matemática, y Universidad de Valladolid 2 CIMAT, AC Índice general Sucesiones y Series Numéricas 3 Sucesiones 3 2 Límites
Más detallesIntroducción a la lógica epistémica
Introducción l lógic epistémic Fernndo Soler Toscno Universidd de Sevill ¾Qué es l lógic epistémic? Sistem forml pr rzonr sore el conocimiento y l creenci Podemos modelr el conocimiento de uno o vrios
Más detallesCapítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional
Capítulo 1: Fundamentos: Lógica y Demostraciones Clase 1: Lógica Proposicional Matemática Discreta - CC3101 Profesor: Pablo Barceló P. Barceló Matemática Discreta - Cap. 1: Fundamentos: Lógica y Demostraciones
Más 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 VI: ACIDOS Y BASES
www.selectividd-cgrnd.com TEMA VI: ACIDOS Y BASES 1.- El ácido clorocético (ClCH COOH) en concentrción 0,01M y 5 C se encuentr disocido en 1%. Clculr: ) L constnte de disocición de dicho ácido. b) El ph
Más detalles2 Números racionales positivos
Progrm Inmersión, Verno 0 Nots escrits por Dr. M Nots del cursos. Bsds en los pronturios de MATE 00 y MATE 0 Clse #: miércoles, de junio de 0. Números rcionles positivos. Consceptos básicos del conjunto
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 detallesTema 07. LÍMITES Y CONTINUIDAD DE FUNCIONES
Tema 07 LÍMITES Y CONTINUIDAD DE FUNCIONES Límite de una función en un punto Vamos a estudiar el comportamiento de las funciones f ( ) g ( ) ENT[ ] h ( ) i ( ) en el punto Para ello, damos a valores próimos
Más detalles1-Comportamiento de una función alrededor de un punto:
Matemática II 7 Modulo Límites continuidad En esta sección desarrollaremos el concepto de límite, una de las nociones fundamentales del cálculo. A partir de este concepto se desarrollan también los conceptos
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 detallesCORTADURAS DE DEDEKIND
CORTDURS DE DEDEKIND En l evolución de est teorí se distinguen tres etps: l primer prece influid por l ide del número rel como un objeto preexistente: cd número rel produce un cortdur; l cortdur define
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 detallesProgramación I: Funciones y módulos
Programación I: Funciones y módulos Esteban De La Fuente Rubio 2 de abril de 23 Índice. Funciones.. Definición y llamado de funciones............................................. 2.2. Parámetros por omisión..................................................
Más detallesGeometría Tridimensional
Capítulo 4 Geometría Tridimensional En dos dimensiones trabajamos en el plano mientras que en tres dimensiones trabajaremos en el espacio, también provisto de un sistema de coordenadas. En el espacio,
Más detallesEcuaciones diferenciales de orden superior
CAPÍTULO 4 Ecuaciones diferenciales de orden superior 4.4.2 ED lineales homogéneas con coeficientes constantes de orden n 3 En la sección anterior hemos obtenido las soluciones de la ED lineal homogénea
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 detallesCongruencias de Grado Superior
Congruencias de Grado Superior Capítulo 3 3.1 Introdución En el capítulo anterior vimos cómo resolver congruencias del tipo ax b mod m donde a, b y m son enteros m > 1, y (a, b) = 1. En este capítulo discutiremos
Más detallesmcd y mcm Máximo Común Divisor y Mínimo Común múltiplo www.math.com.mx José de Jesús Angel Angel jjaa@math.com.mx
mcd y mcm Máximo Común Divisor y Mínimo Común múltiplo www.math.com.mx José de Jesús Angel Angel jjaa@math.com.mx MathCon c 2007-2008 Contenido 1. Divisores de un número entero 2 2. Máximo común divisor
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 detallesClase de apoyo de matemáticas Ángulos Escuela 765 Lago Puelo Provincia de Chubut
Clase de apoyo de matemáticas Ángulos Escuela 765 Lago Puelo Provincia de Chubut Este texto intenta ser un complemento de las clases de apoyo de matemáticas que se están realizando en la escuela 765 de
Más detallesLos números racionales:
El número rel MATEMÁTICAS I 1 1. EL CONJUNTO DE LOS NÚMEROS REALES. LA RECTA REAL 1.1. El conjunto de los números reles. Como y sbes los números nturles surgen de l necesidd de contr, expresr medids, pr
Más detallesPequeña síntesis de conceptos sobre sucesiones y series para la cátedra de Matemática II.
Pequeñ síntesis de conceptos sobre sucesiones y series pr l cátedr de Mtemátic II. Altmirnd Enzo - enzo.lt@gmil.com - V1.0 15 de diciembre de 2010 Este texto fue hecho en L A TEX con los puntes tomdos
Más detallesPrograma para el Mejoramiento de la Enseñanza de la Matemática en ANEP Proyecto: Análisis, Reflexión y Producción. Fracciones
Fracciones. Las fracciones y los números Racionales Las fracciones se utilizan cotidianamente en contextos relacionados con la medida, el reparto o como forma de relacionar dos cantidades. Tenemos entonces
Más detallesCUADERNO DE TRABAJO PARA LA CLASE NÚMEROS REALES
FUNDAMENTOS DEL ÁLGEBRA CUADERNO DE TRABAJO PARA LA CLASE NÚMEROS REALES NOMBRE ID SECCIÓN SALÓN Prof. Evelyn Dávil Tbl de contenido TEMA A. CONJUNTOS NUMÉRICOS... REGLA PARA LA SUMA DE NÚMEROS REALES...
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 detallesLenguajes de consulta
Lengujes de consult Mrt Zorrill Universidd de Cntbri Silberschtz, A., Korth, H.F., Sudrshn, S., Fundmentos de Bses de Dtos, 5ª edición, Mdrid, 006 Lecturs recomendds Básics Cp. y 5. Silberschtz, A., Korth,
Más detallesO(0, 0) verifican que. Por tanto,
Jun Antonio González Mot Proesor de Mtemátics del Colegio Jun XIII Zidín de Grnd SIMETRIA RESPECTO DEL ORIGEN. FUNCIONES IMPARES: Un unción es simétric respecto del origen O, su simétrico respecto de O
Más detallesPrimer octante Segundo octante Tercer octante Cuarto octante P ( X, Y, Z ) P (-X, Y, Z ) P (-X,-Y, Z ) P ( X,-Y, Z )
Cpítulo III. Álgebr vectoril Objetivo: El lumno plicrá el álgebr vectoril en l resolución de problems geométricos. Contenido: 3.1 Sistem crtesino en tres dimensiones. Simetrí de puntos. 3. Cntiddes esclres
Más detallesMATEMÁTICAS para estudiantes de primer curso de facultades y escuelas técnicas
Universidad de Cádiz Departamento de Matemáticas MATEMÁTICAS para estudiantes de primer curso de facultades y escuelas técnicas Tema 4 La recta en el plano Elaborado por la Profesora Doctora María Teresa
Más detallesESTATICA. Componentes ortogonales de una fuerza. Seminario Universitario Física
ESTATICA Es la parte de la física que estudia las fuerzas en equilibrio. Si sobre un cuerpo no actúan fuerzas o actúan varias fuerzas cuya resultante es cero, decimos que el cuerpo está en equilibrio.
Más detallesTema 1.3: Concepto de derivada. Ecuaciones de Cauchy-Riemann. De nición y primeras propiedades de las funciones holomorfas
Tem 1.3: Concepto de derivd. Ecuciones de Cuchy-Riemnn. De nición y primers propieddes de ls funciones holomorfs Fcultd de Ciencis Experimentles, Curso 2008-09 E. de Amo L estructur de cuerpo pr C tiene
Más detallesEl teorema de estructura de módulos finitamente generados sobre un dominio de ideales principales
El teorema de estructura de módulos finitamente generados sobre un dominio de ideales principales Mariano Suárez-Alvarez 7 de octubre, 2015 Sea A un dominio de ideales principales que no es un cuerpo.
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 detallesCuestionario Respuestas
Cuestionrio Respuests Copright 2014, MtemtiTu Derehos reservdos 1) Un ineuión o desiguldd on un vrile (inógnit) es un enunido en que se presentn dos epresiones, l menos un on l vrile entre ells uno de
Más detallesECUACIONES DIFERENCIALES PARCIALES Clasificación, formas y problemas bien planteados. Por Guillermo Hernández García
ECUACIONES DIFERENCIALES PARCIALES Clsificción, forms y problems bien plntedos Por Guillermo Hernández Grcí Clsificción Aquí se estudirán tres tipos de ecuciones diferenciles prciles: Ecuciones elíptics,
Más detallesValores y vectores propios de una matriz. Juan-Miguel Gracia
Juan-Miguel Gracia Índice 1 Valores propios 2 Polinomio característico 3 Independencia lineal 4 Valores propios simples 5 Diagonalización de matrices 2 / 28 B. Valores y vectores propios Definiciones.-
Más detalles3.8 Construcción de una ALU básica
3.8 Construcción de una ALU básica En este punto veremos como por medio de compuertas lógicas y multiplexores, se pueden implementar las operaciones aritméticas básicas de una ALU. Esencialmente en este
Más detallesConjuntos numéricos. Intervalos. Operaciones en el conjunto de números reales.
Fich Técnic Conjuntos numéricos Intervlos Operciones en el conjunto de números reles Índice de tems: Conjuntos numéricos Intervlos Operciones y propieddes Módulo o vlor bsoluto de un número rel Conjuntos
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 detallesTema 9. La Integral de Riemann Construcción de la integral de Riemann.
Tem 9 L Integrl de Riemnn. 9.1. Construcción de l integrl de Riemnn. Definición 9.1.1. Se I = [, b] R un intervlo cerrdo y cotdo (compcto). Se llm prtición de I todo conjunto de puntos P = {x 0, x 1,,
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 detallesTEOREMA 1 (Criterio de la segunda derivada para extremos relativos)
.0. Problems de plicciones de máximos y mínimos En est sección se muestr como usr l primer y segund derivd de un función en l búsqued de vlores extremos en los llmdos: problems de plicciones o problems
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 detallesCriptografía y Seguridad Computacional 2016-01. Clase 5: 30/03/2016. Tenemos el siguiente esquema donde se manda un mensaje con tag t de verificación:
Criptografía y Seguridad Computacional 2016-01 Clase 5: 30/03/2016 Profesor: Fernando Krell Notas: Diego Peña 1. Seguridad en Verificación Tenemos el siguiente esquema donde se manda un mensaje con tag
Más detallesFICHA 1 3/2008. Propiedades Adición (+) Multiplicación (. ) Conmutativa A1 a + b = b + a M1 a.b =b.a
FICHA 1 3/2008 Existe un conjunto de números llmdos reles en el que están definids 2 operciones: Adición (+) y multiplicción (.). Est estructur se indic sí: (R, +,. ) (Axiom de Cuerpo) Sen, b y c reles
Más detallesIntroducción a los sistemas disipativos y prueba del Teorema de pequeña ganancia
Introducción a los sistemas disipativos y prueba del Teorema de pequeña ganancia Gabriel Tucci Scuadroni Profesor: Álvaro Giusto 14 de diciembre de 2002 Control Robusto Ingeniería Electrica Universidad
Más detallesSistemas de Ecuaciones Lineales y Matrices
Sistemas de Ecuaciones Lineales y Matrices Oscar G Ibarra-Manzano, DSc Departamento de Area Básica - Tronco Común DES de Ingenierías Facultad de Ingeniería, Mecánica, Eléctrica y Electrónica Trimestre
Más detallesMATRICES Y DETERMINANTES. ESTUDIO DE LA COMPATIBILIDAD DE SISTEMAS. APLICACIONES
Mtrices. Estudio de l comptibilidd de sistems Abel Mrtín & Mrt Mrtín Sierr MATRICES Y DETERMINANTES. ESTUDIO DE LA COMPATIBILIDAD DE SISTEMAS. APLICACIONES. Actividd propuest Escribe un mtri A de dimensión
Más detallesCurso de Excel Avanzado
Curso de Excel Avanzado J. David Moreno TRABAJANDO CON RANGOS J. David Moreno 1 3 Para programar correctamente en VBA y trabajar con Excel es obligatorio aprender a trabajar con rangos (seleccionar, copiar,
Más detallesTema 8.4: Teorema de Runge. Aproximación de funciones holomorfas por funciones racionales
Tem 8.4: Teorem de Runge. Aproximción de funciones holomorfs por funciones rcionles Fcultd de Ciencis Experimentles, Curso 2008-09 Enrique de Amo, Universidd de Almerí Sbemos que ls funciones holomorfs
Más detallesAutómatas Finitos. Leopoldo Altamirano, Eduardo Morales. Verano, 2011 INAOE. Introducción a. Autómatas. Definición formal de un. Finito Determinístico
los s s s s Leopoldo Altamirano, Eduardo Morales INAOE Verano, 2011 (INAOE) Verano, 2011 1 / 60 Contenido los s s 1 los s 2 3 4 s 5 (INAOE) Verano, 2011 2 / 60 los s los s los s s : Conjunto de estados
Más detallesEJERCICIOS RESUELTOS DE LOS TEOREMAS DEL VALOR MEDIO
MATEMÁTICAS EJERCICIOS RESUELTOS DE LOS TEOREMAS DEL VALOR MEDIO Juan Jesús Pascual TEOREMAS DEL VALOR MEDIO. Es aplicable el teorema de Rolle a la función f( x) = x 5x 6 en [ 0, 5 ]? El teorema de Rolle
Más detallesSistemas de ecuaciones lineales
Sistemas de ecuaciones lineales Índice general 1. Sistemas de ecuaciones lineales 2 2. Método de sustitución 5 3. Método de igualación 9 4. Método de eliminación 13 5. Conclusión 16 1 Sistemas de ecuaciones
Más detallesLa nueva criba de Eratóstenes Efraín Soto Apolinar 1 F.I.M.E. U.A.N.L. San Nicolás, N.L. México. efrain@yalma.fime.uanl.mx
La nueva criba de Eratóstenes Efraín Soto Apolinar 1 F.I.M.E. U.A.N.L. San Nicolás, N.L. México. efrain@yalma.fime.uanl.mx Resumen Se dan algunas definiciones básicas relacionadas con la divisibilidad
Más detalles0.1 Sustituciones trigonométricas.-
Héctor Plm Vlenzuel. Dpto. de Mtemátic UdeC.. Sustituciones trigonométrics.- Cso.- El integrndo contiene un epresión de l form +. Se sugiere l sustitución = tn u d = sec udu de donde Z + = sec u d ( +)
Más detallesTema 1: Fundamentos de lógica, teoría de conjuntos y estructuras algebraicas: Apéndice
Tema 1: Fundamentos de lógica, teoría de conjuntos y estructuras algebraicas: Apéndice 1 Polinomios Dedicaremos este apartado al repaso de los polinomios. Se define R[x] ={a 0 + a 1 x + a 2 x 2 +... +
Más detallesINSTITUTO VALLADOLID PREPARATORIA página 57
INSTITUTO VALLADOLID PREPARATORIA página 57 página 58 RESTA DE FRACCIONES RESTA La resta de fracciones está basada, por ser el inverso de la operación suma, en las mismas reglas y leyes de la suma, es
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 detallesINSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA:
INSTITUCION EDUCATIVA LA PRESENTACION NOMBRE ALUMNA: AREA : MATEMATICAS ASIGNATURA: MATEMATICAS DOCENTE: EDISON MEJÍA MONSALVE. TIPO DE GUIA: CONCEPTUAL - EJERCITACION PERIODO GRADO N FECHA DURACION 8
Más detallesOptimización, Solemne 2. Semestre Otoño 2012 Profesores: Paul Bosch, Rodrigo López, Fernando Paredes, Pablo Rey Tiempo: 110 min.
UNIVERSIDAD DIEGO PORTALES. FACULTAD DE INGENIERIA. ESCUELA DE INGENIERIA INDUSTRIAL. Optimización, Solemne. Semestre Otoño Profesores: Paul Bosch, Rodrigo López, Fernando Paredes, Pablo Rey Tiempo: min.
Más detalles