Contribuições do(a) usuário(a) Horácio Filho
Aspeto
De Horácio Filho 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 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