Contribuições do(a) usuário(a) 201.39.59.161
De 201.39.59.161 discussão registo de bloqueios registos registo do filtro de edições
3 de julho de 2007
- 15h13min15h13min de 3 de julho de 2007 dif his −18 Relação bem-fundada
- 14h37min14h37min de 3 de julho de 2007 dif his −1 Relação bem-fundada
- 14h33min14h33min de 3 de julho de 2007 dif his +22 Relação bem-fundada →Definição de relação bem-fundada
- 14h32min14h32min de 3 de julho de 2007 dif his +21 Par ordenado →A definição padrão de Kuratowski
- 14h30min14h30min de 3 de julho de 2007 dif his +1 Par ordenado →Listas ordenadas
- 14h25min14h25min de 3 de julho de 2007 dif his +4 Relação de recorrência →Seqüências Definidas por Recorrência
- 14h24min14h24min de 3 de julho de 2007 dif his +20 Relação bem-fundada →Axioma da regularidade
- 14h21min14h21min de 3 de julho de 2007 dif his +30 Relação bem-fundada →Indução e Recursão
- 14h20min14h20min de 3 de julho de 2007 dif his +19 Relação bem-fundada →Definição de relação bem-fundada
- 14h19min14h19min de 3 de julho de 2007 dif his +22 Relação bem-fundada →Indução e Recursão
- 14h17min14h17min de 3 de julho de 2007 dif his +1 Par ordenado →Teoria das categorias
- 14h16min14h16min de 3 de julho de 2007 dif his +110 Par ordenado →Referências
- 14h16min14h16min de 3 de julho de 2007 dif his +13 Par ordenado →Teoria das categorias
- 14h13min14h13min de 3 de julho de 2007 dif his +13 Par ordenado →Pares ordenados na teoria dos conjuntos
- 08h43min08h43min de 3 de julho de 2007 dif his +32 Relação bem-fundada →Introdução
- 08h41min08h41min de 3 de julho de 2007 dif his +4 Relação bem-fundada →Definição de relação bem-fundada
- 08h40min08h40min de 3 de julho de 2007 dif his −1 000 Relação bem-fundada
- 08h19min08h19min de 3 de julho de 2007 dif his +30 Relação bem-fundada →Indução e Recursão
- 08h12min08h12min de 3 de julho de 2007 dif his +87 Relação bem-fundada →Indução e Recursão
- 08h05min08h05min de 3 de julho de 2007 dif his +449 Relação bem-fundada →Indução e Recursão
- 06h58min06h58min de 3 de julho de 2007 dif his −128 Relação bem-fundada →Indução e Recursão
2 de julho de 2007
- 17h46min17h46min de 2 de julho de 2007 dif his +147 Relação bem-fundada →Referências
- 17h40min17h40min de 2 de julho de 2007 dif his −33 Relação bem-fundada →Definição de relação bem-fundada
- 17h24min17h24min de 2 de julho de 2007 dif his +288 Relação bem-fundada →Definição de relação bem-fundada
- 17h13min17h13min de 2 de julho de 2007 dif his +522 Relação bem-fundada →Definição de relação bem-fundada
1 de julho de 2007
- 03h12min03h12min de 1 de julho de 2007 dif his −82 Relação bem-fundada →Indução e Recursão
- 03h07min03h07min de 1 de julho de 2007 dif his +1 Relação bem-fundada →Indução e Recursão
- 03h04min03h04min de 1 de julho de 2007 dif his +59 Relação bem-fundada →Reflexividade
- 03h02min03h02min de 1 de julho de 2007 dif his +52 Relação bem-fundada
- 02h56min02h56min de 1 de julho de 2007 dif his +46 Relação bem-fundada →Outras propriedades
- 02h52min02h52min de 1 de julho de 2007 dif his −17 Relação bem-fundada →Algumas relações matemáticas
- 02h51min02h51min de 1 de julho de 2007 dif his −83 Relação bem-fundada →Referências
- 02h45min02h45min de 1 de julho de 2007 dif his −376 Relação bem-fundada →Referências
- 02h43min02h43min de 1 de julho de 2007 dif his +1 557 Relação bem-fundada
- 02h26min02h26min de 1 de julho de 2007 dif his +9 Par ordenado →Definição rigorosa
- 02h26min02h26min de 1 de julho de 2007 dif his +70 Par ordenado →Definição rigorosa
- 01h34min01h34min de 1 de julho de 2007 dif his +35 Relação bem-fundada →Outras propriedades
- 01h23min01h23min de 1 de julho de 2007 dif his +50 Relação bem-fundada
- 00h49min00h49min de 1 de julho de 2007 dif his +173 Relação bem-fundada
- 00h34min00h34min de 1 de julho de 2007 dif his +22 Relação bem-fundada
- 00h20min00h20min de 1 de julho de 2007 dif his −26 Relação bem-fundada
- 00h05min00h05min de 1 de julho de 2007 dif his −1 235 Relação bem-fundada
30 de junho de 2007
- 15h02min15h02min de 30 de junho de 2007 dif his +147 Relação bem-fundada →Algumas relações matemáticas
- 14h39min14h39min de 30 de junho de 2007 dif his +829 Relação bem-fundada →Algumas relações matemáticas
- 14h39min14h39min de 30 de junho de 2007 dif his +115 Relação bem-fundada →Relação bem-fundada
- 07h03min07h03min de 30 de junho de 2007 dif his 0 Relação bem-fundada →Relação bem-fundada em conjuntos
- 07h01min07h01min de 30 de junho de 2007 dif his 0 Relação bem-fundada →Relação bem-fundada em conjuntos
- 06h57min06h57min de 30 de junho de 2007 dif his +5 Relação bem-fundada →Relação bem-fundada
- 06h32min06h32min de 30 de junho de 2007 dif his +1 186 Relação bem-fundada →Uma prova indutiva de bem-fundamento de ordem de multi-conjuntos
- 06h28min06h28min de 30 de junho de 2007 dif his +1 Relação bem-fundada →Uma prova indutiva de bem-fundamento de ordem de multiconjuntos