Contribuições do(a) usuário(a) Daniel.bmaranhao
Aspeto
De Daniel.bmaranhao discussão registo de bloqueios carregamentos registos global block log conta global registo do filtro de edições
Um utilizador com 12 edições. Conta criada a 19 de fevereiro de 2015.
25 de fevereiro de 2015
- 17h25min17h25min de 25 de fevereiro de 2015 dif his −19 Cálculo formal Etiqueta: Editor Visual
- 17h22min17h22min de 25 de fevereiro de 2015 dif his +2 998 N Cálculo formal nova página: Na lógica matemática, o '''cálculo formal''' é um cálculo que é sistemático, porém sem uma justificativa rigorosa. Isso significa que estamos manipulando os símbolos em...
- 14h51min14h51min de 25 de fevereiro de 2015 dif his +1 519 N Teorema da consistência conjunta de Robinson nova página: O '''Teorema da Consistência Conjunta de Robinson''' é um importante teorema da lógica matemática, sendo relacionado com a Interpolação de Craig e a Definibilidade d...
19 de fevereiro de 2015
- 23h52min23h52min de 19 de fevereiro de 2015 dif his +42 Domínio vazio
- 23h50min23h50min de 19 de fevereiro de 2015 dif his +14 Domínio vazio
- 23h03min23h03min de 19 de fevereiro de 2015 dif his −62 Domínio vazio Etiqueta: Editor Visual
- 23h00min23h00min de 19 de fevereiro de 2015 dif his +62 Domínio vazio
- 22h58min22h58min de 19 de fevereiro de 2015 dif his +2 848 N Domínio vazio nova página: Na Lógica de Primeira Ordem o domínio vazio é o conjunto vazio possuindo nenhum membro. Na lógica tradicional e clássica, domínios são restritam... Etiqueta: Página nova sem referências
- 18h41min18h41min de 19 de fevereiro de 2015 dif his −484 Posto de quantificadores →Referências = Etiqueta: Editor Visual
- 18h40min18h40min de 19 de fevereiro de 2015 dif his −16 Posto de quantificadores
- 18h40min18h40min de 19 de fevereiro de 2015 dif his +951 Posto de quantificadores Etiqueta: Editor Visual
- 18h38min18h38min de 19 de fevereiro de 2015 dif his +2 112 N Posto de quantificadores nova página: Na lógica matemática, o '''posto de quantificadores''' de uma fórmula é a profundidade da árvore de seus quantificadores, desempenhando um papel es... Etiquetas: Internetês ou miguxês Página nova sem referências