CS. de la COMPUTACION II 1 VERIFICACION DE PROGRAMAS
|
|
- María del Rosario Robles Vázquez
- hace 6 años
- Vistas:
Transcripción
1 CS. de la COMPUTACION II 1 VERIFICACION DE PROGRAMAS Uo de los efoques para determiar si u programa es correcto es establecer ua actividad de testig. Esta cosiste e seleccioar u cojuto de datos de etrada para determiar si los resultados producidos por el programa co esos datos coicide o o co los valores esperados. Para asegurar que el programa es correcto se debería aalizar el mismo co todos los valores posibles de los datos de etrada. Pero esto es imposible cuado este cojuto es ifiito. Por eso, el testig sólo puede mostrar la presecia de errores y o su ausecia. Otro efoque, la prueba formal de programas, es ua técica que se basa e el cálculo de predicados. Primero, se debe describir el comportamieto de cada istrucció del leguaje formalmete. Es decir, se debe defiir la semática de u leguaje de programació e térmios de fórmulas lógicas. Para probar u programa, se debe expresar su semática e térmios de fórmulas lógicas y luego probar que el programa sigifica lo mismo que su especificació. Ua prueba formal de u programa asegura que el programa es correcto co respecto a ua especificació para todas las etradas. Hay dos problemas importates co la prueba formal de programas: 1) la maipulació lógica puede ser tediosa y propesa a errores; 2) la prueba solamete muestra que el programa implemeta la especificació correctamete. No hay certeza de que la especificació describe lo que el usuario realmete desea. Defiició: Si u programa usa variables (x 1, x 2,..., x ) el estado s es ua tupla de valores (X 1, X 2,..., X ) dode X i es el valor de la variable x i. Ejemplo: Dado el estado s = (x, y) = (7, 8), el resultado de ejecutar la setecia de asigació x := 2*y+1 es el estado s = (x, y) = (17, 8) Ua variable se usa e u programa para describir ua posició de memoria que puede coteer valores diferetes e diferetes estados. Ua maera de describir u cojuto de estados es utilizado fórmulas del cálculo de predicados. Defiició: Sea U el cojuto de todos los posibles estados del programa y sea S U. Se defie P S, el predicado característico de S, tal que S = { s S / P S (s ) }. Es decir, es el predicado que solamete es satisfecho por los estados que perteece al cojuto S. Por ejemplo, e vez de decir que la setecia x:= 2*y+1 trasforma el estado s = (x, y) e el estado s = (2*y+1, y), defiiremos predicados P(x, y) y P (x, y ) tal que si P(x, y) es verdadero e el estado s etoces P (x, y ) será verdadero después de ejecutar la setecia x := 2*y+1. Ejemplo: Se quiere probar x 7 después de ejecutar x := 2*y+1. Esto es verdadero si 2*y+1 7 ates de ejecutar la setecia, es decir y 3. { y 3 } x := 2*y+1 { x 7 } {y 3} y {x 7} se deomia asercioes. Defiició: Ua aserció es ua fórmula del cálculo de predicados ubicada e u programa, que es verdadera cada vez que el programa pasa por ese puto. Defiició: {P} S {Q}, dode P y Q so asercioes llamadas pre-codició y post-codició respectivamete y S es u fragmeto de programa, se iterpreta como sigue: si la ejecució de S empieza e u estado caracterizado por P y S termia, etoces termiará e u estado caracterizado por Q. S se dice parcialmete correcto co respecto a P y Q. Si además se garatiza que S termia, S es totalmete correcto co respecto a P y Q. {P} S {Q} se deomia especificació formal de S.
2 CS. de la COMPUTACION II 2 Ejemplos: Los siguietes so ejemplos de programas especificados e térmios de pre y post codicioes. 1) Dados dos úmeros aturales a y b, b 0, ecotrar el cociete etre a y b. P: { a, b N b > 0} Q: { a = b*c + r 0 r < b c 0 } 2) Dado u arreglo de úmeros eteros, ordearlo e forma ascedete. P: { i: 1 i : (iteger(a[i]) a[i] = A[i]) } A referecia el valor de los elemetos del arreglo a ates de iiciar la ejecució Q: { i: 1 i < : a[i] a[i+1] permutació(a, A)} El predicado permutació(a, A) se defie como: permutació(a, A) = { i: 1 i : (Nj: 1 j : a[i] = a[j]) = (Nk: 1 k : a[i] = A[k])} 3) Ecotrar el valor máximo de u arreglo de úmeros eteros. P: { i: 1 i : (iteger(a[i]) a[i] = A[i]) } A referecia el valor de los elemetos del arreglo a ates de iiciar la ejecució Q: { i: 1 i : (max = a[i] j: 1 j : (a[j] max a[j] = A[j] ))} Volviedo al ejemplo { y 3 } x := 2*y+1 { x 7 }, { y 3 } o es la úica pre-codició que hace verdadera la post-codició después de la ejecució de la setecia de asigació. Otra precodició podría ser { y = 1 y = 3}. Pero esta última es meos iteresate porque o caracteriza todos los estados desde los cuales se puede alcazar u estado caracterizado por la post-codició. Se desea determiar como pre-codicioes aquellas fórmulas que describa tatos estados como sea posible. Esto se hace eligiedo el predicado meos restrictivo posible. Defiició: Ua fórmula A es más débil que ua fórmula B si B A (B es más fuerte que A). Como A es más débil que B, A describe más estados que B. Ua aserció es ua fórmula del cálculo de predicados; como casos especiales se puede distiguir las fórmulas T (true) y F(false). Como T es verdadero e todo estado, es la más débil etre las fórmulas. F es más fuerte que toda fórmula. Por ejemplo, y 3 es más débil que (y = 1 y =3) porque (y = 1 y =3) y 3 Defiició: Para todo fragmeto de programa S y fórmula Q, se defie la pre-codició más débil R = wp(s, Q) tal que {R} S {Q} es verdadero. Es decir, wp(s, Q) represeta todos los estados tal que la ejecució de S que comezó e cualquiera de ellos, si termia, termia e u estado que satisface Q. La otació {P} S {Q} (defiida ateriormete) es otra otació para P wp(s, Q). wp se deomia tambié predicado trasformador, ya que para cualquier fragmeto de programa defie ua trasformació de u predicado post-codició e u predicado pre-codició. Es decir, e vez de describir cómo u programa trasforma u cojuto de estados iiciales e u cojuto de estados fiales, describe cómo u programa trasforma u predicado post-codició, que caracteriza el cojuto de estados fiales, e u predicado pre-codició que caracteriza el cojuto de estados iiciales. Esto sigifica que para probar formalmete u programa se comezará desde la post-codició y se trabajará hacia atrás para verificar cada ua de las setecias idividuales del programa.
3 CS. de la COMPUTACION II 3 Se defie a cotiuació el predicado wp para u leguaje de programació co setecias de asigació, codicioal (if B S 1 else S 2 ) e iteració (while B S). Defiició: wp(x = e, Q) = Q {x/e} e es ua expresió Por ejemplo wp(y = b, y 0} = (y 0) {y/b} = b 0 wp(x = x+1, x = 5) = (x = 5) {x/x+1} = (x+1 = 5) = (x = 4) Defiició: wp(s 1 ; S 2, Q) = wp(s 1, wp(s 2, Q)) Por ejemplo se desea calcular la pre-codició más débil del siguiete fragmeto de programa: x = x+1; y = y+2 {x < y} wp(x = x+1; y = y+2, x < y) = wp(x = x+1, wp(y = y+2, x < y)) = wp(x = x+1, x < y+2) = x < y+1 Esto se puede escribir tambié como sigue { x < y+1 } x = x+1; { x < y+2 } y = y+2 { x < y } Defiició: wp(if B S 1 else S 2, Q) = (B wp(s 1, Q)) ( B wp(s 2, Q)) Ejemplo: Calcular la pre-codició más débil del siguiete fragmeto de programa: if y = 0 x = 0 else x = y 1 { x = y } wp(if y = 0 x = 0 else x = y-1, x = y) = = ( y = 0 wp(x = 0, x = y)) ( (y = 0) wp(x = y-1, x = y)) = ( y = 0 y = 0) (y 0 y-1 = y) = T (y 0 F) = (y 0 F) = ( (y 0) F) = (y 0) = (y = 0) Por lo tato la pre-codició más débil es P: { y = 0 } Defiició: U predicado I se llama ivariate de ua setecia S si wp(s, I) = I Defiició: Para probar la correcció de ua setecia while B S, co post-codició Q se deberá: 1) Calcular el predicado ivariate I.
4 CS. de la COMPUTACION II 4 2) Probar que I B wp(s, I) 3) Probar que I vale ates de iterar 4) Probar que I B Q (Q es la post-codició de la setecia while B S) Ejemplo: Para el siguiete fragmeto de programa y sus pre y post codicioes, probar si es o o correcto co respecto a las especificacioes dadas. pre: { >0} (6) i = 1; (5) suma = 0; (4) while (i <= ) (3) { suma = suma + i; (2) i++; (1) } post: {suma = Σ j } j = 1 El predicado ivariate es I: { 1 i +1 suma = Σ j } (1) = I ( es decir, después de ejecutar i++ es verdadero el predicado ivariate) (2) = (1) {i/i+1} = {1 i+1 +1 suma = Σ j } = {0 i suma = Σ j } i (3) = (2){suma/suma+i} = {0 i suma+i = Σ j } = {0 i suma+i = Σ j + i} (3) = {0 i suma = Σ j } I {i <= } (3) {1 i +1 suma = Σ j } {i <= } (3) i+1-1 {1 i suma = Σ j } {0 i suma = Σ j } i I {i > } post {1 i +1 suma = Σ j } {i > } post
5 CS. de la COMPUTACION II 5 {i = +1 suma = Σ j } { suma = Σ j } {suma = Σ j } { suma = Σ j } (4) = I (5) = (4){suma/0} = { 1 i +1 0 = Σ j } 1-1 (6) = (5){i/1} = { = Σ j } = { 0 0 = 0 } = { 0 } La aserció (6) es la pre-codició más débil del programa. Se debe comprobar además si la pre-codició del programa es más fuerte que la pre-codició más débil del programa, esto es { > 0 } { 0 } Es imediato que se cumple. Por lo tato, se ha probado formalmete que el fragmeto de programa dado es parcialmete correcto. Para probar que es totalmete correcto se debería probar que el programa termia y para probar esto se debería probar que el úico ciclo que tiee el programa termia.
Programación Lógica. Programación Lógica
Programación Lógica Programación imperativa programa es secuencia de instrucciones que una computadora ejecuta para resolver un problema Programación Lógica programa especifica conocimiento (declarativa)
Más detalles1. INTRODUCCIÓN AL CONCEPTO DE LÍMITE
1. INTRODUCCIÓN AL CONCEPTO DE LÍMITE 1. Cocepto de límite 1.1 Defiició de etoro o vecidad: Si a es u úmero real (supógase que a está e el eje X), etoces, u etoro o vecidad de a de radio es u itervalo
Más detallesConstrucción de los números reales.
B Costrucció de los úmeros reales. E el cojuto C de las sucesioes de Cauchy de úmeros racioales defiimos la relació siguiete: si (x ) =1 e (y ) =1 so dos sucesioes de C etoces (x ) =1 (y ) =1, si lím (x
Más detallesMatemáticas Discretas Inducción y Recursión
Coordiació de Ciecias Computacioales - INAOE Matemáticas Discretas Iducció y Recursió Cursos Propedéuticos 00 Ciecias Computacioales INAOE Iducció y recursió Geeralidades Iducció de úmeros aturales Iducció
Más detallesSeries alternadas Introducción
Sesió 26 Series alteradas Temas Series alteradas. Covergecia absoluta y codicioal. Capacidades Coocer y aplicar el criterio para estudiar series alteradas. Coocer y aplicar el teorema de la covergecia
Más detallesDEFINICIÓN DE PRODUCTO CARTESIANO:
Fucioes DEFINICIÓN DE PRODUCTO CARTESIANO: Dados dos cojutos A y B, llamaremos producto cartesiao de A por B (lo aotaremos A B) al cojuto formado por todos los pares ordeados que tiee como primera compoete
Más detallesTEMA 2: Potencias y raíces. Tema 2: Potencias y raíces 1
TEMA : Potecias y raíces Tema : Potecias y raíces ESQUEMA DE LA UNIDAD.- Cocepto de potecia..- Potecias de expoete atural..- Potecias de expoete etero egativo..- Operacioes co potecias..- Notació cietífica...-
Más detallesSucesiones de números reales Sucesiones convergentes: límite de una sucesión
Sucesioes de úmeros reales Sucesioes covergetes: límite de ua sucesió Tato e la educació secudaria obligatoria como e el bachillerato se habla poco de las sucesioes de úmeros reales. Si acaso se dedica
Más detallesMarco Teórico n = i = 2. Deducción: Si la serie se suma dos veces de la siguiente forma:
Uiversidad de Sa Carlos de Guatemala Teoría de Cojutos Estudiate: Roald Oliverio Chubay Gallia -6 de mayo 0- Marco Teórico Para el presete texto se deduce alguas expresioes y luego se demuestra, para otras
Más detallesCombinatoria. Tema Principios básicos de recuento
Tema 4 Combiatoria La combiatoria, el estudio de las posibles distribucioes de objetos, es ua parte importate de la matemática discreta, que ya era estudiada e el siglo XVII, época e la que se platearo
Más detallesCoeficientes binomiales
Coeficietes biomiales (Ejercicios Objetivos Defiir coeficietes biomiales y estudiar sus propiedades pricipales Coocer su aplicació e la fórmula para las potecias del biomio y su setido combiatorio (si
Más detallesDepartamento de Matemáticas
MA5 Clase 5: Series de potecias. Operacioes co series de potecias. Series de potecias Elaborado por los profesores Edgar Cabello y Marcos Gozález Cuado estudiamos las series geométricas, demostramos la
Más detallesCapítulo III Teoría de grupos
Capítulo III Teoría de grupos Tema 1. Leyes de composició iteras. 1.1 Leyes de composició iteras. Dado u cojuto A, se defie como Ley de composició itera defiida e A a toda aplicació, A A A ( x, y) x y
Más detallesSucesiones I Introducción
Temas Qué es ua sucesió? Notacioes y coceptos relacioados. Maeras de presetar ua sucesió. Gráfico de sucesioes. Capacidades Coocer y compreder el cocepto de sucesió. Coocer y maejar las diferetes maeras
Más detallesFUNDAMENTOS MATEMÁTICOS DE LA INGENIERÍA. Práctica nº 3: Sucesiones y series numéricas.
INGENIERÍA TÉCNICA INDUSTRIAL - ESP. ELECTRÓNICA INDUSTRIAL CURSO 2003-2004 FUNDAMENTOS MATEMÁTICOS DE LA INGENIERÍA Práctica º 3: Sucesioes y series uméricas. Abordamos e esta práctica el tratamieto co
Más detallesa n = Ejemplo: Representa las gráficas de las funciones f(x) = 1/x, g(x) = x 2 y h(x) =
TEMA 9: LÍMITE Y CONTINUIDAD DE UNA FUNCIÓN. 9. Cocepto de límite lateral. Límite. 9. Operacioes co fucioes covergetes. 9.3 Cálculo de límites. 9.4 Cotiuidad de ua fució. 9.5 Asítotas: Verticales, horizotales
Más detallesFUNCIÓN SUMA DE LAS CIFRAS DE UN NÚMERO NATURAL UNIVERSIDAD NACIONAL ABIERTA CENTRO LOCAL ARAGUA. Trino G. Vivas Méndez RESUMEN
FUNCIÓN SUMA DE LAS CIFRAS DE UN NÚMERO NATURAL UNIVERSIDAD NACIONAL ABIERTA CENTRO LOCAL ARAGUA RESUMEN El siguiete trabajo trata sobre el estudio de la fució suma de las cifras de u úmero atural, la
Más detallesuna sucesión de funciones de A. Formemos una nueva sucesión de funciones {S n } n=1 de A de la forma siguiente:
Tema 8 Series de fucioes Defiició 81 Sea {f } ua sucesió de fucioes de A Formemos ua ueva sucesió de fucioes {S } de A de la forma siguiete: S (x) = f 1 (x) + f 2 (x) + + f (x) = f k (x) Al par de sucesioes
Más detallesM arcelo, de vez en vez, usa una reata de 10 m de largo y 2 cm de grueso para
GEOMETRÍA, TRIGONOMETRÍA Y SERIES Tema 4 Series uméricas M arcelo, de vez e vez, usa ua reata de 10 m de largo y cm de grueso para medir el cotoro de los terreos que fumiga. Para que la reata que usa o
Más detallesSeries de potencias Introducción. Temas Series de potencias. Intervalo y radio de convergencia de una serie de potencias.
Sesió 27 Series de potecias Temas Series de potecias. Itervalo y radio de covergecia de ua serie de potecias. Capacidades Coocer y compreder el cocepto de serie de potecias. Determiar el itervalo y el
Más detallesSucesiones. Liceo Nº 35 - IAVA
Liceo Nº 35 - IAVA Como ya lo hemos hablado e clase, este material NO sutituye el estudio e los libros recomedados NI es el teórico del curso, simplemete es u ordeamieto de alguos coceptos y teoremas que
Más detallesANALISIS CONVEXO CAPITULO CONVEXIDAD
CAPITULO 2 ANALISIS CONVEXO 2.1 CONVEXIDAD Bajo este título geérico, se itroduce e esta secció las ocioes de cojuto covexo, fució cócava y fució covexa. Coceptos todos ellos que juega u destacado papel
Más detallesMATEMÁTICA LIC. Y PROF. EN CS. BIOLÓGICAS
Defiició de límite de ua fució (segú Heie) Sea f : D R ua fució y a R (D R) Diremos que se cumple que f() L R a f( ) L si para cualquier sucesió { } D { a} tal que a Ejemplos: ) Probar que Demostració:
Más detallesAlgoritmos y Estructuras de Datos II, Segundo del Grado de Ingeniería Informática, Test de Análisis de Algoritmos, marzo Test jueves.
Algoritmos y Estructuras de Datos II, Segudo del Grado de Igeiería Iformática, Test de Aálisis de Algoritmos, marzo 017. Test jueves. Para cada problema habrá que justificar razoadamete la respuesta que
Más detallesCAPITULO 0 CONCEPTOS BASICOS DE ALGEBRA Y PROGRAMACION LINEAL Algebra lineal Notación básica.
5 CAPIULO 0 CONCEPOS BASICOS DE ALGEBRA Y PROGRAMACION LINEAL Este capítulo proporcioa u pequeño resume acerca de coceptos básicos de álgebra y programació lieal que resulta fudametales para el bue etedimieto
Más detallesR. Urbán Introducción a los métodos cuantitativos. Notas de clase Sucesiones y series.
R. Urbá Itroducció a los métodos cuatitativos. Notas de clase Sucesioes y series. SUCESIONES. Ua sucesió es u cojuto umerable de elemetos, dispuestos e u orde defiido y que guarda ua determiada ley de
Más detallesMedidas de Tendencia Central
1 Medidas de Tedecia Cetral La Media La media (o promedio) de ua muestra x 1, x,, x de tamaño de ua variable o característica x, se defie como la suma de todos los valores observados e la muestra, dividida
Más detallesCUADRATURA GAUSSIANA
CUADRATURA GAUSSIANA Este método de basa e muestrear el itegrado de la fució cuya itegral se desea ecotrar, a valores que represeta raíces de poliomios ortogoales Los más populares de éstos so los poliomios
Más detallesSUCESIONES Y SERIES Una sucesión es un conjunto de números ordenados bajo cierta regla específica. 7, 10, 13, 16, 19, 22, 25,...
SUCESIONES Y SERIES. Ua sucesió es u cojuto de úmeros ordeados bajo cierta regla específica. E muchos problemas cotidiaos se preseta sucesioes, como por ejemplo los días del mes, ya que se trata del cojuto
Más detallesSemana 10 [1/24] Sucesiones (II) 2 de mayo de Sucesiones (II)
Semaa 0 [/24] 2 de mayo de 2007 Sadwich de sucesioes Semaa 0 [2/24] Límites y Orde. Teorema Sea u ) y w ) sucesioes covergetes a u y w, respectivamete. Si 0 tal que para 0 se cumple que etoces u w. u w
Más detalles4. Sucesiones de números reales
4. Sucesioes de úmeros reales Aálisis de Variable Real 2014 2015 Ídice 1. Sucesioes y límites. Coceptos básicos 2 1.1. Defiició de sucesió... 2 1.2. Sucesioes covergetes... 2 1.3. Sucesioes acotadas...
Más detallesSeries infinitas de números reales. Series convergentes
Series ifiitas de úmeros reales. Series covergetes Series ifiitas de úmeros reales. Series covergetes Las sucesioes de úmeros reales se itrodujero co la iteció de poder cosiderar posteriormete sus sumas
Más detallesSistemas de Ecuaciones Lineales. M. en I. Gerardo Avilés Rosas
Sistemas de Ecuacioes Lieales M. e I. Gerardo Avilés Rosas Octubre de 206 Tema 5 Sistemas de Ecuacioes Lieales Objetivo: El alumo formulará, como modelo matemático de problemas, sistemas de ecuacioes lieales
Más detallesUNEFA C.I.N.U. Matemáticas
RADICACIÓN: DEFINICIÓN Y PROPIEDADES Ates de etrar e el tema Radicació, vamos a comezar por recordar u poco sore Poteciació: Saemos que e lugar de escriir, utilizamos la otació: de Poteciació, dode el
Más detallesMEDIDAS DE TENDENCIA CENTRAL. _ xi
EDIDAS DE TENDENCIA CENTRAL. EDIA ARITÉTICA. Es la medida más coocida y tambié es llamada promedio se obtiee sumado todos los valores de la muestra o població, dividida etre el total de elemetos que cotiee
Más detallesCapítulo VARIABLES ALEATORIAS
Capítulo VI VARIALES ALEATORIAS. Itroducció Detro de la estadística se puede cosiderar dos ramas perfectamete difereciadas por sus objetivos y por los métodos que utiliza: Estadística Descriptiva o Deductiva
Más detalles4 ALGEBRA DE BOOLE. 4.1 Introducción. 4.2 Axiomas. (a) a + b = b + a (b) a b = b a. (a) a + (b c) = (a + b) (a + c) (b) a (b + c) = a.
Arquitectura del Computador 4 ALGEBRA DE BOOLE 4. Itroducció. El álgebra de Boole es ua herramieta de fudametal importacia e el mudo de la computació. Las propiedades que se verifica e ella sirve de base
Más detallesNotas de Teórico. Sistemas de Numeración
Departameto de Arquitectura Istituto de Computació Uiversidad de la República Motevideo - Uruguay Sistemas de umeració Arquitectura de Computadoras (Versió 4.3b - 6) SISTEMAS DE UMERACIÓ. Itroducció E
Más detallesT ema 6 DISTRIBUCIONES DISCRETAS DE PROBABILIDAD. x 1. x 2 = 1 = 2. x 3 = 3. x 4. Variable aleatoria: definición y tipos:
T ema 6 DISTRIBUCIONES DISCRETAS DE PROBABILIDAD Variable aleatoria: defiició y tipos: Ua variable aleatoria es ua fució que asiga u úmero real, y sólo uo, a cada uo de los resultados de u eperimeto aleatorio.
Más detallesDeterminantes. Ramón Espinoza Armenta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO
Determiates Ramó Espioza Armeta AVC APOYO VIRTUAL PARA EL CONOCIMIENTO Sea A M ( K), dode 2. El i-ésimo meor de A es la matriz A i, obteida a partir de A elimiado el regló i y la columa. Eemplo. Sea 3
Más detallesConvolución. Dr. Luis Javier Morales Mendoza. Procesamiento Digital de Señales Departamento de Maestría DICIS - UG
Covolució Dr. Luis Javier Morales Medoza Procesamieto Digital de Señales Departameto de Maestría DICIS - UG Ídice.. Itroducció... Aálisis de Sistemas Discretos Lieales e Ivariates e el Tiempo.... Técicas
Más detallesIES IGNACIO ALDECOA 1 AMPLIACIÓN DE MATEMÁTICAS 4º ESO CURSO 10/11
IES IGNACIO ALDECOA AMPLIACIÓN DE MATEMÁTICAS º ESO CURSO 0/ TEMA : SUCESIONES DE NÚMEROS REALES Se llama sucesió a u cojuto de úmeros dispuestos uo a cotiuació de otro. Podemos cosiderar ua sucesió como
Más detallesUNIDAD 9. PROBABILIDAD Matemáticas II. Ies do Barral.Curso 2017/ Experimentos aleatorios
1. Experimetos aleatorios U experimeto se llama aleatorio cuado o se puede predecir su resultado; además, si se repitiese el mismo experimeto e codicioes aálogas, los resultados puede diferir. a) El resultado
Más detallesAMPLIACIÓN DE MATEMÁTICAS 4º ESO CURSO 1 /1
AMPLIACIÓN DE MATEMÁTICAS º ESO CURSO / TEMA : SUCESIONES DE NÚMEROS REALES Se llama sucesió a u cojuto de úmeros dispuestos uo a cotiuació de otro. Podemos cosiderar ua sucesió como ua fució que asiga
Más detallesSeries de funciones en C z n z. f n (z) converge puntualmente en D C, entonces
Series de fucioes e C. Defiició. Sea f : D C;, ua sucesió de fucioes. Sea S : D C la sucesió defiida por S (z) = f (z). La serie f (z) se dice covergete e z D si la sucesió {S (z)} es k= covergete e z
Más detallesFUNCIONES. ( a) IGUALDAD DE FUNCIONES Sí y son dos funciones, diremos que las funciones f y
CALCULO P.C.I. PRIMER SEMESTRE 04 FUNCIONES Sí A y B so dos cojutos o vacío, ua fució de A e B asiga a cada elemeto a perteeciete al cojuto A u úico elemeto b de B que deomiamos image de a. Además diremos
Más detallesTEORÍA DE CÁLCULO I. Para Grados en Ingeniería. Capítulo 3: Sucesiones y series. Domingo Pestana Galván José Manuel Rodríguez García
TEORÍA DE CÁLCULO I Para Grados e Igeiería Capítulo 3: Sucesioes y series Domigo Pestaa Galvá José Mauel Rodríguez García Figuras realizadas co Arturo de Pablo Martíez TEMA 3. Sucesioes y series 3. Sucesioes
Más detallesEstimadores Puntuales: Propiedades de estimadores Sebastián Court
Estadística Estimadores Putuales: Propiedades de estimadores Sebastiá Court 1.Motivació Cosideremos ua variable aleatoria X co ciertas características, como por ejemplo, u parámetro θ, y ua muestra aleatoria
Más detalles1.3 Introducción a la combinatoria
.3 Itroducció a la combiatoria Aprederemos e esta secció técicas básicas para cotar, aplicadas a diferetes aspectos: Cotar los elemetos de u cojuto, como por ejemplo los elemetos de A B o los de A B, co
Más detalles3. Notación asintótica TEMA 1: EFICIENCIA DE LOS ALGORITMOS. 3. Notación asintótica. 3. Notación asintótica. 3. Notación asintótica
TEMA 1: EFICIENCIA DE LOS ALGORITMOS 0. Notació 1. Medida de la complejidad 2. Aálisis por casos El factor que más iteresa de las fucioes de coste es la tasa de crecimieto para valores grades de la talla
Más detalles1. a) Mostrar que los siguientes conjuntos están acotados. x b) Mostrar que los siguientes conjuntos no están acotados superiormente
FACULTAD DE CIENCIAS EXACTAS Y NATURALES UNIVERSIDAD DE BUENOS AIRES COMPLEMENTOS DE ANÁLISIS MAESTRíA EN ESTADíSTICA MATEMÁTICA SEGUNDO CUATRIMESTRE 2007 PRÁCTICA 3 1. a) Mostrar que los siguietes cojutos
Más detallesMATEMATICAS ESPECIALES I PRACTICA 1 Conjuntos en C - Topología en C - Sucesiones de números complejos
MATEMATICAS ESPECIALES I - 07 PRACTICA Cojutos e C - Topología e C - Sucesioes de úmeros complejos. Represetar e el plao complejo la familia de curvas defiidas por: a) Re( z ) = c b) Re(z ) = c c) Im(z)
Más detallesPauta de Corrección Primer Certamen Fundamentos de Informática II
Pauta de Correcció Primer Certame Fudametos de Iformática II 11 de octubre de 2008 1. Defia fucioes geeratrices que ayude a resolver las recurrecias siguietes para 0, y platee las ecuacioes del caso para
Más detallesCLAVES DE CORRECCIÓN GUÍA DE EJERCITACIÓN FACTORES Y PRODUCTOS PREGUNTA ALTERNATIVA Nivel
x Estimado alumo: Aquí ecotrarás las claves de correcció, las habilidades y los procedimietos de resolució asociados a cada preguta, o obstate, para reforzar tu apredizaje es fudametal que asistas a la
Más detallesAxioma 1 (Principio de inducción matemática) Sea S N con la propiedad que: a) 1 S. b) k R, k S k + 1 S. Entonces S = N.
Iducció matemática A meudo deseamos probar proposicioes de la forma N, p. Por ejemplo: 1 N, 1 + + 3 + + 1 + 1. N, + 4. 3 N, par implica par. Proposicioes y 3 se puede probar usado la técica de variable
Más detallesLAS SERIES GEOMÉTRICAS Y SU TENDENCIA AL INFINITO
LA ERIE GEOMÉTRICA Y U TENDENCIA AL INFINITO ugerecias al Profesor: Al igual que las sucesioes, las series geométricas se itroduce como objetos matemáticos que permite modelar y resolver problemas que
Más detallesSucesiones. f : {1,2,...,r} S. Por ejemplo, la sucesión finita, (de longitud 4) de números primos menores que 10: 2,3,5,7
Sucesioes. Defiició Sucesió Matemática Ua sucesió fiita (a k ) (de logitud r) co elemetos perteecietes a u cojuto S, se defie como ua fució y e este caso el elemeto a k correspode a f(k). f : {,,...,r}
Más detallesSucesiones de números reales
Sucesioes de úmeros reales Sucesioes Ejercicio. Prueba que si x
Más detallesCriterios de Convergencia
Semaa - Clase 3 7/09/08 Tema : Series. Itroducció Criterios de Covergecia Sólo podremos calcular la suma de alguas series, e la mayoría os será imposible y os tedremos que coformar co saber si coverge
Más detallesCurso: 3 E.M. ALGEBRA 8
Colegio SSCC Cocepció - Depto. de Matemáticas Uidad de Apredizaje: POLINOMIOS Capacidades/Destreza/Habilidad: Racioamieto Matemático/ Aplicació / Calcular, Resolver Valores/ Actitudes: Respeto, Solidaridad,
Más detallesEcuaciones en Diferencias Recíprocas y Semirrecíprocas
Ecuacioes e Diferecias Recíprocas y Gustavo Adolfo Juárez; Silvia Iés Navarro Facultad de Ciecias Exactas y Naturales, Uiversidad Nacioal de Catamarca. E-mail: juarez.catamarca@gmail.com Recepció: 20/05/2014
Más detallesMODULO SOBRE PROGRAMACION MATLAB
7 MODULO SOBRE PROGRAMACION MATLAB Fracisco Muñoz Paba MSc. 7 VARIABLES CON SUBINDICES Y ARREGLOS OBJETIVOS Al termiar este módulo el estudiate estará e codicioes de: Crear maualmete u arreglo o matriz
Más detallesCálculo de ceros de funciones
Cálculo de ceros de fucioes El objetivo de la presete secció es el de resolver la ecuació f(x) = 0, siedo f ua fució cotiua, co ua precisió prefijada. Geeralmete esta precisió se medirá por medio del error
Más detallesRELACIONES DE RECURRENCIA
Uidad 3 RELACIONES DE RECURRENCIA 60 Capítulo 5 RECURSIÓN Objetivo geeral Coocer e forma itroductoria los coceptos propios de la recurrecia e relació co matemática discreta. Objetivos específicos Coocer
Más detallesLímite y Continuidad de Funciones.
Límite Cotiuidad de Fucioes. Eleazar José García. eleagarcia9@hotmail.com. Límite de ua fució.. Defiició de límite de ua fució.. Ifiitésimo.. Ifiitésimos equivalete.. Límite por la izquierda.. Límite por
Más detallesÁlgebra I Práctica 4 - Números enteros (Parte 1)
Divisibilidad y úmeros primos Álgebra I Práctica 4 - Números eteros (Parte 1) 1. Decidir cuáles de las siguietes afirmacioes so verdaderas a, b, c Z: i) a b c a c y b c, ii) 4 a 2 2 a, iii) 2 a b 2 a ó
Más detallesNo negatividad. Definición positiva. Propiedad multiplicativa. Desigualdad triangular. Identidad de indiscernibles. Desigualdad triangular
Repaso: Propiedades fudametales del Valor absoluto: x 0 x = 0 x = 0 xy = x y x + y x + y x = x x y = 0 x = y x y x z + z y x y x y No egatividad Defiició positiva Propiedad multiplicativa Desigualdad triagular
Más detallesUna sucesión es un conjunto infinito de números ordenados de tal forma que se puede decir cuál es el primero, cuál el segundo, el tercero, etc.
Sucesioes Sucesi o. Ua sucesió es u cojuto ifiito de úmeros ordeados de tal forma que se puede decir cuál es el primero, cuál el segudo, el tercero, etc. Los térmios de ua sucesió se desiga mediate a 1,
Más detallesSeries de potencias. Desarrollos en serie de Taylor
Capítulo 9 Series de potecias. Desarrollos e serie de Taylor E la represetació (e icluso e la costrucció) de fucioes, desempeña u papel especialmete destacado cierto tipo de series, deomiadas series de
Más detallesRepresentaciones irreducibles y carácter de una representación: * = corresponde al elemento i,k de la matriz asociada a la
epresetacioes irucibles y carácter de ua represetació: Gra teorema de la ortooalidad (GTO): Sea y dos represetacioes irucibles de dimesioes, : ik ( ) jl ( ) = ( ) ij kl dode ik () correspode al elemeto
Más detallesSolución del Examen Extraordinario de Algebra y Matemática Discreta, Primer Curso, Facultad de Informática
Solució del Exame Extraordiario de Algebra y Matemática Discreta, 0-09-2008. Primer Curso, Facultad de Iformática Putuació Máxima Posible: 20 putos Ejercicio Primero (Grafos, etc). a) ( puto) Defia Grafo
Más detallesCriterios de Convergencia
Semaa - Clase 3 0/0/0 Tema : Series Criterios de Covergecia La preguta que os plateamos es la siguite: Si hacemos que N etoces la suma N k= a k, tiee u límite? Existe alguas formas de averiguarlo, a pesar
Más detallesUniversidad Antonio Nariño Matemáticas Especiales
Uiversidad Atoio Nariño Matemáticas Especiales Guía N 1: Números Complejos Grupo de Matemáticas Especiales Resume Se preseta el cojuto de los úmeros complejos juto co sus operacioes y estructuras relacioadas.
Más detallesNo obstante, cuando intentamos hacer lo mismo con los números racionales y reales vemos que. con como lo hicimos con. es diferente de los conjuntos
Departameto de Matemáticas Guía Iducció Matemática Objetivos: Eteder el pricipio del bue orde Realizar demostracioes matemáticas por medio del pricipio de iducció matemática El pricipio del bue orde: iducció
Más detallesEje I: Números y Operaciones
Colegio Provicial de Educació Secudaria Nº Gregorio Álvarez Maestro Patagóico C I C L O Eje I: Números y Operacioes L E C T I V O 0 1 8 ALUMNO: PROFESORA: MARÍA ELISA PALMAS Eje I: Números y Operacioes
Más detallesvalor absoluto de sus términos, se tiene la serie: que si es convergente, entonces también es convergente la serie alternada.
(Aputes e revisió para orietar el apredizaje) CONVERGENCIA ABSOLUTA TEOREMA. Si e la serie alterada ( ) valor absoluto de sus térmios, se tiee la serie: a + a + + a + a se toma el = que si es covergete,
Más detallesSOLUCIONARIO II Parcial Cálculo Proyecto MATEM UNIVERSIDAD DE COSTA RICA Miércoles 10 de agosto del Solucionario
SOLUCIONARIO II Parcial Cálculo Proyecto MATEM UNIVERSIDAD DE COSTA RICA Miércoles de agosto del ESCUELA DE MATEMÁTICA Segudo Eame Parcial Cálculo I PROYECTO MATEM Tiempo Probable: horas Solucioario. Use
Más detallesINFERENCIA ESTADÍSTICA CONCEPTOS BÁSICOS
INFERENCIA ESTADÍSTICA CONCEPTOS BÁSICOS Població E el cotexto de la estadística, ua població es el cojuto de todos los valores que puede tomar ua característica medible e particular, de u cojuto correspodiete
Más detallesGUIA DE ESTUDIO Nro 1
MATERIA: MATEMÁTICA I CURSO: I AÑO EJE ESTRUCTURAL I: CONCEPTOS FUNDAMENTALES DEL ALGEBRA GRUPOS CONCEPTUALES: - Epresioes algebraicas. Poliomios. - Ecuacioes. Iecuacioes. TEMARIO: GUIA DE ESTUDIO Nro
Más detallesTrabajo Práctico N 10 Recursividad
Primer Cuatrimestre 0 Trabajo Práctico N 0 Recursividad Ejercicio. Implemete e Pascal las siguietes defiicioes recursivas. a) h ( N) h( N ) h( N ), N, N 0 0 b) 0 g (, y) 0 g(, y ), 0, y 0, 0 y 0 c) f (
Más detallesGuía 1 Matemática: Estadística NM 4
Cetro Educacioal Sa Carlos de Aragó. Sector: Matemática. Prof.: Ximea Gallegos H. 1 Guía 1 Matemática: Estadística NM 4 Nombre: Curso: Fecha. Uidad: Estadística y Probabilidades. Apredizajes Esperados:
Más detallesEspacio Vectorial Definición: Sea V un conjunto donde hemos definido una ley u operación interna, que
Sea V u cojuto dode hemos defiido ua ley u operació itera, que desigaremos por + V V. Sea K u cuerpo (comutativo) y sea, por último, ua operació extera que desigaremos por K V V. Diremos que (V,+, ) tiee
Más detallesTema 4 Sucesiones numéricas
Tema 4 Sucesioes uméricas Objetivos 1. Defiir sucesioes co wxmaxima. 2. Calcular elemetos de ua sucesió. 3. Realizar operacioes co sucesioes. 4. Iterpretar la defiició de límite de ua sucesió. 5. Calcular
Más detallesSlide 1. Slide 2. Slide 3. Universidad Diego Portales Facultad de Economía y Negocios. Capítulo 4 Introducción a la Probabilidad.
Slide 1 Uiversidad Diego Portales Facultad de Ecoomía y Negocios Martes 13 de Abril, 2010 Slide 1 Slide 2 Capítulo 4 Itroducció a la Probabilidad Temas Pricipales: Experimetos, Reglas de Coteo, y Asigació
Más detallesLaboratorio N 10, Series de Fourier. Introducción. Para funciones ( ) cos. f x está definida en la mitad del intervalo
Uiversidad Diego Portales Facultad de Igeiería Istituto de Ciecias Básicas Asigatura: Ecuacioes Difereciales aboratorio N 1, Series de Fourier Itroducció Para fucioes x,, la serie de Fourier f x cotiuas
Más detalles1.1. SERIES NUMÉRICAS Y FUNCIONALES.
.. SERIES NUMÉRICAS Y FUNCIONALES. Dado el cojuto de los úmeros reales, ua sucesió de úmeros reales es ua aplicació de la forma: + a : Z verificado que a () = a, (2),, ( ), a = a 2 a = a. Usualmete e lugar
Más detallesLOS NÚMEROS COMPLEJOS
º BCT DPTO DE MATEMÁTICAS T4: NÚMEROS COMPLEJOS - LOS NÚMEROS COMPLEJOS.- INTRODUCCIÓN: LAS ECUACIONES DE º GRADO CON SOLUCIONES IMPOSIBLES Desde el siglo XVI al XVIII llamaro la ateció, por la forma de
Más detallesNúmeros naturales, enteros y racionales
Tema 2 Números aturales, eteros y racioales Estudiamos e este tema los úmeros reales que podemos ver como los más secillos e ituitivos. Empezamos detectado detro de R a los úmeros aturales, a partir de
Más detallesSeries Numéricas. Una forma de definir e es a través de la suma: 1. 1 0! + 1 1! + 1 2! + 1 3! + 1 4! + + 1 n. cuyo límite es e, es decir:
Capítulo Series Numéricas Las series uméricas so sucesioes muy particulares ya que se defie (o se geera) a partir de otra sucesió. Dos ejemplos secillos aparece e la defiició de e y el la Paradoja de Zeó.
Más detalles3. Las medidas de centralización
FUOC XP00/71004/00017 21 Las medidas de cetralizació 3. Las medidas de cetralizació La mediaa y la media aritmética Los diagramas de tallos y hojas y los histogramas proporcioa ua descripció geeral de
Más detallesPráctica 3 Sucesiones y series
Práctica 3 Sucesioes y series El programa Mathematica os sirve de ayuda para estudiar el comportamieto de sucesioes y series de úmeros reales, mediate las istruccioes Limit y Sum que os permitirá, e la
Más detallesÁlgebra I Práctica 2 - Números Naturales e Inducción
FCEyN - UBA - Verao 07 Sumatoria Álgebra I Práctica - Números Naturales e Iducció. Reescribir cada ua de las siguietes sumas usado el símbolo de sumatoria: (a) + + 3 + 4 +... + 00 (b) + + 4 + 8 + 6 +...
Más detallesTeoremas de convergencia. Integral sobre... Convergencia... Convergencia...
covergecia este capítulo teemos como objetivo demostrar las propiedades más importates de la Itegral de Lebesgue. teemos que demostrar todavía las propiedades fudametales de liealidad y aditividad respecto
Más detalles6. SUCESIONES Y SERIES NUMÉRICAS 6.1. SUCESIONES NUMÉRICAS
Águeda Mata y Miguel Reyes, Dpto. de Matemática Aplicada, FI-UPM. 6. SUCESIONES Y SERIES NUMÉRICAS 6... Sucesioes de úmeros reales 6.. SUCESIONES NUMÉRICAS Se llama sucesió de úmeros reales a cualquier
Más detallesEjercicios de preparación para olimpiadas. Funciones
Ejercicios de preparació para olimpiadas. Fucioes 5 de diciembre de 04. Fucioes covexas Comezamos estas otas hablado de fucioes covexas. Auque la covexidad de ua fució se puede estudiar por técicas de
Más detallesCAPÍTULO XIV. SERIES NUMÉRICAS ARBITRARIAS
CAPÍTULO XIV. SERIES NUMÉRICAS ARBITRARIAS SECCIONES A. Series de térmios de sigo variable. B. Series depedietes de parámetros. C. Ejercicios propuestos. 193 A. SERIES DE TÉRMINOS DE SIGNO VARIABLE. E
Más detallesPRÁCTICA DE ALGORÍTMICA ENUNCIADO B
PRÁCTICA DE ALGORÍTMICA ENUNCIADO B El problema. Supogamos que lo úico que se cooce respecto de u algoritmo so sus tiempos de ejecució e fució del úmero de datos que procesa. Dicha iformació podría ser
Más detallesProbabilidad FENÓMENOS ALEATORIOS
Probabilidad FENÓMENOS ALEATORIOS E el mudo real hay feómeos regidos por leyes de tipo empírico (basadas e la experiecia), lógico o deductivo, e los que el efecto está determiado por ciertas causas. El
Más detallesTarea 1 y 2. Problema 1. Calcula el supremo y el ínfimo de los siguientes conjuntos.
Cálculo Tarea y Problema. Calcula el supremo y el ífimo de los siguietes cojutos. a) A = {x : 0 x }. Es imediato que sup A = e íf A = 0. b) A = {x : 0 < x < }. Es imediato que sup A = e íf A = 0. c) A
Más detalles