http://www.lambda.ee/w/index.php?action=history&feed=atom&title=Automaatne_teoreemit%C3%B5estamine_I 2026-10-28T18:20:51Z Selle lehekülje redigeerimiste ajalugu MediaWiki 1.43.11 http://www.lambda.ee/w/index.php?title=Automaatne_teoreemit%C3%B5estamine_I&diff=8176&oldid=prev 2008-09-18T00:28:03Z

<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: 18. september 2008, kell 02:28</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l4">4. rida:</td> <td colspan="2" class="diff-lineno">4. 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:prolog.pdf|Introduction to Prolog]]. Loe seda kõigepealt, KUI sa ei ole Prologiga tuttav. Muidu ei ole vajalik. Kindlasti tee lugemise juures ära vähemalt kolmandik ülesandeid: iga peatüki juures!</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:prolog.pdf|Introduction to Prolog]]. Loe seda kõigepealt, KUI sa ei ole Prologiga tuttav. Muidu ei ole vajalik. Kindlasti tee lugemise juures ära vähemalt kolmandik ülesandeid: iga peatüki juures!</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>* [[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]. Geoffi kursus: hea sissejuhatav lugemine. Siit peab kindlasti tegema <del style="font-weight: bold; text-decoration: none;">hulgem ülesandeid</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>* [[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]. Geoffi kursus: hea sissejuhatav lugemine. Siit peab kindlasti tegema <ins style="font-weight: bold; text-decoration: none;">ära kõik ülesanded (excercises) ja igast eksamistiilis küsimuste blokist vähemalt pooled</ins>!</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>* [http://www.ttu.ee/it/gandalf/OtterBook.pdf Big book with otter examples]. Loe seda peale Geoffi kursust: veidi liiga pikk tekst, samas väga palju Otteri näiteid. Siit peab samuti tegema hulgem ülesandeid!</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://www.ttu.ee/it/gandalf/OtterBook.pdf Big book with otter examples]. Loe seda peale Geoffi kursust: veidi liiga pikk tekst, samas väga palju Otteri näiteid. Siit peab samuti tegema hulgem ülesandeid!</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:weidenbaum_complete.pdf|Weidenbaum reasoning course notes]] Weidenbaumi kursus: oluliselt rohkem - hästi esitatud - teooriat, kui Geoffi kursuses.</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:weidenbaum_complete.pdf|Weidenbaum reasoning course notes]] Weidenbaumi kursus: oluliselt rohkem - hästi esitatud - teooriat, kui Geoffi kursuses.</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:paramodulation_handbook.pdf|Equality-based reasoning: handbook chapter]] Võrduse kasutamise meetodid. Loe seda, siis, kui oled muud materjalid läbi saanud.</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:paramodulation_handbook.pdf|Equality-based reasoning: handbook chapter]] Võrduse kasutamise meetodid. Loe seda, siis, kui oled muud materjalid läbi saanud.</div></td></tr> </table>

Tammet http://www.lambda.ee/w/index.php?title=Automaatne_teoreemit%C3%B5estamine_I&diff=2598&oldid=prev 2008-09-18T00:24:18Z

