Contribuições do(a) usuário(a) ArthurJorge97
De ArthurJorge97 discussão registo de bloqueios carregamentos registos global block log conta global registo do filtro de edições
Um utilizador com 28 edições. Conta criada a 7 de julho de 2015.
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
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
