Contribuições do(a) usuário(a) Horácio Filho
Aspeto
De Horácio Filho discussão registo de bloqueios carregamentos registos conta global registo do filtro de edições
Um utilizador com 12 edições. Conta criada a 14 de agosto de 2014.
15 de agosto de 2014
- 16h02min16h02min de 15 de agosto de 2014 dif his +60 Lógica de transações Mais tradução para o português Etiqueta: Editor Visual
- 15h56min15h56min de 15 de agosto de 2014 dif his −225 Lógica de transações Mais portuguÊs Etiquetas: Retirada de marcação de eliminação Editor Visual
- 15h43min15h43min de 15 de agosto de 2014 dif his +33 Lógica de transações Mais inglês Etiquetas: Retirada de marcação de eliminação Editor Visual
- 15h36min15h36min de 15 de agosto de 2014 dif his −298 Lógica de transações Remove aviso chato Etiqueta: Editor Visual
- 15h31min15h31min de 15 de agosto de 2014 dif his +145 Lógica de transações Mais inglês Etiqueta: Editor Visual
- 15h00min15h00min de 15 de agosto de 2014 dif his +104 Lógica de transações Mais inglês Etiqueta: Editor Visual
- 14h52min14h52min de 15 de agosto de 2014 dif his +95 Lógica de transações Traduzindo mais partes para o português Etiqueta: Editor Visual
- 02h56min02h56min de 15 de agosto de 2014 dif his +129 Lógica de transações Etiqueta: Editor Visual
- 01h47min01h47min de 15 de agosto de 2014 dif his +6 078 N Lógica de transações nova página: '''Transaction Logic''' is an extension of predicate logic that accounts in a clean and declarative way for the phenomenon of state changes in logic programs and [[database]...
- 00h21min00h21min de 15 de agosto de 2014 dif his +29 153 N Estrutura (lógica matemática) nova página: {{More footnotes|date=August 2014}} Na algebra universal e na teoria de modelos, uma '''estrutura''' consiste em um conjunto juntamente com uma co...
14 de agosto de 2014
- 23h26min23h26min de 14 de agosto de 2014 dif his −89 Ajuda Discussão:Página de testes/1 Teoremas da incompletude de Gödel
- 23h23min23h23min de 14 de agosto de 2014 dif his +1 125 Ajuda Discussão:Página de testes/1