<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: 18. september 2008, kell 02:24</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3">3. rida:</td> <td colspan="2" class="diff-lineno">3. 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>Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis.</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>Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis.</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>* [[Media:prolog.pdf|Introduction to Prolog]]. Loe seda kõigepealt, KUI sa ei ole Prologiga tuttav. Muidu ei ole vajalik.</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>* [[Media:prolog.pdf|Introduction to Prolog]]. Loe seda kõigepealt, KUI sa ei ole Prologiga tuttav. Muidu ei ole vajalik. <ins style="font-weight: bold; text-decoration: none;">Kindlasti tee lugemise juures ära vähemalt kolmandik ülesandeid: iga peatüki juures!</ins></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:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]. Geoffi kursus: hea sissejuhatav lugemine. Siit peab kindlasti tegema hulgem ülesandeid!</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:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]. Geoffi kursus: hea sissejuhatav lugemine. Siit peab kindlasti tegema hulgem ülesandeid!</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>* [http://www.ttu.ee/it/gandalf/OtterBook.pdf Big book with otter examples]. Loe seda peale Geoffi kursust: veidi liiga pikk tekst, samas väga palju Otteri näiteid. Siit peab samuti tegema hulgem ülesandeid!</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://www.ttu.ee/it/gandalf/OtterBook.pdf Big book with otter examples]. Loe seda peale Geoffi kursust: veidi liiga pikk tekst, samas väga palju Otteri näiteid. Siit peab samuti tegema hulgem ülesandeid!</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:weidenbaum_complete.pdf|Weidenbaum reasoning course notes]] Weidenbaumi kursus: oluliselt rohkem - hästi esitatud - teooriat, kui Geoffi kursuses.</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:weidenbaum_complete.pdf|Weidenbaum reasoning course notes]] Weidenbaumi kursus: oluliselt rohkem - hästi esitatud - teooriat, kui Geoffi kursuses.</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:paramodulation_handbook.pdf|Equality-based reasoning: handbook chapter]] Võrduse kasutamise meetodid. Loe seda, siis, kui oled muud materjalid läbi saanud.</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:paramodulation_handbook.pdf|Equality-based reasoning: handbook chapter]] Võrduse kasutamise meetodid. Loe seda, siis, kui oled muud materjalid läbi saanud.</div></td></tr> </table>

Tammet http://www.lambda.ee/w/index.php?title=Automaatne_teoreemit%C3%B5estamine_I&diff=2597&oldid=prev 2008-09-18T00:22:19Z

<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: 18. september 2008, kell 02:22</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3">3. rida:</td> <td colspan="2" class="diff-lineno">3. 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>Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis.</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>Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis.</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>* [[Media:prolog.pdf|Introduction to Prolog<del style="font-weight: bold; text-decoration: none;">|</del>]]. Loe seda kõigepealt, KUI sa ei ole Prologiga tuttav. Muidu ei ole vajalik.</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>* [[Media:prolog.pdf|Introduction to Prolog]]. Loe seda kõigepealt, KUI sa ei ole Prologiga tuttav. Muidu ei ole vajalik.</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:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]. Geoffi kursus: hea sissejuhatav lugemine. Siit peab kindlasti tegema hulgem ülesandeid!</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:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]. Geoffi kursus: hea sissejuhatav lugemine. Siit peab kindlasti tegema hulgem ülesandeid!</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>* [http://www.ttu.ee/it/gandalf/OtterBook.pdf Big book with otter examples]. Loe seda peale Geoffi kursust: veidi liiga pikk tekst, samas väga palju Otteri näiteid. Siit peab samuti tegema hulgem ülesandeid!</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://www.ttu.ee/it/gandalf/OtterBook.pdf Big book with otter examples]. Loe seda peale Geoffi kursust: veidi liiga pikk tekst, samas väga palju Otteri näiteid. Siit peab samuti tegema hulgem ülesandeid!</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:weidenbaum_complete.pdf|Weidenbaum reasoning course notes]] Weidenbaumi kursus: oluliselt rohkem - hästi esitatud - teooriat, kui Geoffi kursuses.</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:weidenbaum_complete.pdf|Weidenbaum reasoning course notes]] Weidenbaumi kursus: oluliselt rohkem - hästi esitatud - teooriat, kui Geoffi kursuses.</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:paramodulation_handbook.pdf|Equality-based reasoning: handbook chapter]] Võrduse kasutamise meetodid. Loe seda, siis, kui oled muud materjalid läbi saanud.</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:paramodulation_handbook.pdf|Equality-based reasoning: handbook chapter]] Võrduse kasutamise meetodid. Loe seda, siis, kui oled muud materjalid läbi saanud.</div></td></tr> </table>

