http://www.lambda.ee/w/index.php?action=history&feed=atom&title=T%C3%B5estuseotsingu_strateegiad. 2026-11-07T01:57:49Z Selle lehekülje redigeerimiste ajalugu MediaWiki 1.43.11 http://www.lambda.ee/w/index.php?title=T%C3%B5estuseotsingu_strateegiad.&diff=7878&oldid=prev 2012-03-12T15:06:46Z

<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="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 12. märts 2012, kell 17:06</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l7">7. rida:</td> <td colspan="2" class="diff-lineno">7. rida:</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>Mõlemad vähendavad üldiselt tuletuskäikude arvu otsinguruumis.</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>Mõlemad vähendavad üldiselt tuletuskäikude arvu otsinguruumis.</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>#[http://<del style="font-weight: bold; text-decoration: none;">elrond</del>.tud.ttu.ee/~zingel/RakLoogika_6_1.ppt Pööramine (ppt)]&lt;br&gt;</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>#[http://<ins style="font-weight: bold; text-decoration: none;">www</ins>.tud.ttu.ee/~zingel/RakLoogika_6_1.ppt Pööramine (ppt)]&lt;br&gt;</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>#[http://<del style="font-weight: bold; text-decoration: none;">elrond</del>.tud.ttu.ee/~zingel/RakLoogika_6_2.ppt Fokuseerimine (ppt)]</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>#[http://<ins style="font-weight: bold; text-decoration: none;">www</ins>.tud.ttu.ee/~zingel/RakLoogika_6_2.ppt Fokuseerimine (ppt)]</div></td></tr> <!-- diff cache key lambdadb:diff:1.41:old-6735:rev-7878:php=table --> </table>

Zingel http://www.lambda.ee/w/index.php?title=T%C3%B5estuseotsingu_strateegiad.&diff=6735&oldid=prev 2010-03-05T14:55:49Z

<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="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 5. märts 2010, kell 16:55</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8">8. rida:</td> <td colspan="2" class="diff-lineno">8. rida:</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>#[http://elrond.tud.ttu.ee/~zingel/RakLoogika_6_1.ppt Pööramine (ppt)]&lt;br&gt;</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>#[http://elrond.tud.ttu.ee/~zingel/RakLoogika_6_1.ppt Pööramine (ppt)]&lt;br&gt;</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>#[<del style="font-weight: bold; text-decoration: none;">[Media</del>:RakLoogika_6_2.ppt<del style="font-weight: bold; text-decoration: none;">|</del>Fokuseerimine (ppt)<del style="font-weight: bold; text-decoration: none;">]</del>]</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>#[<ins style="font-weight: bold; text-decoration: none;">http</ins>:<ins style="font-weight: bold; text-decoration: none;">//elrond.tud.ttu.ee/~zingel/</ins>RakLoogika_6_2.ppt Fokuseerimine (ppt)]</div></td></tr> </table>

Zingel http://www.lambda.ee/w/index.php?title=T%C3%B5estuseotsingu_strateegiad.&diff=3812&oldid=prev 2010-03-05T14:54:41Z

<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="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 5. märts 2010, kell 16:54</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l7">7. rida:</td> <td colspan="2" class="diff-lineno">7. rida:</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>Mõlemad vähendavad üldiselt tuletuskäikude arvu otsinguruumis.</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>Mõlemad vähendavad üldiselt tuletuskäikude arvu otsinguruumis.</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>#[<del style="font-weight: bold; text-decoration: none;">[Media</del>:RakLoogika_6_1.ppt<del style="font-weight: bold; text-decoration: none;">|</del>Pööramine (ppt)<del style="font-weight: bold; text-decoration: none;">]</del>]&lt;br&gt;</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>#[<ins style="font-weight: bold; text-decoration: none;">http</ins>:<ins style="font-weight: bold; text-decoration: none;">//elrond.tud.ttu.ee/~zingel/</ins>RakLoogika_6_1.ppt Pööramine (ppt)]&lt;br&gt;</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>#[[Media:RakLoogika_6_2.ppt|Fokuseerimine (ppt)]]</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>#[[Media:RakLoogika_6_2.ppt|Fokuseerimine (ppt)]]</div></td></tr> </table>

Zingel http://www.lambda.ee/w/index.php?title=T%C3%B5estuseotsingu_strateegiad.&diff=3811&oldid=prev 2006-03-21T11:09:48Z

<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="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 21. märts 2006, kell 13:09</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l8">8. rida:</td> <td colspan="2" class="diff-lineno">8. rida:</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>#[[Media:RakLoogika_6_1.ppt|Pööramine (ppt)]]&lt;br&gt;</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>#[[Media:RakLoogika_6_1.ppt|Pööramine (ppt)]]&lt;br&gt;</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><ins style="font-weight: bold; text-decoration: none;">#[[Media:RakLoogika_6_2.ppt|Fokuseerimine (ppt)]]</ins></div></td></tr> </table>

Zingel http://www.lambda.ee/w/index.php?title=T%C3%B5estuseotsingu_strateegiad.&diff=916&oldid=prev 2006-03-21T11:08:58Z

<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="et"> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">←Vanem redaktsioon</td> <td colspan="2" style="background-color: #fff; color: #202122; text-align: center;">Redaktsioon: 21. märts 2006, kell 13:08</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l5">5. rida:</td> <td colspan="2" class="diff-lineno">5. rida:</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>- Teine uurib fokuseerimisomadusi, mis lubavad meil mittepööratavad järeldusreeglid siduda järjestikuste valemitega.</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>- Teine uurib fokuseerimisomadusi, mis lubavad meil mittepööratavad järeldusreeglid siduda järjestikuste valemitega.</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>Mõlemad vähendavad üldiselt tuletuskäikude arvu otsinguruumis</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>Mõlemad vähendavad üldiselt tuletuskäikude arvu otsinguruumis<ins style="font-weight: bold; text-decoration: none;">.</ins></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 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><ins style="font-weight: bold; text-decoration: none;">#[[Media:RakLoogika_6_1.ppt|Pööramine (ppt)]]&lt;br&gt;</ins></div></td></tr> </table>

Zingel http://www.lambda.ee/w/index.php?title=T%C3%B5estuseotsingu_strateegiad.&diff=915&oldid=prev 2006-03-17T15:29:57Z

<p></p> <p><b>Uus lehekülg</b></p><div>Sekventsarvutus on heaks aluseks tõestuse otsingu strateegiatele, kuid automaatsel kujul ei ole see väga praktiline. Tüüpilisel juhul on sekventsis palju valikuid, millist reeglit kasutada, ja see kehtib igal sammul. Kui meil pole võimalust vähemalt osa sellest paljususest välja rookida, siis upume peagi valikute hulka.<br /> <br /> Vaatleme alustuseks kaht meetodit, mis vähendavad otsingul mitte-determineeritust.&lt;br&gt;<br /> - Esimene neist kasutab pööramisomadusi, mis kehtivad siis, kui järeldusreegli eeldused on tuletatavad siis ja ainult siis, kui järeldus on tuletatav.&lt;br&gt;<br /> - Teine uurib fokuseerimisomadusi, mis lubavad meil mittepööratavad järeldusreeglid siduda järjestikuste valemitega.<br /> <br /> Mõlemad vähendavad üldiselt tuletuskäikude arvu otsinguruumis</div>

Zingel