Contribuições do(a) usuário(a) 189.70.212.214
Aspeto
De 189.70.212.214 discussão registo de bloqueios registos global block log registo do filtro de edições
25 de fevereiro de 2015
- 23h32min23h32min de 25 de fevereiro de 2015 dif his −9 Máquina X Etiqueta: Editor Visual
- 19h01min19h01min de 25 de fevereiro de 2015 dif his +3 Gramática de estrutura frasal Etiqueta: Editor Visual
- 18h55min18h55min de 25 de fevereiro de 2015 dif his +51 Sequência algoritmicamente aleatória Etiqueta: Editor Visual
- 18h48min18h48min de 25 de fevereiro de 2015 dif his +2 Gramática moderadamente sensível ao contexto Etiqueta: Editor Visual
- 18h46min18h46min de 25 de fevereiro de 2015 dif his +1 Gramática de concatenação de intervalo Etiqueta: Editor Visual
- 18h37min18h37min de 25 de fevereiro de 2015 dif his +5 Teoria da aprendizagem computacional Etiqueta: Editor Visual
- 18h32min18h32min de 25 de fevereiro de 2015 dif his +8 Vizinhança de Moore Etiqueta: Editor Visual
- 18h24min18h24min de 25 de fevereiro de 2015 dif his +154 Complexidade de circuitos Etiqueta: Editor Visual
- 14h01min14h01min de 25 de fevereiro de 2015 dif his +27 Ciência da computação teórica Etiqueta: Editor Visual
- 13h49min13h49min de 25 de fevereiro de 2015 dif his −11 Linguagem indexada Etiqueta: Editor Visual
- 13h41min13h41min de 25 de fevereiro de 2015 dif his +15 Gramática de árvore regular Etiqueta: Editor Visual
- 13h10min13h10min de 25 de fevereiro de 2015 dif his 0 Meia-verdade Etiqueta: Editor Visual
- 13h07min13h07min de 25 de fevereiro de 2015 dif his +57 Princípio da não-contradição Etiqueta: Editor Visual
- 13h01min13h01min de 25 de fevereiro de 2015 dif his +56 Valor de verdade →Intuicionismo e Lógica Construtivista Etiqueta: Editor Visual
- 12h52min12h52min de 25 de fevereiro de 2015 dif his +5 Posto de quantificadores Etiqueta: Editor Visual
- 12h50min12h50min de 25 de fevereiro de 2015 dif his −35 Eliminação de quantificadores Etiqueta: Editor Visual
- 12h39min12h39min de 25 de fevereiro de 2015 dif his +20 Propriedade do modelo finito Etiqueta: Editor Visual
- 12h11min12h11min de 25 de fevereiro de 2015 dif his +25 Consistência Etiqueta: Editor Visual
- 11h59min11h59min de 25 de fevereiro de 2015 dif his +46 Teoria dos Conjuntos Kripke-Platek Etiqueta: Editor Visual
- 11h56min11h56min de 25 de fevereiro de 2015 dif his +3 Universo construível
- 11h33min11h33min de 25 de fevereiro de 2015 dif his −17 Herbrandização
- 11h33min11h33min de 25 de fevereiro de 2015 dif his −34 Herbrandização
- 11h32min11h32min de 25 de fevereiro de 2015 dif his +278 Herbrandização Etiqueta: Editor Visual
- 11h12min11h12min de 25 de fevereiro de 2015 dif his +292 Propriedades de normalização forte e fraca Etiqueta: Editor Visual