Tammet http://www.lambda.ee/w/index.php?title=Automaatne_teoreemit%C3%B5estamine_I&diff=2596&oldid=prev 2008-09-17T19:18:34Z

<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: 17. september 2008, kell 21:18</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l3">3. rida:</td> <td colspan="2" class="diff-lineno">3. 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>Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis.</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>Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis.</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> </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;">* [[Media:prolog.pdf|Introduction to Prolog|]]. Loe seda kõigepealt, KUI sa ei ole Prologiga tuttav. Muidu ei ole vajalik.</ins></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>* [[Media:Geoffreasoningnotes.pdf Geoff reasoning course notes]]</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>* [[Media:Geoffreasoningnotes.pdf<ins style="font-weight: bold; text-decoration: none;">|</ins>Geoff reasoning course notes]]<ins style="font-weight: bold; text-decoration: none;">. Geoffi kursus: hea sissejuhatav lugemine. Siit peab kindlasti tegema hulgem ülesandeid!</ins></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://www.ttu.ee/it/gandalf/OtterBook.pdf Big book with otter examples]</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://www.ttu.ee/it/gandalf/OtterBook.pdf Big book with otter examples]<ins style="font-weight: bold; text-decoration: none;">. Loe seda peale Geoffi kursust: veidi liiga pikk tekst, samas väga palju Otteri näiteid. Siit peab samuti tegema hulgem ülesandeid!</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><ins style="font-weight: bold; text-decoration: none;">* [[Media:weidenbaum_complete.pdf|Weidenbaum reasoning course notes]] Weidenbaumi kursus: oluliselt rohkem - hästi esitatud - teooriat, kui Geoffi kursuses.</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><ins style="font-weight: bold; text-decoration: none;">* [[Media:paramodulation_handbook.pdf|Equality-based reasoning: handbook chapter]] Võrduse kasutamise meetodid. Loe seda, siis, kui oled muud materjalid läbi saanud.</ins></div></td></tr> </table>

Tammet http://www.lambda.ee/w/index.php?title=Automaatne_teoreemit%C3%B5estamine_I&diff=2595&oldid=prev 2008-09-17T19:13:44Z

<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: 17. september 2008, kell 21:13</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l4">4. rida:</td> <td colspan="2" class="diff-lineno">4. 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;"><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>* [[Media:http://www.ttu.ee/it/gandalf/OtterBook.pdf<del style="font-weight: bold; text-decoration: none;">|OtterBook]</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>* [[Media:<ins style="font-weight: bold; text-decoration: none;">Geoffreasoningnotes.pdf Geoff reasoning course notes]]</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><ins style="font-weight: bold; text-decoration: none;">* [</ins>http://www.ttu.ee/it/gandalf/OtterBook.pdf <ins style="font-weight: bold; text-decoration: none;">Big book with otter examples</ins>]</div></td></tr> </table>

Tammet http://www.lambda.ee/w/index.php?title=Automaatne_teoreemit%C3%B5estamine_I&diff=2594&oldid=prev 2008-09-17T19:12:32Z

<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: 17. september 2008, kell 21:12</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l2">2. rida:</td> <td colspan="2" class="diff-lineno">2. 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>Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis.</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>Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis.</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;"></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><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><ins style="font-weight: bold; text-decoration: none;">* [[Media:http://www.ttu.ee/it/gandalf/OtterBook.pdf|OtterBook]]</ins></div></td></tr> </table>

Tammet http://www.lambda.ee/w/index.php?title=Automaatne_teoreemit%C3%B5estamine_I&diff=2593&oldid=prev 2008-09-17T19:05:35Z

<p></p> <p><b>Uus lehekülg</b></p><div>Kursus on iseõppe kursus, kuid toimub konsultatsioon kord nädalas: neljapäeviti kell 10 AK (IT) majas, kas ruumis 140 või 137 või - vastava teate korral - mujal samas majas.<br /> <br /> Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis.</div>

Tammet