Contribuições do(a) usuário(a) 200.17.143.31
Aspeto
De 200.17.143.31 discussão registo de bloqueios registos global block log registo do filtro de edições
3 de julho de 2007
- 15h37min15h37min de 3 de julho de 2007 dif his −239 Dedução natural →Eliminação do existencial
- 13h40min13h40min de 3 de julho de 2007 dif his +32 Função de verdade
- 13h09min13h09min de 3 de julho de 2007 dif his +144 Dedução natural →Validade do sistema
- 13h02min13h02min de 3 de julho de 2007 dif his +8 Dedução natural →Introdução do existencial
- 12h58min12h58min de 3 de julho de 2007 dif his +6 Dedução natural →Introdução da disjunção
- 12h57min12h57min de 3 de julho de 2007 dif his +5 Dedução natural →Introdução da conjunção
- 12h55min12h55min de 3 de julho de 2007 dif his +4 Dedução natural →Introdução da implicação
- 12h37min12h37min de 3 de julho de 2007 dif his +16 Dedução natural →Eliminação do universal
- 01h33min01h33min de 3 de julho de 2007 dif his −2 Quantificação →Quantificação na linguagem natural
- 01h30min01h30min de 3 de julho de 2007 dif his +7 726 Quantificação
- 00h59min00h59min de 3 de julho de 2007 dif his +55 Quantificação →Quantificação na linguagem natural
- 00h43min00h43min de 3 de julho de 2007 dif his +1 Universo de discurso
- 00h42min00h42min de 3 de julho de 2007 dif his +28 Universo de discurso
- 00h39min00h39min de 3 de julho de 2007 dif his +218 Universo de discurso
1 de julho de 2007
- 22h58min22h58min de 1 de julho de 2007 dif his +132 Quantificação universal
- 22h06min22h06min de 1 de julho de 2007 dif his 0 Quantificação
- 21h53min21h53min de 1 de julho de 2007 dif his +4 029 Quantificação
29 de junho de 2007
- 20h14min20h14min de 29 de junho de 2007 dif his 0 Par ordenado →A definição padrão de Kuratowski
- 20h03min20h03min de 29 de junho de 2007 dif his +1 Par ordenado →Pares ordenados na teoria dos conjuntos
- 19h58min19h58min de 29 de junho de 2007 dif his −132 Par ordenado →Definição rigorosa
- 19h55min19h55min de 29 de junho de 2007 dif his +74 Par ordenado →Definição rigorosa
- 19h52min19h52min de 29 de junho de 2007 dif his +2 Par ordenado →Definição rigorosa
- 19h51min19h51min de 29 de junho de 2007 dif his +286 Par ordenado →Definição rigorosa
- 19h20min19h20min de 29 de junho de 2007 dif his −23 Par ordenado →Pares ordenados na teoria dos conjuntos
- 19h19min19h19min de 29 de junho de 2007 dif his +23 Par ordenado →Pares ordenados na teoria dos conjuntos
- 19h05min19h05min de 29 de junho de 2007 dif his −14 Relação de recorrência →Algoritmos Definidos por Recorrência
- 19h04min19h04min de 29 de junho de 2007 dif his +18 Relação de recorrência →Algoritmos Definidos por Recorrência
- 19h01min19h01min de 29 de junho de 2007 dif his −5 Relação de recorrência →Operações Definidas por Recorrência
- 18h59min18h59min de 29 de junho de 2007 dif his +2 Relação de recorrência →Operações Definidas por Recorrência
- 18h58min18h58min de 29 de junho de 2007 dif his +3 Relação de recorrência →Operações Definidas por Recorrência
- 18h42min18h42min de 29 de junho de 2007 dif his +3 Relação de recorrência →Conjuntos Definidos por Recorrência
- 18h36min18h36min de 29 de junho de 2007 dif his 0 Relação de recorrência →Seqüências Definidas por Recorrência
- 18h36min18h36min de 29 de junho de 2007 dif his +1 Relação de recorrência →Seqüências Definidas por Recorrência
22 de junho de 2007
21 de junho de 2007
- 21h00min21h00min de 21 de junho de 2007 dif his 0 Harry Belafonte →Música
- 20h56min20h56min de 21 de junho de 2007 dif his 0 Harry Belafonte →Oposição ao governo Bush
- 20h52min20h52min de 21 de junho de 2007 dif his −1 Harry Belafonte →Ativismo Político
- 20h49min20h49min de 21 de junho de 2007 dif his 0 Harry Belafonte →Oposição ao governo Bush
19 de junho de 2007
- 11h38min11h38min de 19 de junho de 2007 dif his −25 HTML →Editores HTML
18 de junho de 2007
- 23h52min23h52min de 18 de junho de 2007 dif his +1 086 N Universo de discurso ← nova página: O domínio de discurso, também chamado de Universo de Discurso, é uma ferramenta analítica usada na lógica dedutiva, especialmente na lógica de predicados. Indic...
- 23h34min23h34min de 18 de junho de 2007 dif his +39 N Quantificadores universais ← feito redirecionamento para Quantificação universal atual
- 23h07min23h07min de 18 de junho de 2007 dif his +41 N Quantificador existencial ← feito redirecionamento para Quantificação existencial
- 23h06min23h06min de 18 de junho de 2007 dif his +39 N Quantificador universal ← feito redirecionamento para Quantificação universal atual
- 22h59min22h59min de 18 de junho de 2007 dif his +29 N Quantificador ← feito redirecionamento para Quantificadores
- 22h56min22h56min de 18 de junho de 2007 dif his +29 N Quantificacao ← feito redirecionamento para Quantificação atual
- 14h59min14h59min de 18 de junho de 2007 dif his +88 Engenharia de materiais →Cursos e Universidades
17 de junho de 2007
- 20h14min20h14min de 17 de junho de 2007 dif his +1 Lógica proposicional →Referências
- 19h39min19h39min de 17 de junho de 2007 dif his +29 Função de verdade
- 19h14min19h14min de 17 de junho de 2007 dif his +81 Função de verdade
- 18h59min18h59min de 17 de junho de 2007 dif his −82 Função de verdade