Teste à Primalidade. (Método de Monte Carlo) Geração de Números Primos (Grandes)

Tamanho: px
Começar a partir da página:

Download "Teste à Primalidade. (Método de Monte Carlo) Geração de Números Primos (Grandes)"

Transcrição

1 Teste à Primalidade (Método de Monte Carlo) Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 1 Geração de Números Primos (Grandes) Como se pode obter um número primo grande? Gerando números grandes e testando se são primos. Se π(n) denotar o número de primos que não excedem n, π(n) lim n + n ln n = 1. Exemplo: π(10 9 ) = e 10 9 ln A probabilidade de um número n escolhido aleatoriamente ser primo pode ser aproximada por 1 ln n. Será necessário testar cerca de ln n 2 n para encontrar um que seja primo. números í m p a r e s próximos de Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 2

2 Aritmética Modular Propriedade 1 (P1) ((a mod k) (b mod k)) mod k = (a b) modk Propriedade 2 (P2) Se a b e a mod k = b mod k, então: (a b) modk =0. Propriedade 3 (P3) Se p é um número primo e (a b) modp = 0, então: a mod p = 0 ou b mod p =0. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 3 Lema de Fermat Se p é um número primo e x é um inteiro positivo tal que x mod p = 0, então 0 x mod p 1 x mod p (p 1) x mod p é uma permutação de 0 1 (p 1). Demonstração Se existissem i e j (0 i<j p 1) tais que ixmod p = jxmod p, por (P2), (j i) x mod p =0 e, por (P3), (j i) modp = 0 ou x mod p =0. Mas (j i) modp = 0, porque 0 < (j i) <p, e x mod p = 0, por hipótese. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 4

