https://www.lenciclopedia.org/w/index.php?action=history&feed=atom&title=C%C3%A0lcul_de_superposici%C3%B3
Càlcul de superposició - Historial de revisions
2026-04-24T06:42:43Z
Historial de revisions per a esta pàgina en la wiki
MediaWiki 1.45.1
https://www.lenciclopedia.org/w/index.php?title=C%C3%A0lcul_de_superposici%C3%B3&diff=137112&oldid=prev
Jose2 en 10:50 20 jul 2018
2018-07-20T10:50:54Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="vlc">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Revisió anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisió de 10:50 20 jul 2018</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Llínea 1:</td>
<td colspan="2" class="diff-lineno">Llínea 1:</td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>El '''càlcul de superposició''' és un càlcul per a Demostració automàtica de teoremes de la llògica equacional de primer orde. </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>El '''càlcul de superposició''' és un càlcul per a Demostració automàtica de teoremes de la llògica equacional de primer orde. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Es va desenrollar en la década de <del style="font-weight: bold; text-decoration: none;">[[</del>1990]] i combina els conceptes de la resolució de primer orde en la manipulació d'igualtats basades en seqüències ordenades com es desenrollar en el context de la terminació de Knuth-Bendix. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Es va desenrollar en la <ins style="font-weight: bold; text-decoration: none;">[[anys 1990|</ins>década de 1990]] i combina els conceptes de la resolució de primer orde en la manipulació d'igualtats basades en seqüències ordenades com es desenrollar en el context de la terminació de Knuth-Bendix. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Pot ser vist com una generalisació de qualsevol resolució (llògica equacional) o terminació constant (llògica clausal completa). Com la majoria dels càlculs de primer orde, la superposició tracta de mostrar la insatisfacibilitat d'un conjunt de clàusules de primer orde, és dir, que realisa proves de refutació. </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Pot ser vist com una generalisació de qualsevol resolució (llògica equacional) o terminació constant (llògica clausal completa). Com la majoria dels càlculs de primer orde, la superposició tracta de mostrar la insatisfacibilitat d'un conjunt de clàusules de primer orde, és dir, que realisa proves de refutació. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categoria: Matemàtiques]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categoria: Matemàtiques]]</div></td></tr>
</table>
Jose2
https://www.lenciclopedia.org/w/index.php?title=C%C3%A0lcul_de_superposici%C3%B3&diff=52413&oldid=prev
Jose2: Revertides les edicions de 84.120.125.230 (discussió); s'ha recuperat l'última versió de Jose2
2012-10-08T16:18:07Z
<p>Revertides les edicions de <a href="/wiki/Especial:Contribucions/84.120.125.230" title="Especial:Contribucions/84.120.125.230">84.120.125.230</a> (<a href="/w/index.php?title=Usuari_discussi%C3%B3:84.120.125.230&action=edit&redlink=1" class="new" title="Usuari discussió:84.120.125.230 (no escrit encara)">discussió</a>); s'ha recuperat l'última versió de <a href="/wiki/Usuari:Jose2" title="Usuari:Jose2">Jose2</a></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="vlc">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Revisió anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisió de 16:18 8 oct 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Llínea 1:</td>
<td colspan="2" class="diff-lineno">Llínea 1:</td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>El '''càlcul de superposició''' és un càlcul per a Demostració automàtica de teoremes de la <del style="font-weight: bold; text-decoration: none;">lògica </del>de primer orde. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>El '''càlcul de superposició''' és un càlcul per a Demostració automàtica de teoremes de la <ins style="font-weight: bold; text-decoration: none;">llògica equacional </ins>de primer orde. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Es va <del style="font-weight: bold; text-decoration: none;">desenvolupar </del>en la <del style="font-weight: bold; text-decoration: none;">dècada </del>de [[1990]] i combina els conceptes de la resolució de primer orde en la manipulació d'igualtats basades en seqüències ordenades com es <del style="font-weight: bold; text-decoration: none;">desenvolupar </del>en el context de la terminació de Knuth-Bendix. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Es va <ins style="font-weight: bold; text-decoration: none;">desenrollar </ins>en la <ins style="font-weight: bold; text-decoration: none;">década </ins>de [[1990]] i combina els conceptes de la resolució de primer orde en la manipulació d'igualtats basades en seqüències ordenades com es <ins style="font-weight: bold; text-decoration: none;">desenrollar </ins>en el context de la terminació de Knuth-Bendix. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Pot ser vist com una <del style="font-weight: bold; text-decoration: none;">generalització </del>de qualsevol resolució (<del style="font-weight: bold; text-decoration: none;">lògica </del>equacional) o terminació constant (<del style="font-weight: bold; text-decoration: none;">lògica </del>clausal completa). Com la majoria dels càlculs de primer orde, la superposició tracta de mostrar la <del style="font-weight: bold; text-decoration: none;">insatisfactibilitat </del>d'un conjunt de clàusules de primer orde, és dir, que <del style="font-weight: bold; text-decoration: none;">realitza </del>proves de refutació. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Pot ser vist com una <ins style="font-weight: bold; text-decoration: none;">generalisació </ins>de qualsevol resolució (<ins style="font-weight: bold; text-decoration: none;">llògica </ins>equacional) o terminació constant (<ins style="font-weight: bold; text-decoration: none;">llògica </ins>clausal completa). Com la majoria dels càlculs de primer orde, la superposició tracta de mostrar la <ins style="font-weight: bold; text-decoration: none;">insatisfacibilitat </ins>d'un conjunt de clàusules de primer orde, és dir, que <ins style="font-weight: bold; text-decoration: none;">realisa </ins>proves de refutació. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categoria: Matemàtiques]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categoria: Matemàtiques]]</div></td></tr>
</table>
Jose2
https://www.lenciclopedia.org/w/index.php?title=C%C3%A0lcul_de_superposici%C3%B3&diff=52412&oldid=prev
84.120.125.230 en 15:49 8 oct 2012
2012-10-08T15:49:39Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="vlc">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Revisió anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisió de 15:49 8 oct 2012</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Llínea 1:</td>
<td colspan="2" class="diff-lineno">Llínea 1:</td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>El '''càlcul de superposició''' és un càlcul per a Demostració automàtica de teoremes de la <del style="font-weight: bold; text-decoration: none;">llògica equacional </del>de primer orde. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>El '''càlcul de superposició''' és un càlcul per a Demostració automàtica de teoremes de la <ins style="font-weight: bold; text-decoration: none;">lògica </ins>de primer orde. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Es va <del style="font-weight: bold; text-decoration: none;">desenrollar </del>en la <del style="font-weight: bold; text-decoration: none;">década </del>de [[1990]] i combina els conceptes de la resolució de primer orde en la manipulació d'igualtats basades en seqüències ordenades com es <del style="font-weight: bold; text-decoration: none;">desenrollar </del>en el context de la terminació de Knuth-Bendix. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Es va <ins style="font-weight: bold; text-decoration: none;">desenvolupar </ins>en la <ins style="font-weight: bold; text-decoration: none;">dècada </ins>de [[1990]] i combina els conceptes de la resolució de primer orde en la manipulació d'igualtats basades en seqüències ordenades com es <ins style="font-weight: bold; text-decoration: none;">desenvolupar </ins>en el context de la terminació de Knuth-Bendix. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Pot ser vist com una <del style="font-weight: bold; text-decoration: none;">generalisació </del>de qualsevol resolució (<del style="font-weight: bold; text-decoration: none;">llògica </del>equacional) o terminació constant (<del style="font-weight: bold; text-decoration: none;">llògica </del>clausal completa). Com la majoria dels càlculs de primer orde, la superposició tracta de mostrar la <del style="font-weight: bold; text-decoration: none;">insatisfacibilitat </del>d'un conjunt de clàusules de primer orde, és dir, que <del style="font-weight: bold; text-decoration: none;">realisa </del>proves de refutació. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Pot ser vist com una <ins style="font-weight: bold; text-decoration: none;">generalització </ins>de qualsevol resolució (<ins style="font-weight: bold; text-decoration: none;">lògica </ins>equacional) o terminació constant (<ins style="font-weight: bold; text-decoration: none;">lògica </ins>clausal completa). Com la majoria dels càlculs de primer orde, la superposició tracta de mostrar la <ins style="font-weight: bold; text-decoration: none;">insatisfactibilitat </ins>d'un conjunt de clàusules de primer orde, és dir, que <ins style="font-weight: bold; text-decoration: none;">realitza </ins>proves de refutació. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categoria: Matemàtiques]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categoria: Matemàtiques]]</div></td></tr>
</table>
84.120.125.230
https://www.lenciclopedia.org/w/index.php?title=C%C3%A0lcul_de_superposici%C3%B3&diff=47666&oldid=prev
Jose2 en 19:46 30 març 2011
2011-03-30T19:46:02Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="vlc">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Revisió anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisió de 19:46 30 març 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Llínea 1:</td>
<td colspan="2" class="diff-lineno">Llínea 1:</td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>El càlcul de superposició és un càlcul per a Demostració automàtica de teoremes de la llògica equacional de primer orde. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>El <ins style="font-weight: bold; text-decoration: none;">'''</ins>càlcul de superposició<ins style="font-weight: bold; text-decoration: none;">''' </ins>és un càlcul per a Demostració automàtica de teoremes de la llògica equacional de primer orde. </div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Es va desenrollar en la década de 1990 i combina els conceptes de la resolució de primer orde en la manipulació d'igualtats basades en seqüències ordenades com es desenrollar en el context de la terminació de Knuth-Bendix. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Es va desenrollar en la década de <ins style="font-weight: bold; text-decoration: none;">[[</ins>1990<ins style="font-weight: bold; text-decoration: none;">]] </ins>i combina els conceptes de la resolució de primer orde en la manipulació d'igualtats basades en seqüències ordenades com es desenrollar en el context de la terminació de Knuth-Bendix. </div></td></tr>
<tr><td colspan="2" class="diff-side-deleted"></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div> </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Pot ser vist com una generalisació de qualsevol resolució (llògica equacional) o terminació constant (llògica clausal completa). Com la majoria dels càlculs de primer orde, la superposició tracta de mostrar la insatisfacibilitat d'un conjunt de clàusules de primer orde, és dir, que realisa proves de refutació. </div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>Pot ser vist com una generalisació de qualsevol resolució (llògica equacional) o terminació constant (llògica clausal completa). Com la majoria dels càlculs de primer orde, la superposició tracta de mostrar la insatisfacibilitat d'un conjunt de clàusules de primer orde, és dir, que realisa proves de refutació. </div></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categoria: Matemàtiques]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categoria: Matemàtiques]]</div></td></tr>
</table>
Jose2
https://www.lenciclopedia.org/w/index.php?title=C%C3%A0lcul_de_superposici%C3%B3&diff=47665&oldid=prev
Jose2 en 19:45 30 març 2011
2011-03-30T19:45:26Z
<p></p>
<table style="background-color: #fff; color: #202122;" data-mw="interface">
<col class="diff-marker" />
<col class="diff-content" />
<col class="diff-marker" />
<col class="diff-content" />
<tr class="diff-title" lang="vlc">
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">← Revisió anterior</td>
<td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Revisió de 19:45 30 març 2011</td>
</tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1">Llínea 1:</td>
<td colspan="2" class="diff-lineno">Llínea 1:</td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>El <del style="font-weight: bold; text-decoration: none;">'''</del>càlcul de superposició<del style="font-weight: bold; text-decoration: none;">''' </del>és un càlcul per a Demostració automàtica de teoremes de la <del style="font-weight: bold; text-decoration: none;">lògica </del>equacional de primer orde. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>El càlcul de superposició és un càlcul per a Demostració automàtica de teoremes de la <ins style="font-weight: bold; text-decoration: none;">llògica </ins>equacional de primer orde. </div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Es va <ins style="font-weight: bold; text-decoration: none;">desenrollar </ins>en la <ins style="font-weight: bold; text-decoration: none;">década </ins>de 1990 i combina els conceptes de la resolució de primer orde en la manipulació d'igualtats basades en seqüències ordenades com es <ins style="font-weight: bold; text-decoration: none;">desenrollar </ins>en el context de la terminació de Knuth-Bendix. </div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Es va <del style="font-weight: bold; text-decoration: none;">dessarrollar </del>en la <del style="font-weight: bold; text-decoration: none;">dècada </del>de <del style="font-weight: bold; text-decoration: none;">[[</del>1990<del style="font-weight: bold; text-decoration: none;">]] </del>i combina els conceptes de la resolució de primer orde en la manipulació d'igualtats basades en seqüències ordenades com es <del style="font-weight: bold; text-decoration: none;">dessarrollar </del>en el context de la terminació de Knuth-Bendix. </div></td><td class="diff-marker" data-marker="+"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>Pot ser vist com una generalisació de qualsevol resolució (<ins style="font-weight: bold; text-decoration: none;">llògica </ins>equacional) o terminació constant (<ins style="font-weight: bold; text-decoration: none;">llògica </ins>clausal completa). Com la majoria dels càlculs de primer orde, la superposició tracta de mostrar la insatisfacibilitat d'un conjunt de clàusules de primer orde, és dir, que realisa proves de refutació. </div></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div> </div></td><td colspan="2" class="diff-side-added"></td></tr>
<tr><td class="diff-marker" data-marker="−"></td><td style="color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>Pot ser vist com una generalisació de qualsevol resolució (<del style="font-weight: bold; text-decoration: none;">lògica </del>equacional) o terminació constant (<del style="font-weight: bold; text-decoration: none;">lògica </del>clausal completa). Com la majoria dels càlculs de primer orde, la superposició tracta de mostrar la insatisfacibilitat d'un conjunt de clàusules de primer orde, és dir, que realisa proves de refutació.</div></td><td colspan="2" class="diff-side-added"></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><br></td></tr>
<tr><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categoria: Matemàtiques]]</div></td><td class="diff-marker"></td><td style="background-color: #f8f9fa; color: #202122; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #eaecf0; vertical-align: top; white-space: pre-wrap;"><div>[[Categoria: Matemàtiques]]</div></td></tr>
</table>
Jose2
https://www.lenciclopedia.org/w/index.php?title=C%C3%A0lcul_de_superposici%C3%B3&diff=47661&oldid=prev
Jose2: Pàgina nova, en el contingut: «El '''càlcul de superposició''' és un càlcul per a Demostració automàtica de teoremes de la lògica equacional de primer orde. Es va dessarrollar en la d...».
2011-03-29T15:04:35Z
<p>Pàgina nova, en el contingut: «El '''càlcul de superposició''' és un càlcul per a Demostració automàtica de teoremes de la lògica equacional de primer orde. Es va dessarrollar en la d...».</p>
<p><b>Pàgina nova</b></p><div>El '''càlcul de superposició''' és un càlcul per a Demostració automàtica de teoremes de la lògica equacional de primer orde. <br />
<br />
Es va dessarrollar en la dècada de [[1990]] i combina els conceptes de la resolució de primer orde en la manipulació d'igualtats basades en seqüències ordenades com es dessarrollar en el context de la terminació de Knuth-Bendix. <br />
<br />
Pot ser vist com una generalisació de qualsevol resolució (lògica equacional) o terminació constant (lògica clausal completa). Com la majoria dels càlculs de primer orde, la superposició tracta de mostrar la insatisfacibilitat d'un conjunt de clàusules de primer orde, és dir, que realisa proves de refutació.<br />
<br />
[[Categoria: Matemàtiques]]</div>
Jose2