Re: [obm-l] [obm-l] OBM 1999 Fase 2, Nível 3, Problema 5

Bem, isto pode ser provado com indução. Mas se você quer saber o método, dê uma olhada na Eureka! 9, Equações de Recorrência. É, até o momento, a melhor referência que posso passar, haha! Em 09/08/07, Pedro Cardoso [EMAIL PROTECTED] escreveu: Olá, estou com dúvidas em relação à solução da

Re: [obm-l] Sequencia densa em [0, 1]

O que, afinal, demonstraria que a sequencia e densa em (0,1)? Acho que o Emanuel deu uma demo disso, na sua solucao do problema 3 na 1a. OBM universitária (Eureka! 13). P.S.: Teorema de Kronecker, esse é o nome! Em 08/08/07, Artur Costa Steiner [EMAIL PROTECTED] escreveu: Para x 0, seja

[obm-l] Anáise

Se A é um conjunto próprio de I_n, não pode existir uma bijeção f: A-I_n. Esse é um teorema que tem no livro do Elon Volume I - Análise Real. pag .4 Só que tem uma parte que não entendo. Segue abaixo: Neste caso, a restrição de g a A - {n_0} é uma bijeção do subconjunto próprio A - {n_0} sobre

Re: [obm-l] Incompletude dos Sistemas Formais

Ralonso Salve ! Ralonson disse: Como não li o livro de Göedel todo ...eu posso ter dito besteiras... quem tiver paciência, então, por favor me corrija. Meu velho voçe explicou magnificamente bem ! Eu ja tinha esse pensamento em mente mais nao tinha certeza se era isso mesmo. O

Re: [obm-l] Geo espacial

Obrigado Rogério Forte Abraço Vieira Flickr agora em português. Você clica, todo mundo vê. Saiba mais.

Re: [obm-l] Incompletude dos Sistemas Formais

A minha pergunta é qual software eu posso usar prar editar e estudar axiomas e teoremas (sistemas dedutivos) Um abração e muito obrigado ;)Alertas do Yahoo! Mail em seu celular. Saiba mais. O Software chama-se Isabelle e usa, se eu não me engano, lógica de segunda ordem. Digite as palavras

[obm-l] Ajuda ( reta simétrica)

Amigos gostaria da ajuda de vocês neste problema: A reta (s), simétrica de (r) x-y+1=0 em relação à reta (t) 2x+y+4=0, a) passa pela origem. b) forma um ângulo de 60º com (r). c) tem -1/5 como coeficiente angular. d) é paralela à reta de equação 7y-x+7=0 Obrigado Forte abraço

Re: [obm-l] Re: IMO 2007 (agora vai)

Prezado Ponce:Ola' Joao,nao foi pouco caso: ja' e' a 4a vez que mando esta mensagem, e, ate' agora, neca de pitibiriba - parece que o servidor da lista encruou...Mas, voltando 'a vaca fria, quero assinalar que tentar resolver certos problemas usando analogias pode ser ingrato porque frequentemente

Re: RES: [obm-l] Provar que k + raiz(k^2 +a ) eh irracional

Demetrio Freitas wrote: O Leandro tem muita razão quando diz que é necessário cuidado neste tipo de raciocínio. Conceitos familiares de cálculo e análise parecem ter utilidade restrita em questões de transcendência ou mesmo irracionalidade. Eu não conheço a prova de Lindemann. Na verdade,

Re: [obm-l] Re: IMO 2007 (agora vai)

Ponce: Na realidade, percebi agora sua verdadeira emoção. Confesso quenão queria olhar seus escritos. É o egoísmo que implica dessinteresse. Porém, agora, vou fazê-lo pela suahonesta postura.Ponce, será que você não poderia dialogar comigo na linguagem em que me manifesto? Diga-me diretamente se

[obm-l] Resultado da IMC -2007

Caros(as) amigos(as) da OBM: O resultado da equipe brasileira que participou da 14th. Olimpíada Internacional de Matemática Universitária - IMC entre os dias 3 e 9 de agosto de 2007 na cidade de Blagoevgrad - Bulgária é o seguinte: Medalha de Ouro: Fabio Dias Moreira, PUC-Rio Medalha de

Re: [obm-l] Ajuda ( reta simétrica)

As retas sao concorrentes em x=-5/3 y=-2/3 achando o angulo que a reta r e a t formam entre si: mr=(-2+1)/(1+2)=-1/3 o angulo agudo e +1/3 1/3= (-2+y)/(1+2y) 1+2y=-6+3y y=7 7=(3y+2)/(3x+5) 21x+35=3y+2 3y-21x=33 y-7x=11 On 8/9/07, cleber vieira [EMAIL PROTECTED] wrote: Amigos gostaria da ajuda

[obm-l] Prova formal dos Teoremas de Sylow usando Isabelle.

Para as pessoas interessadas achei esse paper interessante: http://portal.acm.org/citation.cfm?id=594135.594268dl=GUIDEdl=GUIDECFID=31274872CFTOKEN=72229214 = Instruções para entrar na lista, sair da lista e usar a lista

Re: [obm-l] Prova formal dos Teoremas de Sylow usando Isabelle.

Devo estar fazendo besteira, porque só consegui ver o abstract... Cai no site springerlink.com e lá ou pede login ou pede pra você comprar o texto completo. - Leandro.

Re: [obm-l] Anáise

Olá Klaus, Na demonstração do Teorema que você cita, esse n_0 foi tomado como a cardinalidade do menor conjunto para o qual este Teorema é falso. Em outras palavras: Suponha, por exemplo, que conjuntos com 1 e 2 elementos não admitem bijeções sobre subconjuntos próprios deles, mas existem

Re: [obm-l] BETONEIRA

Seria correto dizer que se as massas não fossem iguais a resposta seria a média harmônica ponderada, com as massas sendo os ponderadores ? - Original Message - From: Carlos Eddy Esaguy Nehab To: obm-l@mat.puc-rio.br Sent: Thursday, August 09, 2007 2:17 AM Subject: Re: [obm-l]