Contribuições do(a) usuário(a) ArthurJorge97

26 de dezembro de 2018

• 12h49min12h49min de 26 de dezembro de 2018 dif his +10 280‎ N Litecoin cash ‎ nova página: Litecoin Cash (símbolo: '''LCC'''<ref>https://coinmarketcap.com/currencies/litecoin-cash/</ref>) é uma criptomoeda criada no dia 18 de fevereiro de 2018, através de um proces...
• 12h48min12h48min de 26 de dezembro de 2018 dif his +10 281‎ Ajuda:Página de testes/1 ‎

10 de dezembro de 2018

• 18h09min18h09min de 10 de dezembro de 2018 dif his +480‎ Wikipédia:Pedidos/Restauro ‎

9 de dezembro de 2018

• 18h42min18h42min de 9 de dezembro de 2018 dif his +558‎ Ajuda:Página de testes/2 ‎

17 de julho de 2016

• 04h02min04h02min de 17 de julho de 2016 dif his +4 487‎ N Algoritmo Las Vegas ‎ Criado ao traduzir a página "Las Vegas algorithm" Etiqueta: Tradução de Conteúdo

15 de julho de 2016

• 15h01min15h01min de 15 de julho de 2016 dif his +4 502‎ N Algoritmo de Las Vegas ‎ Criado ao traduzir a página "Las Vegas algorithm" Etiqueta: Tradução de Conteúdo

8 de julho de 2016

• 05h00min05h00min de 8 de julho de 2016 dif his +3 979‎ N Teorema de Valiant-Vazirani ‎ Criado ao traduzir a página "Valiant–Vazirani theorem" Etiqueta: Tradução de Conteúdo
• 04h22min04h22min de 8 de julho de 2016 dif his +6 214‎ N P-Sharp completude ‎ Criado ao traduzir a página "Sharp-P-complete" Etiqueta: Tradução de Conteúdo
• 03h44min03h44min de 8 de julho de 2016 dif his +4 767‎ N ♯P ‎ Criado ao traduzir a página "Sharp-P" Etiqueta: Tradução de Conteúdo

29 de julho de 2015

• 22h54min22h54min de 29 de julho de 2015 dif his 0‎ Teorema da dedução ‎
• 22h39min22h39min de 29 de julho de 2015 dif his −22‎ Teorema da dedução ‎
• 22h31min22h31min de 29 de julho de 2015 dif his −1 073‎ Teorema da dedução ‎

7 de julho de 2015

• 19h16min19h16min de 7 de julho de 2015 dif his +20‎ Teorema da dedução ‎
• 19h11min19h11min de 7 de julho de 2015 dif his −14‎ Teorema da dedução ‎ agora colocando as categorias certas Etiqueta: Editor Visual
• 19h09min19h09min de 7 de julho de 2015 dif his +140‎ Teorema da dedução ‎
• 19h03min19h03min de 7 de julho de 2015 dif his +4‎ Teorema da dedução ‎ →‎Convertendo de provas usando o metateorema da dedução para provas axiomáticas
• 19h00min19h00min de 7 de julho de 2015 dif his +252‎ Teorema da dedução ‎
• 18h36min18h36min de 7 de julho de 2015 dif his +50‎ Teorema da dedução ‎ Aumentando a quantidade de categorias Etiqueta: Editor Visual
• 16h17min16h17min de 7 de julho de 2015 dif his +33‎ Teorema da dedução ‎ Coloquei o artigo em uma categoria Etiqueta: Editor Visual
• 16h10min16h10min de 7 de julho de 2015 dif his +3‎ Teorema da dedução ‎
• 16h07min16h07min de 7 de julho de 2015 dif his −157‎ Teorema da dedução ‎ →‎Links externos
• 15h21min15h21min de 7 de julho de 2015 dif his +2‎ Teorema da dedução ‎ →‎Notas
• 12h38min12h38min de 7 de julho de 2015 dif his +122‎ Teorema da dedução ‎
• 12h17min12h17min de 7 de julho de 2015 dif his −247‎ Teorema da dedução ‎
• 12h14min12h14min de 7 de julho de 2015 dif his +13 338‎ N Teorema da dedução ‎ nova página: Na lógica matemática, o '''teorema da dedução''' é um metateorema da lógica de primeira ordem. É a formalização da comum técnica de prova na qual uma implicação A →...
• 11h47min11h47min de 7 de julho de 2015 dif his +13 222‎ N Usuário(a):ArthurJorge97/Teorema da dedução ‎ nova página: Na lógica matemática, o '''teorema da dedução''' é um metateorema da lógica de primeira ordem. É a formalização da comum técnica de prova na qual uma implicação A → B... atual