Numeração de funções computáveis. Nota
|
|
- Airton Francisco de Sousa
- 5 Há anos
- Visualizações:
Transcrição
1 Numeração de fuções computáveis 4.1 Nota Os presetes acetatos foram baseados quase a sua totalidade os acetatos realizados pela Professora Teresa Galvão da Uiversidade de Porto para a cadeira Teoria da Computação I, a cargo do Professor João Falcão e Cuha. Agradecemos-lhes pela permissão para utilizar o material
2 4. Numeração de fuções computáveis 4.2 Numeração de fuções computáveis 4.3 O método da diagoal 4.4 O Teorema s-m- 4.3 Defiições Um cojuto X é eumerável se existe uma bijecção f : X N. Uma eumeração de um cojuto X é uma sobrejecção g: N X ; é represetada por X = {x 0, x 1, x 2, }, ode x = g(). Se g é ijectiva, a eumeração ão tem repetições. Seja X um cojuto de objectos fiitos (por ex: cojuto de iteiros, istruções, programas). X é efectivamete eumerável se existe uma bijecção f: X N tal que f e f -1 são fuções efectivamete computáveis. Um cojuto é eumerável se e só se pode ser eumerado sem repetições 4.4 2
3 Teorema Os seguites cojutos são efectivamete eumeráveis: (a) N x N; (b) N + x N + x N + ; (c) U k>0 N k, o cojuto de todas as sequêcias fiitas de úmeros aturais. Notação útil: p x desiga o x-ésimo umero primo. (Por coveção, p 0 = 0, logo, p 1 = 2, p 2 = 3, etc) ( x) y = o expoete de p y a factorizaçao em umeros primos de x, para x, y > 0 0, se x = 0 ou y = Prova: (a) N x N é efectivamete umerável (?) Uma bijecção π : N N N é defiida por: π (m,) =2 m ( 2 + 1) 1 π é uma fução efectivamete computável. π -1 é efectivamete computável, pois : -1 π (x) = ( π 1( x), π 2 ( x)) e π 1 e π 2 são fuções computáveis. π 1 ( x ) = (x+1) 1 π 2 ( x ) = 1 x+1 2 π ( x )
4 (b) N + x N + x N + é efectivamete eumerável (?) Uma bijecção ζ : N N N N é defiida por: e ζ (m,,q) = π ( π (m -1, -1), q -1) -1 ζ (x) = ( π 1( π 1( x)) + 1, π 2 ( π 2 ( x)) + 1, π 2 ( x) + 1) Como as fuções π, π 1 e π 2 são efectivamete computáveis, também ζ e ζ 1 são computáveis. 4.7 (c) U k>0 N k é efectivamete eumerável (?) k Uma bijecção τ : N N é defiida por: U k>0 a a +a + 1 a +a + a + 2 a +a a + k k τ (a 1,a 2,...,a k ) = é uma fução efectivamete computável. -1 Para calcular τ (x), sabemos que dado x, podemos efectivamete ecotrar valores úicos k > 0 e 0 b1 < b 2 <... < bk tais que: b b b x + 1 = k Etão -1 τ (x) = (a 1,a 2,...,a k ), ode a = b 1 1 a = b b 1 (1 i< k) i+1 i+1 i 4.8 4
5 Desigemos o cojuto de todas as istruções URM por I e ocojutodetodos os programas URM por P. Um programa cosiste uma lista fiita de istruções. Teorema I é efectivamete eumerável. Prova: Defia-se uma bijecção β : I N que, aos quatro tipos de istruções URM faz correspoder úmeros aturais das formas 4u, 4u+1, 4u+2, 4u+3: β(z()) = 4( 1) β(s()) = 4( 1) + 1 β (T(m,)) = 4 π (m - 1, 1) + 2 β (J(m,,q)) = 4 ζ (m,, q) Para calcular β 1 (x) : (i) (ii) (iii) Determiar u, r tais que x = 4 u + r, com 0 r < 4 O valor de r diz-os que tipo de istrução correspode a A partir de u, podemos calcular efectivamete a istrução particular: Se r = 0, etão -1 β (x) = Z(u + 1) Se r = 1, etão Se r = 2, etão Se r = 3, etão -1 β (x) = S(u + 1) -1 β (x) = T( π (u) + 1, π (u) + 1) 1 2 β -1 (x) = J(m,,q), ode (m,,q) = ζ -1 ( u ) β e β 1 são efectivamete computáveis, logo I é efectivamete eumerável
6 Teorema P é efectivamete eumerável. Prova: Defia-se uma bijecção γ : P N. Seja P = I 1, I 2,, I s. Etão γ ( P ) = τ ( β ( I ),..., β ( I )) 1 s γ Como τ e β são bijecções, também é uma bijecção; Como τ, β e as suas iversas são efectivamete computáveis, também γ e γ 1 são efectivamete computáveis Para um dado programa P, o úmero γ (P) chama-se o código de P ou úmero de Gödel de P. Defie-se P = o programa com o código γ 1 = () É fudametal que γ e sejam efectivamete computáveis, ou seja: γ 1 (a) dado um programa P, podemos efectivamete calcular o seu código; (b) dado um úmero, podemos efectivamete determiar o programa γ 1 P = ()
7 Exemplos: (a) Seja P o programa Para calcular γ (P): T(1,3) S(4) Z(6) β(t(1,3)) = 4 π (0, 2) + 2 =4 (2 (2 2 +1) -1) + 2 = 18 β(s(4)) = = 13 β (Z(6)) = 4 5 = 20 γ (P) = τ (18, 13, 20) = = (b) Seja = Qual é o programa P 4127? γ 1 1 ( 4127) = τ ( 4128) = ( a 1,...,ak) 4127 = (4128 = 2 5 (129) = 2 5 (1+128) = 2 5 ( ) = ) Etão, P 4127 é um programa com duas istruções (k=2): I 1 e I 2 a 1 = 5 e a 2 = = 6 a 1 = β (I 1) = 5 a = β (I ) = 6 = = 4 π (1,0) Pela defiição, I 1 = S(2) e I 2 = T(2,1). P 4127 é o programa I 1 = S(2) I 2 = T(2,1)
8 Mais cojutos eumeráveis Q = O cojuto dos úmeros racioais positivos é eumerável 1/1 1/1 3/1 4/1 5/1 1/2 2/2 3/2 4/2 5/2 1/3 2/3 3/3 4/3 5/3 1/4 2/4 3/4 4/4 5/4 D = O cojuto de todos os cojutos fiitos de úmeros iteiros positivos é eumerável {1} : o cojuto cujo úico elemeto é o úmero 1 {2} : o cojuto cujo úico elemeto é o úmero 2 {1,2,5} : o cojuto cujos elemetos são os úmeros 1, 2 e 5 Todos os elemetos de D podem ser descritos de forma fiita (até por palavras), embora o cojuto seja ifiito Cojutos ão eumeráveis O cojuto dos úmeros reais ão é eumerável Cosideremos apeas os úmeros reais etre 0 e 1. Supohamos que coseguimos estabelecer uma correspodêcia etre cada úmero atural e cada úmero real etre 0 e 1. Supohamos aida que cada úmero real pode ser expresso como uma dízima ifiita, ou seja: 0.5 = Podemos etão costruir a seguite tabela: r(1) r(2) r(3) r(4) r(5) Os úmeros que se ecotram a diagoal serão usados para costruir um úmero que ão se ecotra a tabela. Subtraímos 1 a cada dígito do úmero da diagoal. Obtemos d = Dada a forma como a tabela foi costruída podemos afirmar que : 0 1º dígito de d ão é o 1º dígito de r(1); 0 2º dígito de d ão é o 2º dígito de r(2); 0 20º dígito de d ão é o 20º dígito de r(20); d ão se ecotra a tabela, logo R ão é eumerável
9 4.2 Numeração de fuções computáveis f P desiga a fução -ária computada por P. Para cada a de N e para cada > 0, defie-se: φ a = f P a { a } W ( ) = Dom ( ( ) ) = ( x,..., x ): P ( x,..., x ) a φa 1 1 E ( ) a = Ra (φa ) Quado a fução é uária, omite-se o ídice =1, ficado apeas φ a, W a, E a. Ex: P 4127 é o programa I 1 = S(2) I 2 = T(2,1) Etão φ 4127 ( x ) = 1 W4127 = N E 4127 = 1 {} φ 4127 ( x 1,..., x ) = x W4127 = N E N 4127 = Numeração de fuções computáveis Seja f uma fução uária computável. Etão existe um programa P que computa f. Sedo a = γ ( P) o código desse programa, etão f = φa. Diz-se que a é um ídice para f. (Cada fução computável tem um úmero ifiito de ídices). Podemos cocluir que cada fução uária aparece a eumeração (com repetições): φ0, φ1, φ2, φ3,... As mesmas coclusões podem ser tiradas para fuções -árias
10 4.2 Numeração de fuções computáveis Teorema O cojuto C éeumerável. Prova: Vamos usar uma eumeração com repetições para costruir uma outra sem repetições. Seja φ0, φ1, φ2, φ3,... a eumeração com repetições. Seja Etão f ( 0) = 0 f ( m+ 1) = µ z( φz φf ( 0),..., φf ( m) ) f ( 0) f ( 1) f ( 2) f ( 3) φ, φ, φ, φ,... é uma eumeração de C sem repetições. Nota: Não se afirma que f é computável Numeração de fuções computáveis Teorema OcojutoC éeumerável. Prova: C = U C 1 C é a reuião eumerável de cojutos eumeráveis, logo também é eumerável. O teorema seguite mostra que existem fuções que ão são computáveis!!
11 4.3 O método da diagoal Teorema Existe uma fução uária total que ão é computável. Prova: Vamos costruir uma fução total f que é simultaeamete diferete de todas as fuções a eumeração φ0, φ1, φ2, φ3,... φ + 1, se φ esta defiida Defia-se f = 0, se φ ao esta defiida Note-se que f foi costruída por forma que f é diferete de φ para cada : - Se φ está defiida, f = φ + 1 φ - Se φ ão está defiida: f = 0 φ Como f é diferete de todas as fuções computáveis, f ão é computável O método da diagoal Vejamos como a fução aterior foi costruída: Costruímos a seguite tabela: φ 0 φ 1 φ 2 φ 3 0 φ 0 ( 0) φ 1 ( 0) φ 2 ( 0) φ 3 ( 0) φ 0 () 1 φ 1 () 1 φ 2 () 1 φ 3 () 1 φ 0 ( 2) φ 1 ( 2) φ 2 ( 2) φ 3 ( 2) φ 0 ( 3) φ 1 ( 3) φ 2 ( 3) φ 3 () φ + 1, se φ esta defiida f = 0, se φ ao esta defiida Tomamos os elemetos da diagoal e alteramo-los sucessivamete, costruido f(). Nota: existe uma grade liberdade a escolha dos f(); apeas temos de assegurar que f φ para cada. φ + 27, se φ esta defiida Por exemplo: g ( ) = 2 é outra fução ão computável, se φ ao esta defiida
12 4.3 O método da diagoal Podemos geeralizar o método da diagoal da seguite forma: Seja χ0, χ1, χ2,... uma eumeração de objectos de um certo tipo (fuções ou cojutos de úmeros aturais) Podemos costruir um objecto χ do mesmo tipo, mas diferete de todos os χ Fazer χ e χ diferetes em O método da diagoal Exemplos: (a) Seja f(x,y) uma fução total computável. Para cada m, sejag m a fução computável dada por g m (y) = f(m,y) Costrua uma fução total computável h tal que, para cada m: h g m g m (m) = f(m,m) Seja h(m) = f(m,m)+1 h é computável (pois f é computável) e total (b) Seja f 0, f 1, f 2, uma eumeração de fuções parciais de N em N. Costrua uma fução g: N -> N tal que, para cada i: Dom (g) Dom (f i ) g (i) = 1 idefiida,se f (i) ao esta defiida i,se f (i) esta defiida i ou seja, i Dom(g) sse i Dom (f i )
13 4.4 O Teorema s-m- Seja f (x,y) uma fução computável (ão ecessariamete total). ( Etão, f tem um ídice, a, tal que φ 2 ) a = f Para cada b, defia-se g (y) = f (b,y) b Por substituição, cada g b é computável, logo tem um ídice. Este ídice depede de a e de b, logo, defia-se a fução biária k, ode k(a,b) é um ídice para a fução g b. Logo, φ k ( a, b )( y) = g b ( y) Mostraremos que k é uma fução computável. Sabemos que a fução f é computada por P a. Cosidere-se: T(1,2) Z(1) S(1) S(1) P a b vezes Este programa computa g b O Teorema s-m- A fução k(a,b) dá-os o ídice deste programa. Para mostrar que k é computável usaremos a Tese de Church, argumetado que o algoritmo: 1. Determiar qual o programa que correspode ao código a, obtedo-se P a 2. Costruir o programa para computar g b (depede apeas de b) 3. Codificar esse programa, obtedo-se k(a,b). é efectivamete computável, logo k é computável. Notas: k é primitiva recursiva. Sem o recurso à Tese de Church, esta demostração seria loga e tediosa, mas é óbvio que fucioaria. Podemos agora costruir fuções que computam ídices de fuções
14 4.4 O Teorema s-m- Exemplo: Seja f ( x, y) = y x ( Esta fução é computável, logo seja a um ídice para f : φ 2 ) a = Para cada, defia-se g (y) = f (,y) = y Seja k(a,) o ídice de g Etão φ k a y = g y = y Seja p() = k(a,). (, )( ) ( ) f p é a fução que, para cada calcula um ídice da fução -ésima potêcia O Teorema s-m- Teorema s-m- Para cada m, > 0, existe uma fução (m+1)-ária total e computável s m (e, x) tal que ( φe m + ) ( xy, )= φ m ( y) s ( e, x) Prova: (semelhate ao caso m==1) Desige-se por Q(i,x) o programa URM: Z(i) S(i) x vezes S(i) Defia-se s m (e, x) como o código do programa: T(,m+) T(1,m+1) Q(1,x 1 ) Esta fução é computável, pela Tese de Church Q(m,x m ) P e
4.2 Numeração de funções computáveis
4. Numeração de fuções computáveis 4.1 Numeração de programas 4.2 Numeração de fuções computáveis 4.3 O método da diagoal 4.4 O Teorema s-m- Teresa Galvão LEIC - Teoria da Computação I 4.1 4.1 Numeração
Leia maisNúmeros primos, números compostos e o Teorema Fundamental da Aritmética
Polos Olímpicos de Treiameto Curso de Teoria dos Números - Nível 3 Carlos Gustavo Moreira Aula 4 Números primos, úmeros compostos e o Teorema Fudametal da Aritmética 1 O Teorema Fudametal da Aritmética
Leia maisFundamentos de Análise Matemática Profª Ana Paula. Números reais
Fudametos de Aálise Matemática Profª Aa Paula Números reais 1,, 3, cojuto dos úmeros aturais 0,1,,3, cojuto dos úmeros iteiros p q /p e q cojuto dos úmeros racioais a, a 0 a 1 a a, a e a i 0, 1,, 3, 4,
Leia maisExponenciais e Logaritmos (MAT 163) - Notas de Aulas 2 Prof Carlos Alberto S Soares
Expoeciais e Logaritmos (MAT 163) - Notas de Aulas 2 Prof Carlos Alberto S Soares 1 Prelimiares Lembremos que, dados cojutos A, B R ão vazios, uma fução de domíio A e cotradomíio B, aotada por, f : A B,
Leia maisProvas de Matemática Elementar - EAD. Período
Provas de Matemática Elemetar - EAD Período 01. Sérgio de Albuquerque Souza 4 de setembro de 014 UNIVERSIDADE FEDERAL DA PARAÍBA CCEN - Departameto de Matemática http://www.mat.ufpb.br/sergio 1 a Prova
Leia maisn ) uma amostra aleatória da variável aleatória X.
- Distribuições amostrais Cosidere uma população de objetos dos quais estamos iteressados em estudar uma determiada característica. Quado dizemos que a população tem distribuição FX ( x ), queremos dizer
Leia maisSucessão ou Sequência. Sucessão ou seqüência é todo conjunto que consideramos os elementos dispostos em certa ordem. janeiro,fevereiro,...
Curso Metor www.cursometor.wordpress.com Sucessão ou Sequêcia Defiição Sucessão ou seqüêcia é todo cojuto que cosideramos os elemetos dispostos em certa ordem. jaeiro,fevereiro,...,dezembro Exemplo : Exemplo
Leia mais1.4 Determinantes. determinante é igual ao produto dos elementos da diagonal principal menos o produto dos elementos da diagonal secundária.
1.4 Determiates A teoria dos determiates surgiu quase simultaeamete a Alemaha e o Japão. Ela foi desevolvida por dois matemáticos, Gottfried Wilhelm Leibiz (1642-1716) e Seki Shisuke Kowa (1642-1708),
Leia maisCapítulo 3. Sucessões e Séries Geométricas
Capítulo 3 Sucessões e Séries Geométricas SUMÁRIO Defiição de sucessão Mootoia de sucessões Sucessões itadas (majoradas e mioradas) Limites de sucessões Sucessões covergetes e divergetes Resultados sobre
Leia maisS E Q U Ê N C I A S E L I M I T E S. Prof. Benito Frazão Pires. Uma sequência é uma lista ordenada de números
S E Q U Ê N C I A S E L I M I T E S Prof. Beito Frazão Pires Uma sequêcia é uma lista ordeada de úmeros a, a 2,..., a,... ) deomiados termos da sequêcia: a é o primeiro termo, a 2 é o segudo termo e assim
Leia maisCÁLCULO DIFERENCIAL. Conceito de derivada. Interpretação geométrica
CÁLCULO DIFERENCIAL Coceito de derivada Iterpretação geométrica A oção fudametal do Cálculo Diferecial a derivada parece ter sido pela primeira vez explicitada o século XVII, pelo matemático fracês Pierre
Leia maisCálculo II Sucessões de números reais revisões
Ídice 1 Defiição e exemplos Cálculo II Sucessões de úmeros reais revisões Mestrado Itegrado em Egeharia Aeroáutica Mestrado Itegrado em Egeharia Civil Atóio Beto beto@ubi.pt Departameto de Matemática Uiversidade
Leia maisbinomial seria quase simétrica. Nestas condições será também melhor a aproximação pela distribuição normal.
biomial seria quase simétrica. Nestas codições será também melhor a aproximação pela distribuição ormal. Na prática, quado e p > 7, a distribuição ormal com parâmetros: µ p 99 σ p ( p) costitui uma boa
Leia maisXIX Semana Olímpica de Matemática. Nível U. Algumas Técnicas com Funções Geratrizes. Davi Lopes
XIX Semaa Olímpica de Matemática Nível U Algumas Técicas com Fuções Geratrizes Davi Lopes O projeto da XIX Semaa Olímpica de Matemática foi patrociado por: Algumas Técicas com Fuções Geratrizes Davi Lopes
Leia maisAula 3 : Somatórios & PIF
Aula 3 : Somatórios & PIF Somatório: Somatório é um operador matemático que os permite represetar facilmete somas de um grade úmero de parcelas É represetado pela letra maiúscula do alfabeto grego sigma
Leia maisFundamentos de Análise Matemática Profª Ana Paula. Sequência Infinitas
Fudametos de Aálise Matemática Profª Aa Paula Sequêcia Ifiitas Defiição 1: Uma sequêcia umérica a 1, a 2, a 3,,a,é uma fução, defiida o cojuto dos úmeros aturais : f : f a Notação: O úmero é chamado de
Leia mais3. Seja C o conjunto dos números complexos. Defina a soma em C por
Eercícios Espaços vetoriais. Cosidere os vetores = (8 ) e = ( -) em. (a) Ecotre o comprimeto de cada vetor. (b) Seja = +. Determie o comprimeto de. Qual a relação etre seu comprimeto e a soma dos comprimetos
Leia maisAUTO AVALIAÇÃO CAPÍTULO I. 1. Assinale com V as proposições que considere verdadeiras e com F as que considere
AUTO AVALIAÇÃO CAPÍTULO I. Assiale com V as proposições que cosidere verdadeiras e com F as que cosidere falsas : a. Sedo A e B cojutos disjutos, ambos majorados, os respectivos supremos ão podem coicidir
Leia mais1. Definição e conceitos básicos de equações diferenciais
Capítulo 7: Soluções Numéricas de Equações Difereciais Ordiárias. Itrodução Muitos feómeos as áreas das ciêcias, egearias, ecoomia, etc., são modelados por equações difereciais. Supoa-se que se quer determiar
Leia maisSequências Reais. Departamento de Matemática - UEL Ulysses Sodré. 1 Sequências de números reais 1
Matemática Essecial Sequêcias Reais Departameto de Matemática - UEL - 200 Ulysses Sodré http://www.mat.uel.br/matessecial/ Coteúdo Sequêcias de úmeros reais 2 Médias usuais 6 3 Médias versus progressões
Leia maisSequências Reais e Seus Limites
Sequêcias Reais e Seus Limites Sumário. Itrodução....................... 2.2 Sequêcias de Números Reais............ 3.3 Exercícios........................ 8.4 Limites de Sequêcias de Números Reais......
Leia maisSéries e aplicações15
Séries e aplicações5 Gil da Costa Marques Fudametos de Matemática I 5. Sequêcias 5. Séries 5. Séries especiais 5.4 Arquimedes e a quadratura da parábola 5.5 Sobre a Covergêcia de séries 5.6 Séries de Taylor
Leia maisn IN*. Determine o valor de a
Progressões Aritméticas Itrodução Chama-se seqüêcia ou sucessão umérica, a qualquer cojuto ordeado de úmeros reais ou complexos. Exemplo: A=(3, 5, 7, 9,,..., 35). Uma seqüêcia pode ser fiita ou ifiita.
Leia maisInterpolação. Interpolação Polinomial
Iterpolação Iterpolação Poliomial Objetivo Iterpolar uma fução f(x) cosiste em aproximar essa fução por uma outra fução g(x), escolhida etre uma classe de fuções defiidas (aqui, usaremos poliômios). g(x)
Leia maisSéquências e Séries Infinitas de Termos Constantes
Capítulo Séquêcias e Séries Ifiitas de Termos Costates.. Itrodução Neste capítulo estamos iteressados em aalisar as séries ifiitas de termos costates. Etretato, para eteder as séries ifiitas devemos ates
Leia maisDESIGUALDADES, LEIS LIMITE E TEOREMA DO LIMITE CENTRAL. todas as repetições). Então, para todo o número positivo ξ, teremos:
48 DESIGUALDADES, LEIS LIMITE E TEOREMA DO LIMITE CENTRAL LEI DOS GRANDES NÚMEROS Pretede-se estudar o seguite problema: À medida que o úmero de repetições de uma experiêcia cresce, a frequêcia relativa
Leia maisTeoria Elementar da Probabilidade
10 Teoria Elemetar da Probabilidade MODELOS MTEMÁTICOS DETERMINÍSTICOS PROBBILÍSTICOS PROCESSO (FENÓMENO) LETÓRIO - Quado o acaso iterfere a ocorrêcia de um ou mais dos resultados os quais tal processo
Leia maisAplicações lineares. Capítulo Seja T: a) Quais dos seguintes vectores estão em Im( T )? 1 i) 4. 3 iii) ii)
Capítulo Aplicações lieares Seja T: R R a multiplicação por 8 a) Quais dos seguites vectores estão em Im( T )? i) ii) 5 iii) b) Quais dos seguites vectores estão em Ker( T)? i) ii) iii) c) Qual a dimesão
Leia maisResolva os grupos do exame em folhas separadas. O uso de máquinas de calcular e telemóveis não é permitido. Não se esqueça que tudo é para justificar.
Eame em 6 de Jaeiro de 007 Cálculo ATENÇÃO: FOLHAS DE EXAME NÃO IDENTIFICADAS NÃO SERÃO COTADAS Cálculo / Eame fial 06 Jaeiro de 007 Resolva os grupos do eame em folhas separadas O uso de máquias de calcular
Leia maisCapítulo I Séries Numéricas
Capítulo I Séries Numéricas Capitulo I Séries. SÉRIES NÚMERICAS DEFINIÇÃO Sedo u, u,..., u,... uma sucessão umérica, chama-se série umérica de termo geral u à epressão que habitualmete se escreve u u...
Leia mais1- Resolução de Sistemas Lineares.
MÉTODOS NUMÉRICOS PR EQUÇÕES DIFERENCIIS PRCIIS 1- Resolução de Sistemas Lieares. 1.1- Matrizes e Vetores. 1.2- Resolução de Sistemas Lieares de Equações lgébricas por Métodos Exatos (Diretos). 1.3- Resolução
Leia maisEstatística para Economia e Gestão REVISÕES SOBRE VARIÁVEIS ALEATÓRIAS DISCRETAS E CONTÍNUAS
Estatística para Ecoomia e Gestão REVISÕES SOBRE VARIÁVEIS ALEATÓRIAS DISCRETAS E CONTÍNUAS Primavera 008/009 Variável Aleatória: Defiição: uma variável aleatória é uma fução que atribui a cada elemeto
Leia maisPreliminares 1. 1 lim sup, lim inf. Medida e Integração. Departamento de Física e Matemática. USP-RP. Prof. Rafael A. Rosales. 8 de março de 2009.
Medida e Itegração. Departameto de Física e Matemática. USP-RP. Prof. Rafael A. Rosales 8 de março de 2009. 1 lim sup, lim if Prelimiares 1 Seja (x ), N, uma seqüêcia de úmeros reais, e l o limite desta
Leia maisINTEIROS DE GAUSS E INTEIROS DE EISENSTEIN Guilherme Fujiwara, São Paulo SP
Nível Avaçado. INTEIROS DE GAUSS E INTEIROS DE EISENSTEIN Guilherme Fujiwara, São Paulo SP Vamos abordar esse artigo a aritmética de dois cojutos de iteiros algébricos: os Iteiros de Gauss e os Iteiros
Leia maisAlguns autores também denotam uma sequência usando parêntesis:
Capítulo 3 Sequêcias e Séries Numéricas 3. Sequêcias Numéricas Uma sequêcia umérica é uma fução real com domíio N que, a cada associa um úmero real a. Os úmeros a são chamados termos da sequêcia. É comum
Leia maisBÁRBARA DENICOL DO AMARAL RODRIGUEZ CINTHYA MARIA SCHNEIDER MENEGHETTI CRISTIANA ANDRADE POFFAL SEQUÊNCIAS NUMÉRICAS. 1 a Edição
BÁRBARA DENICOL DO AMARAL RODRIGUEZ CINTHYA MARIA SCHNEIDER MENEGHETTI CRISTIANA ANDRADE POFFAL SEQUÊNCIAS NUMÉRICAS 1 a Edição Rio Grade 2017 Uiversidade Federal do Rio Grade - FURG NOTAS DE AULA DE CÁLCULO
Leia maisSucessões. , ou, apenas, u n. ,u n n. Casos Particulares: 1. Progressão aritmética de razão r e primeiro termo a: o seu termo geral é u n a n1r.
Sucessões Defiição: Uma sucessão de úmeros reais é uma aplicação u do cojuto dos úmeros iteiros positivos,, o cojuto dos úmeros reais,. A expressão u que associa a cada a sua imagem desiga-se por termo
Leia maisProva Parcial 1 Matemática Discreta para Computação Aluno(a): Data: 18/12/2012
Prova Parcial Aluo(a): Data: 8/2/202. (,5p) Use regras de iferêcia para provar que os argumetos são válidos. (usar os símbolos proposicioais idicados): A Rússia era uma potêcia superior, e ou a Fraça ão
Leia maisSUCESSÕES DE NÚMEROS REAIS. Sucessões
SUCESSÕES DE NÚMEROS REAIS Sucessões Chama-se sucessão de úmeros reais ou sucessão em IR a toda a aplicação f do cojuto IN dos úmeros aturais em IR, f : IN IR f ( ) = x IR Chamamos termos da sucessão aos
Leia mais( 1,2,4,8,16,32,... ) PG de razão 2 ( 5,5,5,5,5,5,5,... ) PG de razão 1 ( 100,50,25,... ) PG de razão ½ ( 2, 6,18, 54,162,...
Progressões Geométricas Defiição Chama se progressão geométrica PG qualquer seqüêcia de úmeros reais ou complexos, ode cada termo a partir do segudo, é igual ao aterior, multiplicado por uma costate deomiada
Leia maisConstrução do anel de polinômios em uma indeterminada utilizando módulos
Costrução do ael de poliômios em uma idetermiada utilizado módulos Costructio of the rig of polyomials i oe idetermiate usig modules ISSN 2316-9664 Volume 12, jul. 2018 Christia José Satos Goçalves Uiversidade
Leia maisCapítulo II - Sucessões e Séries de Números Reais
Capítulo II - Sucessões e Séries de Números Reais 2 Séries de úmeros reais Sabemos bem o que sigifica u 1 + u 2 + + u p = p =1 e cohecemos as propriedades desta operação - comutatividade, associatividade,
Leia maisConjuntos Infinitos. Teorema (Cantor) Se A é conjunto qualquer, #A #P(A). Mais precisamente, qualquer
Cojutos Ifiitos Teorema (Cator) Se A é cojuto qualquer, #A #P(A). Mais precisamete, qualquer f : A P(A) ão é sobrejetora. Cosequêcia. Existe uma herarquia de cojutos ifiitos. Obs. Existe uma bijeção etre
Leia maisMas, a situação é diferente quando se considera, por exemplo, a
. NÚMEROS COMPLEXOS Se um corpo umérico uma equação algébrica ão tem raíes, é possível costruir outro corpo umérico, mais eteso, ode a equação se tora resolúvel. Eemplo: ± raíes irracioais Mas, a situação
Leia mais2.2. Séries de potências
Capítulo 2 Séries de Potêcias 2.. Itrodução Série de potêcias é uma série ifiita de termos variáveis. Assim, a teoria desevolvida para séries ifiitas de termos costates pode ser estedida para a aálise
Leia maisCapítulo VII: Soluções Numéricas de Equações Diferenciais Ordinárias
Capítulo VII: Soluções Numéricas de Equações Difereciais Ordiárias 0. Itrodução Muitos feómeos as áreas das ciêcias egearias ecoomia etc. são modelados por equações difereciais. Supoa-se que se quer determiar
Leia maisSequências, PA e PG material teórico
Sequêcias, PA e PG material teórico 1 SEQUÊNCIA ou SUCESSÃO: é todo cojuto ode cosideramos os seus elemetos colocados, ou dispostos, uma certa ordem. Cosiderado a sequêcia (; 3; 5; 7;...), dizemos que:
Leia maisCAPÍTULO IV DESENVOLVIMENTOS EM SÉRIE
CAPÍTUO IV DESENVOVIMENTOS EM SÉRIE Série de Taylor e de Mac-auri Seja f ) uma fução real de variável real com domíio A e seja a um poto iterior desse domíio Supoha-se que a fução admite derivadas fiitas
Leia maisTEOREMA DE BAIRE. 1. Conceitos Preliminares Exemplos de Aplicações do Teorema de Baire 5 Referências 8
TEOREMA DE BAIRE JONAS RENAN MOREIRA GOMES BOLSISTA SANTANDER-USP Sumário 1. Coceitos Prelimiares 1 2. Defiição de Espaço de Baire 2 3. Exemplos de Aplicações do Teorema de Baire 5 Referêcias 8 Esse texto
Leia mais6.1 Estimativa de uma média populacional: grandes amostras. Definição: Um estimador é uma característica amostral (como a média amostral
6 ESTIMAÇÃO 6.1 Estimativa de uma média populacioal: grades amostras Defiição: Um estimador é uma característica amostral (como a média amostral x ) utilizada para obter uma aproximação de um parâmetro
Leia maisAmostras Aleatórias e Distribuições Amostrais. Probabilidade e Estatística: afinal, qual é a diferença?
Amostras Aleatórias e Distribuições Amostrais Probabilidade e Estatística: afial, qual é a difereça? Até agora o que fizemos foi desevolver modelos probabilísticos que se adequavam a situações reais. Por
Leia maisNOTAS DE AULA. Cláudio Martins Mendes
NOTAS DE AULA SEQÜENCIAS E SÉRIES NUMÉRICAS Cláudio Martis Medes Primeiro Semestre de 2006 Sumário Seqüêcias e Séries Numéricas 2. Seqüêcias Numéricas............................... 2.2 Séries Numéricas..................................
Leia maisUniversidade Federal Fluminense - UFF-RJ
Aotações sobre somatórios Rodrigo Carlos Silva de Lima Uiversidade Federal Flumiese - UFF-RJ rodrigouffmath@gmailcom Sumário Somatórios 3 Somatórios e úmeros complexos 3 O truque de Gauss para somatórios
Leia mais1.1. Ordem e Precedência dos Cálculos 1) = Capítulo 1
Capítulo. Aritmética e Expressões Algébricas O estudo de cálculo exige muito mais que o cohecimeto de limite, derivada e itegral. Para que o apredizado seja satisfatório o domíio de tópicos de aritmética
Leia maisUNIVERSIDADE TECNOLÓGICA FEDERAL DO PARANÁ Campus Pato Branco ENGENHARIA DE COMPUTAÇÃO. Prova Parcial 1 Matemática Discreta para Computação 2011
Campus Pato Braco Prova Parcial Matemática Discreta para Computação 20 Aluo(a): Data: 08/04/20. (,5p) Explicar o Paradoxo de Cator. Use como base o seguite: Teorema de Cator: Para qualquer cojuto A, a
Leia maisCálculo Diferencial e Integral I Resolução do 2 ō Teste - LEIC
Cálculo Diferecial e Itegral I Resolução do ō Teste - LEIC Departameto de Matemática Secção de Àlgebra e Aálise I.. Determie o valor dos seguites itegrais (i) e x se x dx x + (ii) x (x + ) dx (i) Visto
Leia maisδ de L. Analogamente, sendo
Teoremas fudametais sobre sucessões Teorema das sucessões equadradas Sejam u, v e w sucessões tais que, a partir de certa ordem p, u w v lim u = lim v = L (fiito ou ão), a sucessão w também tem limite,
Leia maisTransformação de similaridade
Trasformação de similaridade Relembrado bases e represetações, ós dissemos que dada uma base {q, q,..., q} o espaço real - dimesioal, qualquer vetor deste espaço pode ser escrito como:. Ou a forma matricial
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 11.º Ano de escolaridade Versão 3
FICHA de AVALIAÇÃO de MATEMÁTICA A º Teste º Ao de escolaridade Versão Nome: Nº Turma: Professor: José Tioco 9//8 Apresete o seu raciocíio de forma clara, idicado todos os cálculos que tiver de efetuar
Leia maisO Teorema Fundamental da Aritm etica
8 O Teorema Fudametal da Aritm etica Vimos, o cap ³tulo 5, o teorema 5.1, que estabelece que os primos positivos s~ao os blocos usados para costruir, atrav es de produtos, todos os iteiros positivos maiores
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 11.º Ano de escolaridade Versão 4
FICHA de AVALIAÇÃO de MATEMÁTICA A º Teste º Ao de escolaridade Versão Nome: Nº Turma: Professor: José Tioco 9//8 Apresete o seu raciocíio de forma clara, idicado todos os cálculos que tiver de efetuar
Leia maisESCOLA ONLINE DE CIÊNCIAS FORMAIS CURSO DE INTRODUÇÃO À LÓGICA MATEMÁTICA (3) MÉTODO AXIOMÁTICO E TEORIAS FORMAIS AULA 10 VERDADE DE TARSKI (PARTE 1)
AULA 10 VERDADE DE TARSKI (PARTE 1) Iterpretação Uma iterpretação I de uma liguagem de primeira ordem cosiste em: Um domíio D de iterpretação; Para cada costate idividual, atribuímos como seu sigificado
Leia maisMedidas, integração, Teorema da Convergência Monótona e o teorema de Riesz-Markov
Medidas, itegração, Teorema da Covergêcia Moótoa e o teorema de Riesz-Markov 28 de Agosto de 2012 1 Defiições de Teoria da Medida Seja (Ω, F, ν) um espaço de medida: isto é, F é σ-álgebra sobre o cojuto
Leia maisSucessão de números reais. Representação gráfica. Sucessões definidas por recorrência. Introdução 8. Avaliação 18 Atividades de síntese 20
Ídice Sucessão de úmeros reais. Represetação gráfica. Sucessões defiidas por recorrêcia Itrodução 8 Teoria. Itrodução ao estudo das sucessões 0 Teoria. Defiição de sucessão de úmeros reais Teoria 3. Defiição
Leia maisSeqüências e Séries. Notas de Aula 4º Bimestre/2010 1º ano - Matemática Cálculo Diferencial e Integral I Profª Drª Gilcilene Sanchez de Paulo
Seqüêcias e Séries Notas de Aula 4º Bimestre/200 º ao - Matemática Cálculo Diferecial e Itegral I Profª Drª Gilcilee Sachez de Paulo Seqüêcias e Séries Para x R, podemos em geral, obter sex, e x, lx, arctgx
Leia maisUniversidade do Estado do Amazonas
Uiversidade do Estado do Amazoas Professor Alessadro Moteiro 6 de Julho de 08 PROJETO DE EXTENSÃO Resoluções de Problemas de Aálise Real I 5º Ecotro/Parte I: Limites de Fuções 5. O Limite de uma Fução
Leia maisA DESIGUALDADE DE CHEBYCHEV
A DESIGUALDADE DE CHEBYCHEV Quado se pretede calcular a probabilidade de poder ocorrer determiado acotecimeto e se cohece a distribuição probabilística que está em causa o problema, ão se colocam dificuldades
Leia maisMatemática A Extensivo V. 6
Matemática A Etesivo V. 6 Eercícios 0) B Reescrevedo a equação: 88 00 8 0 8 8 0 6 0 0 A raiz do umerador é e do deomiador é zero. Fazedo um quadro de siais: + + + Q + + O que os dá como solução R 0
Leia mais1. Revisão Matemática
Se x é um elemeto do cojuto Notação S: x S Especificação de um cojuto : S = xx satisfaz propriedadep Uião de dois cojutos S e T : S T Itersecção de dois cojutos S e T : S T existe ; para todo f : A B sigifica
Leia maisESTIMAÇÃO DA PROPORÇÃO POPULACIONAL p
ESTIMAÇÃO DA PROPORÇÃO POPULACIONAL p Objetivo Estimar uma proporção p (descohecida) de elemetos em uma população, apresetado certa característica de iteresse, a partir da iformação forecida por uma amostra.
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 12.º Ano Versão 1
FICHA de AVALIAÇÃO de MATEMÁTICA A.º Ao Versão Nome: N.º Turma: Apresete o seu raciocíio de forma clara, idicado todos os cálculos que tiver de efetuar e todas as justificações ecessárias. Quado, para
Leia maisDessa forma, concluímos que n deve ser ímpar e, como 120 é par, então essa sequência não possui termo central.
Resoluções das atividades adicioais Capítulo Grupo A. a) a 9, a 7, a 8, a e a 79. b) a, a, a, a e a.. a) a, a, a, a 8 e a 6. 9 b) a, a 6, a, a 9 e a.. Se a 9 e a k são equidistates dos extremos, etão existe
Leia maisExercícios de Aprofundamento Matemática Progressão Aritmética e Geométrica
Exercícios de Aprofudameto Matemática Progressão Aritmética e b. (Fuvest 05) Dadas as sequêcias a 4 4, b, c a a e d, b defiidas para valores iteiros positivos de, cosidere as seguites afirmações: I. a
Leia maisO Princípio da Substituição e o Teorema Central do Limite
O Pricípio da Substituição e o Teorema Cetral do Limite Roberto Imbuzeiro M. F. de Oliveira 6 de Maio de 009 Resumo 1 Prelimiares são variáveis aleatórias idepedetes sat- No que segue {X i } {Y i} isfazedo
Leia maisConsiderações finais
Cosiderações fiais Bases Matemáticas Defiições prelimiares Defiição 1 Dizemos que y é uma cota superior para um cojuto X se, para todo x X é, verdade que y x. Exemplo 1 os úmeros 2, 3, π e quaisquer outros
Leia maisGabarito do Simulado da Primeira Fase - Nível Beta
Gabarito do Simulado da Primeira Fase - Nível Beta Questão potos Serão laçados dois dados: um dado azul de 4 faces, umeradas de a 4, e um dado vermelho de 8 faces, umeradas de a 8 a Determie a probabilidade
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 12.º Ano Versão 2
FICHA de AVALIAÇÃO de MATEMÁTICA A.º Ao Versão Nome: N.º Turma: Apresete o seu raciocíio de forma clara, idicado todos os cálculos que tiver de efetuar e todas as justificações ecessárias. Quado, para
Leia mais11. Para quais valores a desigualdade x + > x (ITA/2012) Sejam r 1. r D e m o n s t r a r q u e s e A, B, C R * + 02.
Matemática Revisão de Álgebra Exercícios de Fixação 0. Ecotre os valores das raízes racioais a, b e c de x + ax + bx + c. 0. Se f(x)f(y) f(xy) = x + y, "x,y R, determie f(x). 0. Ecotre x real satisfazedo
Leia maisESCOLA BÁSICA DE ALFORNELOS
ESCOLA BÁSICA DE ALFORNELOS FICHA DE TRABALHO DE MATEMÁTICA 9.º ANO VALORES APROXIMADOS DE NÚMEROS REAIS Dado um úmero xe um úmero positivo r, um úmero x como uma aproximação de x com erro iferior a r
Leia maisUNIVERSIDADE FEDERAL DE SANTA CATARINA OLIMPÍADA REGIONAL DE MATEMÁTICA PET MATEMÁTICA. Gabarito da Prova 2 a fase de 2008 Nível 3
UNIVERSIDADE FEDERAL DE SANTA CATARINA XI OLIMPÍADA REGIONAL DE MATEMÁTICA PET MATEMÁTICA OLIMPÍADA REGIONAL DE MATEMÁTICA SANTA CATARINA - UFSC Gabarito da Prova a fase de 008 Nível 3. Seja N a a a a
Leia maisDistribuições Amostrais
9/3/06 Uiversidade Federal do Pará Istituto de Tecologia Estatística Aplicada I Prof. Dr. Jorge Teófilo de Barros Lopes Campus de Belém Curso de Egeharia Mecâica 3/09/06 3:38 ESTATÍSTICA APLICADA I - Teoria
Leia maisMatemática. B) Determine a equação da reta que contém a diagonal BD. C) Encontre as coordenadas do ponto de interseção das diagonais AC e BD.
Matemática 0. Um losago do plao cartesiao oxy tem vértices A(0,0), B(,0), C(,) e D(,). A) Determie a equação da reta que cotém a diagoal AC. B) Determie a equação da reta que cotém a diagoal BD. C) Ecotre
Leia maisInstituto de Matemática - UFRJ Análise 1 - MAA Paulo Amorim Lista 2
Istituto de Matemática - UFRJ Lista. Sejam (x ), (y ) sequêcias covergetes, com x y,. Mostre que se tem lim x lim y. Sabemos das aulas teóricas que se uma sequêcia z verifica z 0, etão lim z 0 (caso exista).
Leia maisOrientação de trabalho:
Apoio Matemática Fiita Orietação de trabalho: Cotiue o estudo do Capítulo 1 - secção 1 (pág 37 a 49 do maual Secção 1: Coeficietes biomiais Nesta secção irá apreder/relembrar os coceitos: pricípio de idução
Leia maisBases e dimensão. Roberto Imbuzeiro Oliveira. 22 de Março de 2012
Bases e dimesão Roberto Imbuzeiro Oliveira 22 de Março de 2012 1 Defiições básicas Nestas otas X é espaço vetorial com mais de um elemeto sobre o corpo F {R, C}. Uma base (ão ecessariamete LI) de X é um
Leia maisNúmeros Complexos. David zavaleta Villanueva 1
Material do miicurso a ser lecioado o III EREM-Mossoró-UERN UFRN - Uiversidade Federal do Rio Grade do Norte Edição N 0 outubro 011 Números Complexos David zavaleta Villaueva 1 1 CCET-UFRN, Natal, RN,
Leia maisProva Escrita de MATEMÁTICA A - 12o Ano a Fase
Prova Escrita de MATEMÁTICA A - o Ao 08 - a Fase Proposta de resolução Cadero... Como P µ σ < X < µ + σ 0,94, logo como P X < µ σ P X > µ + σ, temos que: P X < µ σ 0,94 E assim, vem que: P X > µ σ P X
Leia maisDistribuições Amostrais
7/3/07 Uiversidade Federal do Pará Istituto de Tecologia Estatística Aplicada I Prof. Dr. Jorge Teófilo de Barros Lopes Campus de Belém Curso de Egeharia Mecâica 3/07/07 09:3 ESTATÍSTICA APLICADA I - Teoria
Leia maisREVISÃO DE MATEMÁTICA BÁSICA
REVISÃO DE MATEMÁTICA BÁSICA AULA 6 Radiciação Profe. Kátia RADICIAÇÃO Radiciação é a operação iversa da poteciação. Realizamos quado queremos descobrir qual o úmero que multiplicado por ele mesmo uma
Leia maisAMOSTRAGEM ALEATÓRIA DISTRIBUIÇÕES POR AMOSTRAGEM
6 AMOSTRAGEM ALEATÓRIA DISTRIBUIÇÕES POR AMOSTRAGEM Quado se pretede estudar uma determiada população, aalisam-se certas características ou variáveis dessa população. Essas variáveis poderão ser discretas
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 12.º Ano Versão 3
FICHA de AVALIAÇÃO de MATEMÁTICA A.º Ao Versão Nome: N.º Turma: Apresete o seu raciocíio de forma clara, idicado todos os cálculos que tiver de efetuar e todas as justificações ecessárias. Quado, para
Leia maisFICHA de AVALIAÇÃO de MATEMÁTICA A 12.º Ano Versão 4
FICHA de AVALIAÇÃO de MATEMÁTICA A.º Ao Versão 4 Nome: N.º Turma: Apresete o seu raciocíio de forma clara, idicado todos os cálculos que tiver de efetuar e todas as justificações ecessárias. Quado, para
Leia maisEstimadores de Momentos
Estimadores de Mometos A média populacioal é um caso particular daquilo que chamamos de mometo. Na realidade, ela é o primeiro mometo. Se X for uma v.a. cotíua, com desidade f(x; θ 1,..., θ r ), depededo
Leia maisChama-se sequência ou sucessão numérica, a qualquer conjunto ordenado de números reais.
Progressões Aritméticas Itrodução Chama-se sequêcia ou sucessão umérica, a qualquer cojuto ordeado de úmeros reais. Exemplo: 7; 0; 3;... ; 34 Uma seqüêcia pode ser iita ou iiita. 7; 0; 3; 6;... esta sequêcia
Leia maisPlanificação Anual de Matemática
Direção-Geral dos Estabelecimetos Escolares Direção de Serviços da Região Cetro Plaificação Aual de Matemática Ao Letivo: 2015/2016 Domíio Coteúdos Metas Curriculares Nº de Aulas (45 miutos) TEOREMA DE
Leia maisSoluções dos Exercícios do Capítulo 6
Soluções dos Eercícios do Capítulo 6 1. O poliômio procurado P() a + b + c + d deve satisfazer a idetidade P(+1) P() +, ou seja, a(+1) + b(+1) + c(+1) + d a + b + c + d +, o que é equivalete a (a 1) +
Leia maisa = b n Vejamos alguns exemplos que nos permitem observar essas relações. = 4 4² = 16 radical radicando
Caro aluo, Com o objetivo de esclarecer as dúvidas sobre a raiz quadrada, apresetamos este material a defiição de radiciação, o cálculo da raiz quadrada e algumas propriedades de radiciação. Além disso,
Leia maisSobre a necessidade das hipóteses no Teorema do Ponto Fixo de Banach
Sobre a ecessidade das hipóteses o Teorema do Poto Fio de Baach Marcelo Lopes Vieira Valdair Bofim Itrodução: O Teorema do Poto Fio de Baach é crucial a demostração de vários resultados importates da Matemática
Leia maisI 01. Sequência Numérica. para a qual denotamos o valor de x em n por x n em vez de x ( n ).
IME ITA Apostila ITA I 0 Sequêcia Numérica Defiição 4..: Uma sequêcia de úmeros reais é uma fução x : para a qual deotamos o valor de x em por x em vez de x ( ). Geralmete usamos a otação ( x ). Às vezes
Leia maisCap. VI Histogramas e Curvas de Distribuição
TLF /11 Capítulo VI Histogramas e curvas de distribuição 6.1. Distribuições e histogramas. 6 6.. Distribuição limite 63 6.3. Sigificado da distribuição limite: frequêcia esperada e probabilidade de um
Leia mais