Contribuições do(a) usuário(a) AntoninoVictor
De AntoninoVictor discussão registo de bloqueios carregamentos registos global block log conta global registo do filtro de edições
Um utilizador com 8 edições. Conta criada a 7 de julho de 2011.
7 de julho de 2011
- 20h37min20h37min de 7 de julho de 2011 dif his −47 Conjuntos recursivamente enumeráveis Etiqueta: Ligações internas removidas
- 20h35min20h35min de 7 de julho de 2011 dif his +47 Conjuntos recursivamente enumeráveis
- 04h21min04h21min de 7 de julho de 2011 dif his −4 Problema da correspondência de Post
- 04h01min04h01min de 7 de julho de 2011 dif his −4 Problema da correspondência de Post
- 03h54min03h54min de 7 de julho de 2011 dif his −4 Problema da correspondência de Post
- 03h53min03h53min de 7 de julho de 2011 dif his +7 Problema da correspondência de Post
- 03h50min03h50min de 7 de julho de 2011 dif his −3 Problema da correspondência de Post
- 03h45min03h45min de 7 de julho de 2011 dif his +16 370 N Problema da correspondência de Post ← nova página: O '''Problema da Correspondência de Post''' é um problema de decisão indecidível que foi introduzido por Emil Post em 1946..<ref name="Post46">{{cite ...