3 Teorema de Fermat [1640] Sejam p um número primo e x um inteiro positivo tal que x mod p = 0. Então, x p 1 mod p =1. Demonstração Pelo Lema de Fermat, (1x mod p) ((p 1) x mod p) = (p 1)! [(1 x mod p) ((p 1) x mod p)] mod p = (p 1)! mod p (P1) [(1 x) (p 1) x] modp = (p 1)! mod p (p 1)! x p 1 mod p = (p 1)! mod p (P2) [(p 1)! x p 1 (p 1)!] mod p = 0 (p 1)! (x p 1 1) mod p = 0 (x p 1 1) mod p = 0 (P3) (mod) x p 1 mod p = 1 Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 5 Pseudo-primos Seja p 3 um número inteiro. p é um número pseudo-primo se: p não for primo; e existir uma base x {2,...,p 1 tal que x p 1 mod p =1. Exemplos: 341, 561, 645, 1105 (base 2). p é um número de Carmichael [1912] se: p não for primo; e para qualquer base x {1, 2,...,p 1 tal que m.d.c.(x, p) =1 (c.f. Anexo A), x p 1 mod p =1. Exemplos: 561, 1105, Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 6

4 Potência Modular int modpower( int b, int e, int n ) // β =max(b, e, n). { int base = b; int exp = e; int result = 1; while (exp> 0) { // Cycle invariant: (base exp result) mod n = b e mod n. while (exp%2==0) { base = base base % n; exp = exp / 2; result = result base % n; exp = exp 1; return result; Complexidade: O(log e) oper. aritméticas; O(log 3 β) oper. com bits. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 7 Teste de Fermat // If this method returns true, p is definitely composite; // if it returns false, p can be composite or prime. // Pre-condition: p>2 is an odd integer and 2 x p 1. boolean iswitnessf( int p, int x ) { return modpower(x, p 1, p) = 1; Complexidade: O(log p) oper. aritméticas; O(log 3 p) oper. com bits. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 8

5 Erro do Teste de Fermat Há apenas 22 números pseudo-primos para os quais o teste de Fermat falha com a base 2 em {2,..., Seja p um número com α algarismos. Estima-se que a probabilidade do teste de Fermat falhar com a base 2 não excede: [Pomerance 1981] 10 6, quando α = 50; 10 13, quando α = 100. Há apenas 255 números de Carmichael em {2,..., Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 9 Como Reduzir o Erro Testar a primalidade de números grandes. A probabilidade de um número aleatório ser um pseudo-primo tende para zero, quando o número de algarismos tende para infinito [Pomerance 1981]. Testar com várias bases. Os números de Carmichael são extremamente raros. Complementar o teste de Fermat com o teste proposto por Miller [1976] e refinado por Rabin [1980]. À combinação dos dois testes chama-se teste de Miller-Rabin. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 10

6 Teste de Miller-Rabin Sejam p um número primo e x um inteiro positivo tal que x 2 mod p =1. Então, x mod p =1 ou x mod p = p 1. Demonstração x 2 mod p =1 (mod) (x 2 1) mod p =0 (x 1)(x + 1) mod p =0 (x 1) mod p = 0 ou (x + 1) mod p =0 (P3) (mod) x mod p = 1 ou x mod p = p 1 Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 11 Teste de Miller-Rabin // Pre-condition: p 1=2 k f, where k 1 and f is odd; 2 x p 1. boolean iswitnessmr( int p, int k, int f, int x ) { int result = modpower(x, f, p); // result = x f 20 mod p. for ( int i = 1; i k; i++ ) { int base = result; result = result result % p; // result = x f 2i mod p. if ( result == 1 && base = 1 && base = p 1) return true; return result = 1; // Miller-Rabin test. // Fermat test. Complexidade: O(log p) oper. aritméticas; O(log 3 p) oper. com bits. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 12

7 Decompor n da forma 2 k f, com k 1ef ímpar // Pre-condition: n 2 is an even integer. int[] decompose( int n ) { int f = n; int k = 0; while ( f %2==0) { // Cycle invariant: f 2 k = n. f = f / 2; k = k + 1; return new int[] {k, f; Complexidade: O(log n) oper. aritméticas; O(log 2 n) oper. com bits. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 13 Teste à Primalidade // Pre-condition: p>2 is an odd integer and t>0. boolean isprime( int p, int t ) { int[] dec = decompose(p 1); for ( int i = 0; i<t; i++ ) { int x = randomint(2, p 1); // 2 x p 1. if ( iswitnessmr(p, dec[0], dec[1], x) ) return true; return false; Complexidade: O(t log p) oper. aritméticas; O(t log 3 p) oper. com bits. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 14

8 Erro de isprime A probabilidade do teste de Miller-Rabin falhar é inferior a: 1 4 = 4 1. Se t for o número de bases testadas, a probabilidade do algoritmo isprime falhar é inferior a: 4 t. Exemplo: se a probabilidade de ocorrer um erro de hardware numa máquina que execute 1 milhão de instruções por segundo for 4 40, espera-se que ocorra um erro em cada 30 mil milhões de anos. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 15 Alguns Números Pseudo-primos e de Carmichael Número Fermat Miller- % Testado m.d.c. = 1 m.d.c. = 1 -Rabin Sucesso Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 16

9 Anexo A Para qualquer inteiro positivo n, sejam: a b (mod n) a mod n = b mod n; [a] n = {b Z a b (mod n); Z n = {[0] n, [1] n,...,[n 1] n ; Z + n = {[1] n,...,[n 1] n ; Z n = {[a] n Z n m.d.c.(a, n) =1. Proposições (Z n, + n ) e (Z n, n) são grupos comutativos. Se n for primo, Z n = Z + n. Se n não for primo, Zn <n 1. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 17 Anexo A Justificação da Definição de Número de Carmichael Proposição Se n não for primo e x Z + n \ Z n (ou seja, m.d.c.(x, n) = 1), x n 1 mod n = 1. Margarida Mamede, DI FCT/UNL APD, 2010/11, Teste à Primalidade 18

Algoritmos probabilísticos

Algoritmos probabilísticos Algoritmos probabilísticos Na execução, algumas decisões usam números aleatórios Tempo de execução depende não só da entrada mas também de números aleatórios gerados Eficiência: pior caso é o mesmo ue

Leia mais

PK - Public Key RSA. Segurança RSA

PK - Public Key RSA. Segurança RSA Introdução à Chave Pública PK - Public Key RSA Exponenciação rápida Segurança RSA Compartilhamento de chaves Algoritmo de chave simétrica Necessário compartilhar uma chave secreta previamente Chave que

Leia mais

1 TESTE OPÇÃO II - TEORIA DE NÚMEROS COMPUTACIONAL

1 TESTE OPÇÃO II - TEORIA DE NÚMEROS COMPUTACIONAL 1 TESTE OPÇÃO II - TEORIA DE NÚMEROS COMPUTACIONAL Licenciatura em Matemática 30 de março de 2012 duração 1h 45m Responda, justificando cuidadosamente, às seguintes questões: 1. Calcule uma estimativa

Leia mais

Algoritmo AKS Primalidade de um Número em Tempo Polinomial

Algoritmo AKS Primalidade de um Número em Tempo Polinomial Algoritmo AKS Primalidade de um Número em Tempo Polinomial Bruno da Rocha Braga Ravel / COPPE / UFRJ brunorb@ravel.ufrj.br http://www.ravel.ufrj.br/ 11 de Setembro, 2002 Resumo Os algoritmos para determinação

Leia mais

CIC 111 Análise e Projeto de Algoritmos II

CIC 111 Análise e Projeto de Algoritmos II CIC 111 Análise e Projeto de Algoritmos II Prof. Roberto Affonso da Costa Junior Universidade Federal de Itajubá AULA 21 Number theory Primes and factors Modular arithmetic Solving equations Other results

Leia mais

Existem infinitos números de Carmichael, mas não provaremos isso neste curso.

Existem infinitos números de Carmichael, mas não provaremos isso neste curso. 6 Pseudoprimos 6.1 O Pequeno Teorema de Fermat nos diz que, se n é primo, então temos b n b (mod n) para todo b Z. Portanto, a contrapositiva diz que se temos b n b (mod n) ( ) para algum b Z, então n

Leia mais

Universidade do Minho

Universidade do Minho Teórica n o 1 2007-02-22 Apresentação do docente e da disciplina. Algumas revisões de teoria de números elementar. O algoritmo de Euclides estendido; demonstração do teorema que fundamenta o algoritmo.

Leia mais

TESTES DE PRIMALIDADE

TESTES DE PRIMALIDADE TESTES DE PRIMALIDADE MOTIVACAO Testes de primalidade são ingredientes essenciais em sistemas de segurança computadorizados. Há uma série de sistemas de segurança que contam com a suposição que é difícil

Leia mais

Capítulo VIII. Tipo Abstracto de Dados Dicionário. Acesso por Chave

Capítulo VIII. Tipo Abstracto de Dados Dicionário. Acesso por Chave Capítulo VIII Tipo Abstracto de Dados Dicionário Acesso por Chave Margarida Mamede, DI FCT/UNL AED, 2009/10, Capítulo VIII 1 Interface Dicionário (K,V) (1) package datastructures; public interface Dictionary

Leia mais

Criptografia e Segurança

Criptografia e Segurança Criptografia e Segurança das Comunicações Bases matemáticas: Teoria dos números Prof RG Crespo Criptografia e Segurança das Comunicações Teoria números : 1/40 Introdução A teoria dos números ( number theory

Leia mais

1 Potências e raízes em Aritmética Modular. Seja p primo e a um inteiro primo com p; a aplicação

1 Potências e raízes em Aritmética Modular. Seja p primo e a um inteiro primo com p; a aplicação 1 Potências e raízes em Aritmética Modular 1.1 Os Teoremas de Fermat e Euler Seja p primo e a um inteiro primo com p; a aplicação Z /p Z /p, x ax definida pela multiplicação por a (ou mais precisamente

Leia mais

, com k 1, p 1, p 2,..., p k números primos e α i, β i 0 inteiros, as factorizações de dois números inteiros a, b maiores do que 1.

, com k 1, p 1, p 2,..., p k números primos e α i, β i 0 inteiros, as factorizações de dois números inteiros a, b maiores do que 1. Como seria de esperar, o Teorema Fundamental da Aritmética tem imensas consequências importantes. Por exemplo, dadas factorizações em potências primas de dois inteiros, é imediato reconhecer se um deles

Leia mais

Algoritmo. Exemplo. Definição. Programação de Computadores Comparando Algoritmos. Alan de Freitas

Algoritmo. Exemplo. Definição. Programação de Computadores Comparando Algoritmos. Alan de Freitas Algoritmos Programação de Computadores Comparando Algoritmos Um algoritmo é um procedimento de passos para cálculos. Este procedimento é composto de instruções que definem uma função Até o momento, vimos

Leia mais

Binomiais e Primos. p p 2 + p 3 + p k. Demonstração. No produto n! = n, apenas os múltiplos de p contribuem com um fator p.

Binomiais e Primos. p p 2 + p 3 + p k. Demonstração. No produto n! = n, apenas os múltiplos de p contribuem com um fator p. Polos Olímpicos de Treinamento Curso de Teoria dos Números - Nível 3 Carlos Gustavo Moreira Aula 16 Binomiais e Primos Começamos lembrando a Proposição 1 (Fatores do Fatorial) Seja p um primo Então a maior

Leia mais

Aritmética. Somas de Quadrados

Aritmética. Somas de Quadrados Aritmética Somas de Quadrados Carlos Humberto Soares Júnior PROFMAT - SBM Objetivo Determinar quais números naturais são soma de dois quadrados. PROFMAT - SBM Aritmética, Somas de Quadrados slide 2/14

Leia mais

Uma análise comparativa entre os testes de primalidade AKS e Miller-Rabin

Uma análise comparativa entre os testes de primalidade AKS e Miller-Rabin Uma análise comparativa entre os testes de primalidade AKS e Miller-Rabin RESUMO Fernando de Farias Universidade Católica de Brasília Curso de Matemática Orientador: José Eduardo Castilho Os algoritmos

Leia mais

Teorema de Euclides O conjunto dos números primos é infinito. O número de primos menores ou iguais a um dado x é representado

Teorema de Euclides O conjunto dos números primos é infinito. O número de primos menores ou iguais a um dado x é representado Teorema de Euclides O conjunto dos números primos é infinito Definição O número de primos menores ou iguais a um dado x é representado por π(x) sendo π designada a função de distribuição, ou de contagem,

Leia mais

Aula 23. Ivan Sendin. 31 de outubro de FACOM - Universidade Federal de Uberlandia TSeg.

Aula 23. Ivan Sendin. 31 de outubro de FACOM - Universidade Federal de Uberlandia TSeg. Segurança da Informação Aula 23 FACOM - Universidade Federal de Uberlandia ivansendin@yahoo.com,sendin@ufu.br 31 de outubro de 2018 ou Criptografia de Chave Publica PK e SK PK cifra, publica,... SK decifra,

Leia mais

Note-se que pelo Teorema de Euler. a φ(n) 1 (mod n) logo existe k nas condições da definição acima e. Raízes Primitivas. Ordem de um elemento

Note-se que pelo Teorema de Euler. a φ(n) 1 (mod n) logo existe k nas condições da definição acima e. Raízes Primitivas. Ordem de um elemento Ordem de um elemento Definição Sejam a e n inteiros tais que m.d.c.(a, n) = 1. O menor inteiro positivo k tal que tal que a k 1 (mod n) diz-se a ordem de a módulo n e representa-se por ord n (a). Note-se

Leia mais

D OLJHLUD UDSRVD PDUURP VDOWRX VREUH R FDFKRUUR FDQVDGR 1

D OLJHLUD UDSRVD PDUURP VDOWRX VREUH R FDFKRUUR FDQVDGR 1 Matemática Discreta October 12, 2018 1 1 Criptografia Criptografia de chave secreta: quando remetente e destinatário concordam um código. Exemplo: Código de Caesar O que está escríto? D OLJHLUD UDSRVD

Leia mais

AKS: um algoritmo para identificar números primos

AKS: um algoritmo para identificar números primos AKS: um algoritmo para identificar números primos IM-UFBA 08 de novembro de 2016 Índice 1 Preliminares 2 3 4 5 Introdução Números primos Comprovar a primalidade de um número natural significa comprovar

Leia mais

Fundamentos: Algoritmos, Inteiros e Matrizes. Inteiros e. Primos e. Divisor Comum. Inteiros e. Algoritmos. Teoria dos Centro de Informática UFPE

Fundamentos: Algoritmos, Inteiros e Matrizes. Inteiros e. Primos e. Divisor Comum. Inteiros e. Algoritmos. Teoria dos Centro de Informática UFPE , Fundamentos:, Centro de Informática UFPE , 1 2 3 4 , Sejam a e b inteiros, com a 0. a divide b se existe um inteiro c, tal que b = ac. a divide b a b Por exemplo, a = 3, b = 12 , Sejam a e b inteiros,

Leia mais

Números Primos: onde estão? Por que encontrá-los? Ana Cristina Vieira MAT/UFMG. Primos

Números Primos: onde estão? Por que encontrá-los? Ana Cristina Vieira MAT/UFMG. Primos 1 Números Primos: onde estão? Por que encontrá-los? Ana Cristina Vieira MAT/UFMG Primos Definição: Livro VII dos Elementos de Euclides de Alexandria (360 a.c - 295 a.c). Dado qualquer número inteiro n,

Leia mais

Complexidade de Algoritmos

Complexidade de Algoritmos Complexidade de Algoritmos Prof. Diego Buchinger diego.buchinger@outlook.com diego.buchinger@udesc.br Prof. Cristiano Damiani Vasconcellos cristiano.vasconcellos@udesc.br Um pouco de Teoria dos Números

Leia mais

Tabelas de Dispersão. Tabela de Dispersão

Tabelas de Dispersão. Tabela de Dispersão Tabelas de Dispersão Sumário Definição. Características. Resolução de colisões: dispersão aberta e dispersão fechada. Teste quadrático. Desempenho de tabelas de dispersão. Interface de tabela de dispersão.

Leia mais

Aula 15. Ivan Sendin. 11 de outubro de FACOM - Universidade Federal de Uberlandia TSeg.

Aula 15. Ivan Sendin. 11 de outubro de FACOM - Universidade Federal de Uberlandia TSeg. Tópicos em Segurança da Informação Aula 15 FACOM - Universidade Federal de Uberlandia ivansendin@yahoo.com,sendin@ufu.br 11 de outubro de 2017 Constroem os compostos São infinitos p n n = p.n Infinitos...

Leia mais

Variáveis e estruturas de controlo. Introdução à Programação André L. Santos

Variáveis e estruturas de controlo. Introdução à Programação André L. Santos Variáveis e estruturas de controlo Introdução à Programação André L. Santos Variáveis Uma variável pode ser vista como um espaço em memória onde um valor de determinado tipo (p.e. inteiro) pode ser guardado.

Leia mais

Codificação de Informação 2010/2011

Codificação de Informação 2010/2011 Codificação de Informação 2010/2011 Sumário: Criptografia de chave pública Tipos de chave: cifras simétricas Chave comum à operação de cifrar e de decifrar Chave secreta P mensagem em claro, C mensagem

Leia mais

NÚMEROS ESPECIAIS. Luciana Santos da Silva Martino. lulismartino.wordpress.com PROFMAT - Colégio Pedro II

NÚMEROS ESPECIAIS. Luciana Santos da Silva Martino. lulismartino.wordpress.com PROFMAT - Colégio Pedro II Sumário NÚMEROS ESPECIAIS Luciana Santos da Silva Martino lulismartino.wordpress.com lulismartino@gmail.com PROFMAT - Colégio Pedro II 27 de outubro de 2017 Sumário 1 Primos de Fermat, de Mersenne e em

Leia mais

Análise e implementação de algoritmos acerca de números primos para uso em maratonas de programação

Análise e implementação de algoritmos acerca de números primos para uso em maratonas de programação Universidade de Brasília - UnB Faculdade UnB Gama - FGA Engenharia Eletrônica Análise e implementação de algoritmos acerca de números primos para uso em maratonas de programação Autor: Felipe Duerno do

Leia mais

Prof. A. G. Silva. 13 de setembro de Prof. A. G. Silva INE5603 Introdução à POO 13 de setembro de / 21

Prof. A. G. Silva. 13 de setembro de Prof. A. G. Silva INE5603 Introdução à POO 13 de setembro de / 21 INE5603 Introdução à POO Prof. A. G. Silva 13 de setembro de 2017 Prof. A. G. Silva INE5603 Introdução à POO 13 de setembro de 2017 1 / 21 Estruturas de repeteção (INTRODUÇÃO) Prof. A. G. Silva INE5603

Leia mais

Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação. Teoria dos Números

Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação. Teoria dos Números Universidade Federal do Espírito Santo Centro de Ciências Agrárias CCA UFES Departamento de Computação Teoria dos Números Tópicos Especiais em Programação Site: http://jeiks.net E-mail: jacsonrcsilva@gmail.com

Leia mais

Aula 7. Aula de hoje. Aula passada

Aula 7. Aula de hoje. Aula passada Aula 7 Aula passada Método de Monte Carlo Estimando somatórios Calculando erro Estimando Erro de Integração de Monte Carlo Monte Carlo Ray Tracing Aula de hoje Gerando amostras de v.a. discretas Gerando

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/14 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)

Leia mais

Criptografia com Maple

Criptografia com Maple Criptografia com Maple - Verão/2005 Fábio Borges & Renato Portugal Criptografia com Maple p.1/32 Simétrica versus Assimétrica Simétrica Criptografia com Maple p.2/32 Simétrica versus Assimétrica Simétrica

Leia mais

Medida do Tempo de Execução de um Programa. Bruno Hott Algoritmos e Estruturas de Dados I DECSI UFOP

Medida do Tempo de Execução de um Programa. Bruno Hott Algoritmos e Estruturas de Dados I DECSI UFOP Medida do Tempo de Execução de um Programa Bruno Hott Algoritmos e Estruturas de Dados I DECSI UFOP Medida do Tempo de Execução de um Programa O projeto de algoritmos é fortemente influenciado pelo estudo

Leia mais

Complexidade de algoritmos Notação Big-O

Complexidade de algoritmos Notação Big-O Complexidade de algoritmos Notação Big-O Prof. Byron Leite Prof. Tiago Massoni Engenharia da Computação Poli - UPE Motivação O projeto de algoritmos é influenciado pelo estudo de seus comportamentos Problema

Leia mais

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA

INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA INE5403 FUNDAMENTOS DE MATEMÁTICA DISCRETA PARA A COMPUTAÇÃO PROF. DANIEL S. FREITAS UFSC - CTC - INE Prof. Daniel S. Freitas - UFSC/CTC/INE/2007 p.1/30 3 - INDUÇÃO E RECURSÃO 3.1) Indução Matemática 3.2)

Leia mais

é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que:

é uma proposição verdadeira. tal que: 2 n N k, Φ(n) = Φ(n + 1) é uma proposição verdadeira. com n N k, tal que: Matemática Discreta 2008/09 Vítor Hugo Fernandes Departamento de Matemática FCT/UNL Axioma (Princípio da Boa Ordenação dos Números Naturais) O conjunto parcialmente (totalmente) ordenado (N, ), em que

Leia mais

1 TESTE TEORIA DE NÚMEROS COMPUTACIONAL

1 TESTE TEORIA DE NÚMEROS COMPUTACIONAL 1 TESTE TEORIA DE NÚMEROS COMPUTACIONAL Licenciatura em Matemática 17 de abril de 2012 duração 1h 45m Responda, justificando cuidadosamente, às seguintes questões: 1. (a) Sem utilizar o Mathematica, calcule

Leia mais

2 n p q, com p, q primos. Sabe-se que: 2 n (n k) (n k) para k qualquer; em particular um inteiro. E, portanto podemos ter: p n k q n k.

2 n p q, com p, q primos. Sabe-se que: 2 n (n k) (n k) para k qualquer; em particular um inteiro. E, portanto podemos ter: p n k q n k. A carta de Goldbach a Euler, datada de 7 de Junho de 1742, deu origem à versão moderna de sua conjectura, como atualmente difundida: Todo inteiro par maior que 2 pode ser representado como a soma de 2

Leia mais

MATEMÁTICA MÓDULO 8 DIVISIBILIDADE E CONGRUÊNCIA. Professor Matheus Secco

MATEMÁTICA MÓDULO 8 DIVISIBILIDADE E CONGRUÊNCIA. Professor Matheus Secco MATEMÁTICA Professor Matheus Secco MÓDULO 8 DIVISIBILIDADE E CONGRUÊNCIA 1. DIVISIBILIDADE Definição: Sejam a, b inteiros com a 0. Diz-se que a divide b (denota-se por a b) se existe c inteiro tal que

Leia mais

Teorema 1.1 (Teorema de divisão de Euclides). Dados n Z e d N, existe uma única dupla q Z, r. n = qd + r

Teorema 1.1 (Teorema de divisão de Euclides). Dados n Z e d N, existe uma única dupla q Z, r. n = qd + r Matemática Discreta September 18, 2018 1 1 Divisão de inteiros Teorema 1.1 (Teorema de divisão de Euclides). Dados n Z e d N, existe uma única dupla q Z, r {0,..., d 1} tal que n = qd + r Dizemos que a

Leia mais

Conteúdo. Adilson Gonçalves Luiz Manoel Figueiredo. 17 de Setembro de Aula 7 Ideais maximais e números primos 3

Conteúdo. Adilson Gonçalves Luiz Manoel Figueiredo. 17 de Setembro de Aula 7 Ideais maximais e números primos 3 Álgebra 1 Adilson Gonçalves Luiz Manoel Figueiredo 17 de Setembro de 2004 Conteúdo Aula 7 Ideais maximais e números primos 3 Aula 8 Fatoração única: o Teorema Fundamental da Aritmética 11 Aula 9 Os inteiros

Leia mais

Sobre números primos

Sobre números primos Sobre números primos Profs.: Joaby de Souza Jucá & Thaynara Arielly de Lima Universidade Federal de Goiás 23 de outubro de 2014 1 Introdução 2 Resultados preliminares 3 Sobre distribuição dos números primos

Leia mais

MC102 Algoritmos e Programação de Computadores

MC102 Algoritmos e Programação de Computadores MC102 Algoritmos e Programação de Computadores Instituto de Computação UNICAMP Primeiro Semestre de 2015 Roteiro 1 Fundamentos de análise de algoritmos 2 Cálculo da função de custo 3 Exercícios Instituto

Leia mais

Computação 1 - Python Aula 7 - Teórica: Estrutura de Repetição com teste de parada: while 1/ 23

Computação 1 - Python Aula 7 - Teórica: Estrutura de Repetição com teste de parada: while 1/ 23 Computação 1 - Python Aula 7 - Teórica: Estrutura de Repetição com teste de parada: while 1/ 23 Permite que o programador especifique que o programa deve repetir um conjunto de comandos enquanto uma dada

Leia mais

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017

Matemática Discreta. Fundamentos e Conceitos da Teoria dos Números. Universidade do Estado de Mato Grosso. 4 de setembro de 2017 Matemática Discreta Fundamentos e Conceitos da Teoria dos Números Professora Dr. a Donizete Ritter Universidade do Estado de Mato Grosso 4 de setembro de 2017 Ritter, D. (UNEMAT) Matemática Discreta 4

Leia mais

Lista 2 - PMR2300/3200

Lista 2 - PMR2300/3200 Lista 2 - PMR2300/3200 Fabio G. Cozman, Thiago Martins 8 de março de 2015 1. Qual String é impressa pelo programa: p u b l i c c l a s s What { p u b l i c s t a t i c void f ( i n t x ) { x = 2 ; p u

Leia mais

Linguagem C++ Estruturas de controle Parte II Estruturas de repetição

Linguagem C++ Estruturas de controle Parte II Estruturas de repetição Fundamentos de Programação Linguagem C++ Estruturas de controle Parte II Estruturas de repetição Prof. Bruno E. G. Gomes IFRN 1 Estruturas de Controle Permitem o controle da sequência de execução de um

Leia mais

double x; x = enigmab1(100);

double x; x = enigmab1(100); 8h Universidade Federal do ABC Avaliação: Prova 02 Disciplina: Processamento da Informação Turmas: A4, A5 (8hs) Professor: Jesús P. Mena-Chalco Data: 05/05/2016 Nome: RA: Instruções para a prova (leia

Leia mais

Lista 1 - PMR2300. Fabio G. Cozman 3 de abril de 2013

Lista 1 - PMR2300. Fabio G. Cozman 3 de abril de 2013 Lista 1 - PMR2300 Fabio G. Cozman 3 de abril de 2013 1. Qual String é impressa pelo programa: p u b l i c c l a s s What { p u b l i c s t a t i c void f ( i n t x ) { x = 2 ; p u b l i c s t a t i c void

Leia mais

Paralelização Eficiente para o Algoritmo Binário de Exponenciação Modular

Paralelização Eficiente para o Algoritmo Binário de Exponenciação Modular Paralelização Eficiente para o Algoritmo Binário de Exponenciação Modular Pedro Carlos da Silva Lara Fábio Borges de Oliveira Renato Portugal Laboratório Nacional de Computação Científica Índice 1 Introdução

Leia mais

Lógica de Programação I

Lógica de Programação I Gilson de Souza Carvalho gaucho.gilson@hotmail.com 1 Comandos de repetição combinados com comandos de condição A utilização de comandos de repetição combinados com comandos de condição permite resolver

Leia mais

Álgebra I Israel. Bárbara Lopes Amaral. 19 de novembro de Universidade Federal de Minas Gerais. Fatoração de Polinômios. Lagrange.

Álgebra I Israel. Bárbara Lopes Amaral. 19 de novembro de Universidade Federal de Minas Gerais. Fatoração de Polinômios. Lagrange. Álgebra I Israel Lopes Amaral Universidade Federal de Minas Gerais 19 de novembro de 2007 Lagange Lema Fatora polinômios em Z[x], utilizando uma idéia bastante simples. Esse método não é muito eficiente.

Leia mais

Algoritmos de Aproximação Segundo Semestre de 2012

Algoritmos de Aproximação Segundo Semestre de 2012 Algoritmos de Aproximação Segundo Semestre de 2012 Aproximação p. 1 Problema de decisão Problema de decisão: conjunto I de instâncias e função f : I {SIM, NÃO} Aproximação p. 2 Problema de decisão Problema

Leia mais

Aritmética dos Restos. Pequeno Teorema de Fermat. Tópicos Adicionais

Aritmética dos Restos. Pequeno Teorema de Fermat. Tópicos Adicionais Aritmética dos Restos Pequeno Teorema de Fermat Tópicos Adicionais Aritmética dos Restos Pequeno Teorema de Fermat 1 Exercícios Introdutórios Exercício 1. Encontre os restos da divisão de 2 24 por a) 5

Leia mais

Software de Telecomunicações. Teoria dos números

Software de Telecomunicações. Teoria dos números Software de Telecomunicações Teoria dos números Prof RG Crespo Software de Telecomunicações Teoria números : 1/37 Números primos (1) O conjunto dos inteiros {...,-2,-1,0,1,2,...} é representado por Z.

Leia mais

Inteiros. Inteiros. Congruência. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006.

Inteiros. Inteiros. Congruência. Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006. Inteiros Inteiros. Congruência. Referência: Capítulo: 4 Discrete Mathematics with Graph Theory Edgar Goodaire e Michael Parmenter, 3rd ed 2006 1 Números reais A relação binária em R é uma ordem parcial

Leia mais

Tabelas Hash O Que é uma Tabela Hash? O Que é uma Tabela Hash? O Que é uma Tabela Hash? Inserindo um Novo Registro. O Que é uma Tabela Hash?

Tabelas Hash O Que é uma Tabela Hash? O Que é uma Tabela Hash? O Que é uma Tabela Hash? Inserindo um Novo Registro. O Que é uma Tabela Hash? Tabelas Hash O Que é uma Tabela Hash? Nesta aula são discutidos modos de armazenar informações em um vetor, e depois procurar por uma informação Tabelas Hash constituem uma abordagem comum para o problema

Leia mais

Árvores. Thiago Martins, Fabio Gagliardi Cozman. PMR2300 / PMR3201 Escola Politécnica da Universidade de São Paulo

Árvores. Thiago Martins, Fabio Gagliardi Cozman. PMR2300 / PMR3201 Escola Politécnica da Universidade de São Paulo PMR2300 / PMR3201 Escola Politécnica da Universidade de São Paulo Árvore: estrutura composta por nós e arestas entre nós. As arestas são direcionadas ( setas ) e: um nó (e apenas um) é a raiz; todo nó

Leia mais

Introdução aos Métodos de Prova

Introdução aos Métodos de Prova Introdução aos Métodos de Prova Renata de Freitas e Petrucio Viana IME-UFF, Niterói/RJ II Colóquio de Matemática da Região Sul UEL, Londrina/PR 24 a 28 de abril 2012 Sumário Provas servem, principalmente,

Leia mais

MATEMÁTICA DISCRETA ARITMÉTICA RACIONAL (6/6) Carlos Luz. EST Setúbal / IPS Maio 2012

MATEMÁTICA DISCRETA ARITMÉTICA RACIONAL (6/6) Carlos Luz. EST Setúbal / IPS Maio 2012 MATEMÁTICA DISCRETA ARITMÉTICA RACIONAL (6/6) Carlos Luz EST Setúbal / IPS 21 27 Maio 2012 Carlos Luz (EST Setúbal / IPS) Aritmética Racional (6/6) 21 27 Maio 2012 1 / 15 Congruências Lineares De nição

Leia mais

Elementos de Análise Assintótica

Elementos de Análise Assintótica Elementos de Análise Assintótica Marcelo Keese Albertini Faculdade de Computação Universidade Federal de Uberlândia 23 de Março de 2018 Aula de hoje Nesta aula veremos: Elementos de Análise Assintótica

Leia mais

Um novo algoritmo probabilístico para fatoração de inteiros com primos relativamente distantes p.1/15

Um novo algoritmo probabilístico para fatoração de inteiros com primos relativamente distantes p.1/15 Um novo algoritmo probabilístico para fatoração de inteiros com primos relativamente distantes VIII SBSeg - Set/08 Fábio Borges - LNCC Um novo algoritmo probabilístico para fatoração de inteiros com primos

Leia mais

Introdução à Teoria dos Números Notas de Aulas 3 Prof Carlos Alberto S Soares

Introdução à Teoria dos Números Notas de Aulas 3 Prof Carlos Alberto S Soares Introdução à Teoria dos Números 2018 - Notas de Aulas 3 Prof Carlos Alberto S Soares 1 Números Primos e o Teorema Fundamental da Aritmética Em notas anteriores já definimos os números primos, isto é, números

Leia mais

Folhas de exercícios

Folhas de exercícios Folhas de exercícios Fernando Ferreira Introdução à Teoria dos Números 2017/2018 1. Dado a Z e n N, mostre que (a 1) (a n 1). Sugestão: note que o polinómio X n 1 tem raíz 1. 2. Calcule o cociente e o

Leia mais

MAE GABARITO DA LISTA 2-04/10/2016

MAE GABARITO DA LISTA 2-04/10/2016 MAE5709 - GABARITO DA LISTA - 04/0/06 Exercício.7.5. Primeira Parte Seja P uma matriz de transição sobre um espaço de estados finito S. Mostre que uma distribuição π é invariante para P se e somente se

Leia mais

pior caso nas operações de manipulação é O(N) pior caso surge sistematicamente emusos correntes (ex: elementos previamente ordenados)

pior caso nas operações de manipulação é O(N) pior caso surge sistematicamente emusos correntes (ex: elementos previamente ordenados) Tabelas de Dispersão (Hash( Tables) Sumário Definição. Características. Resolução de colisões: dispersão aberta e dispersão fechada. Teste quadrático. Desempenho de tabelas de dispersão. Interface de tabela

Leia mais

ax + by 347 = 0 k = text UNIDADE CURRICULAR: Matemática Finita CÓDIGO: DOCENTES: Gilda Ferreira e Ana Nunes

ax + by 347 = 0 k = text UNIDADE CURRICULAR: Matemática Finita CÓDIGO: DOCENTES: Gilda Ferreira e Ana Nunes text UNIDADE CURRICULAR: Matemática Finita CÓDIGO: 21082 DOCENTES: Gilda Ferreira e Ana Nunes Resolução e Critérios de Correção 1. Sejam a, b Z tais que mdc(a, b) = 12. Relativamente à equação ax + by

Leia mais

Números Primos e Criptografia RSA

Números Primos e Criptografia RSA Números Primos e Criptografia RSA Jean Carlo Baena Vicente Matemática - UFPR Orientador: Carlos Henrique dos Santos 6 de outubro de 2013 Sumário Criptografia RSA Por que o RSA funciona? Fatoração Primalidade

Leia mais

Processamento da Informação

Processamento da Informação Processamento da Informação Fabrício Olivetti de França 02 de Fevereiro de 2019 Topics 1. Processamento da Informação 2. Conceitos de Programação 3. Funções e Programas de Computador 1 Processamento da

Leia mais

Matemática para Ciência de Computadores

Matemática para Ciência de Computadores Matemática para Ciência de Computadores 1 o Ano - LCC & ERSI Luís Antunes lfa@ncc.up.pt DCC-FCUP Complexidade 2002/03 1 Inteiros e divisão Definição: Se a e b são inteiros com a 0, dizemos que a divide

Leia mais

UNIDADE 4 Tomada de decisão e funções de controlo

UNIDADE 4 Tomada de decisão e funções de controlo UNIDADE 4 Tomada de decisão e funções de controlo Objetivo e Conteúdos da Unidade 4 Objetivo Estuda as funções de controlo de curso e de execução do programa. Conteúdos Estudo comparativo, operadores Booleanos

Leia mais

Algoritmos e Modelação Computacional. Paulo Mateus MEBiom LMAC 2018

Algoritmos e Modelação Computacional. Paulo Mateus MEBiom LMAC 2018 Algoritmos e Modelação Computacional Paulo Mateus MEBiom LMAC 2018 Objetivos Edição e compilação de programas Tipos e expressões Declaração de variáveis Atribuição, composição sequencial, iterativa e alternativa

Leia mais

LISTA DE EXERCÍCIOS O que será escrito quando os algoritmos/trechos de algoritmos abaixo forem executados (fazer no papel)?

LISTA DE EXERCÍCIOS O que será escrito quando os algoritmos/trechos de algoritmos abaixo forem executados (fazer no papel)? LISTA DE EXERCÍCIOS 09 1 O número 3025 possui a seguinte característica: 30 + 25 = 55 55² = 3025 Elabore um algoritmo que pesquise e imprima todos os números de quatro algarismos que possuam esta característica.

Leia mais

4. Constantes. Constantes pré-definidas

4. Constantes. Constantes pré-definidas 4. Constantes Constantes pré-definidas O PHP possui algumas constantes pré-definidas, indicando a versão do PHP, o Sistema Operacional do servidor, o arquivo em execução, e diversas outras informações.

Leia mais

Árvores B. Prof. Márcio Bueno. / Fonte: Material da Prof a Ana Eliza Lopes Moura

Árvores B. Prof. Márcio Bueno. / Fonte: Material da Prof a Ana Eliza Lopes Moura Árvores B Prof. Márcio Bueno ed2tarde@marciobueno.com / ed2noite@marciobueno.com Fonte: Material da Prof a Ana Eliza Lopes Moura Situação Problema Memória Principal Volátil e limitada Aplicações Grandes

Leia mais

Programação Estruturada

Programação Estruturada Programação Estruturada Recursão Professores Emílio Francesquini e Carla Negri Lintzmayer 2018.Q3 Centro de Matemática, Computação e Cognição Universidade Federal do ABC Recursão Recursão 1 Recursão 2

Leia mais

Medida do Tempo de Execução de um Programa. David Menotti Algoritmos e Estruturas de Dados II DInf UFPR

Medida do Tempo de Execução de um Programa. David Menotti Algoritmos e Estruturas de Dados II DInf UFPR Medida do Tempo de Execução de um Programa David Menotti Algoritmos e Estruturas de Dados II DInf UFPR Medida do Tempo de Execução de um Programa O projeto de algoritmos é fortemente influenciado pelo

Leia mais

Transformação de Chave. (Hashing)

Transformação de Chave. (Hashing) UNIVERSIDADE ESTADUAL DE MARINGÁ DEPARTAMENTO DE INFORMÁTICA Transformação de Chave (Hashing) e Gomes da Costa yandre@din.uem.br 1 Transformações de Chave, ou Tabela Hash, ou Tabelas de Dispersão; Hashing

Leia mais

Explorando o universo dos Números Primos

Explorando o universo dos Números Primos Universidade Estadual Paulista Júlio de Mesquita Filho Instituto de Geociências e Ciências Exatas Campus de Rio Claro Explorando o universo dos Números Primos Rafael Américo de Oliveira Dissertação apresentada

Leia mais

Métodos de Monte Carlo

Métodos de Monte Carlo prcjunior@inf.ufpr.br VRI Visão Robótica e Imagem Universidade Federal do Paraná Introdução são métodos estatísticos baseados em amostragens aleatórias ou pseudoaleatórias Tempo de execução determinístico

Leia mais

Nós estamos acostumados com operações aritméticas: soma, subtração, multiplicação e divisão.

Nós estamos acostumados com operações aritméticas: soma, subtração, multiplicação e divisão. Bitwise tricks Operações com bits Nós estamos acostumados com operações aritméticas: soma, subtração, multiplicação e divisão. Mas os computadores entendem melhor operações booleanas, que computam diretamente

Leia mais

MATEMÁTICA 1 MÓDULO 2. Divisibilidade. Professor Matheus Secco

MATEMÁTICA 1 MÓDULO 2. Divisibilidade. Professor Matheus Secco MATEMÁTICA 1 Professor Matheus Secco MÓDULO 2 Divisibilidade 1. DIVISIBILIDADE 1.1 DEFINIÇÃO: Dizemos que o inteiro a é divisível pelo inteiro b (ou ainda que a é múltiplo de b) se existe um inteiro c

Leia mais

UNIVERSIDADE FEDERAL DO CEARÁ CENTRO DE CIÊNCIAS PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT

UNIVERSIDADE FEDERAL DO CEARÁ CENTRO DE CIÊNCIAS PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT UNIVERSIDADE FEDERAL DO CEARÁ CENTRO DE CIÊNCIAS PROGRAMA DE PÓS-GRADUAÇÃO EM MATEMÁTICA MESTRADO PROFISSIONAL EM MATEMÁTICA - PROFMAT RICARDO PEREIRA DE ANDRADE TESTES DE PRIMALIDADE: UMA ANÁLISE MATEMÁTICA

Leia mais

Modularidade. Objetivos: Introduzir noções básicas de modularidade. Funções e procedimentos

Modularidade. Objetivos: Introduzir noções básicas de modularidade. Funções e procedimentos Modularidade Objetivos: Introduzir noções básicas de modularidade Funções e procedimentos Motivação É muito difícil manter um código quando ele tende a ser grande (com muitas linhas) É preciso organizar

Leia mais

Introdução à Teoria dos Números Notas de Aulas 3 Prof Carlos Alberto S Soares

Introdução à Teoria dos Números Notas de Aulas 3 Prof Carlos Alberto S Soares Introdução à Teoria dos Números 2018 - Notas de Aulas 3 Prof Carlos Alberto S Soares 1 Números Primos e o Teorema Fundamental da Aritmética Em notas anteriores já definimos os números primos, isto é, números

Leia mais

Introdução à Análise de Algoritmos

Introdução à Análise de Algoritmos Quanto tempo leva a execução de determinado algoritmo? Quando temos dois algoritmos que fazem a mesma coisa, qual deles leva menos tempo? A análise do algoritmo preocupa-se com as questões acima. É sempre

Leia mais

Programação Estruturada e Orientada a Objetos

Programação Estruturada e Orientada a Objetos INSTITUTO FEDERAL DE EDUCAÇÃO, CIÊNCIA E TECNOLOGIA DO RIO GRANDE DO NORTE Programação Estruturada e Orientada a Objetos Docente: Éberton da Silva Marinho e-mail: ebertonsm@gmail.com eberton.marinho@ifrn.edu.br

Leia mais

Estruturas de Dados Algoritmos de Ordenação

Estruturas de Dados Algoritmos de Ordenação Estruturas de Dados Prof. Eduardo Alchieri (introdução) Considere uma sequência arbitrária S = {s1, s2, s3,...sn} composta por n 0 elementos retirados do conjunto universo U O objetivo da ordenação é arrumar

Leia mais

Expressões Condicionais

Expressões Condicionais Programação Funcional Capítulo 4 Expressões Condicionais José Romildo Malaquias Departamento de Computação Universidade Federal de Ouro Preto 2012.1 1/39 1 Combinando funções 2 Expressão condicional 3

Leia mais

Algoritmos. OBMEP Teoria dos números - Parte I. Algoritmo da divisão:

Algoritmos. OBMEP Teoria dos números - Parte I. Algoritmo da divisão: OBMEP Teoria dos números - Parte I Elaine Pimentel 1 o Semestre - 2006 Algoritmos Algoritmo = processo de cálculo baseado em regras formais Especificação de um algoritmo: entrada + instruções + saída Perguntas:

Leia mais

Troca de chaves Diffie-Hellman Grupos finitos Grupos cíclicos

Troca de chaves Diffie-Hellman Grupos finitos Grupos cíclicos Introdução à Chave Pública Troca de chaves Diffie-Hellman Grupos finitos Grupos cíclicos Troca de Chaves de Diffie-Hellman Parâmetros públicos p, α Alice: 1 Sorteia a = K pra {2, 3,..., p 2} 3 Envia para

Leia mais

5 Congruências lineares. Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução matemática e divisibilidade

5 Congruências lineares. Programa. 1 Parte 1 - Conjuntos e Aplicações. 1 Conjuntos. 4 Indução matemática e divisibilidade Matemática Discreta 2008/09 Jorge André & Vítor Hugo Fernandes Departamento de Matemática FCT/UNL Programa 1 Parte 1 - Conjuntos e Aplicações 1 Conjuntos 2 Relações Binárias 3 Aplicações 4 Indução matemática

Leia mais

Processamento da Informação Estruturas de seleção simples e composta

Processamento da Informação Estruturas de seleção simples e composta Processamento da Informação Estruturas de seleção simples e composta Prof. Jesús P. Mena-Chalco CMCC/UFABC Q1/2017 1 Expressões Booleanas 2 Fonte: http://pt.wikipedia.org/wiki/george_boole Expressões Booleanas

Leia mais

Conjetura de Goldbach - Uma visão Aritmética

Conjetura de Goldbach - Uma visão Aritmética Universidade dos Açores Departamento de Matemática Conjetura de Goldbach - Uma visão Aritmética José Emanuel Sousa Ponta Delgada Abril de 2013 Universidade dos Açores Departamento de Matemática Mestrado

Leia mais

3.3 Congruências e aritmética modular

3.3 Congruências e aritmética modular 40 CHAPTER 3. ELEMENTOS DE ARITMÉTICA DOS INTEIROS 3.3 Congruências e aritmética modular Consideremos primeiro o seguinte exemplo: o que podemos dizer sobre a imagem da função f : Z Z, f(x) =x 2 + x +

Leia mais

Introdução a Computação

Introdução a Computação O que é um computador? Um computador é uma coleção de componentes que realizam operações lógicas e aritméticas sobre um grande volume de dados. (F. K. Miyazawa) Um computador é composto por: Introdução

Leia mais

1 n s = s s s p s. ζ(s) = p

1 n s = s s s p s. ζ(s) = p Introdução A chamada série harmónica, n= n = + 2 + 3 + +... desde cedo suscitou interesse entre os 4 matemáticos. Infelizmente esta série diverge, o que se verifica por os termos termo n, apesar de tenderem

Leia mais