http://www.lambda.ee/w/api.php?action=feedcontributions&feedformat=atom&user=Zingel 2026-10-28T13:34:23Z Kasutaja kaastöö MediaWiki 1.43.11 http://www.lambda.ee/w/index.php?title=Tulemused&diff=8747 2012-05-31T13:31:23Z

<p>Zingel: </p> <hr /> <div>==Teooria==<br /> <br /> Maksimaalselt võis saada 50 (25+25) punkti.<br /> <br /> # 104972 50<br /> # 111377 30<br /> # 111623 44<br /> # 111675 40<br /> <br /> 28.mai<br /> <br /> # 111289 30<br /> # 110054 45<br /> # 111525 35<br /> # 111679 50<br /> <br /> ==Ülesanded==<br /> <br /> # 110054 37<br /> # 111675 40<br /> # 111679 50<br /> <br /> 28.mai<br /> <br /> # 111289 33<br /> # 111377 35<br /> # 111382 42<br /> # 111525 25</div>

Zingel http://www.lambda.ee/w/index.php?title=Kontrollt%C3%B6%C3%B6_tulemused&diff=8742 2012-05-25T11:48:43Z

<p>Zingel: </p> <hr /> <div>Maksimaalselt võis saada kontrolltööl 50 punkti (20+30).<br /> <br /> # 104972 50<br /> # 110054 15<br /> # 111377 30<br /> # 111382 24<br /> # 111525 5<br /> # 111675 25<br /> # 111623 35<br /> # 111679 25</div>

Zingel http://www.lambda.ee/w/index.php?title=Tulemused&diff=8741 2012-05-25T11:47:40Z

<p>Zingel: </p> <hr /> <div>==Teooria==<br /> <br /> Maksimaalselt võis saada 50 (25+25) punkti.<br /> <br /> # 104972 50<br /> # 111377 30<br /> # 111623 44<br /> # 111675 40<br /> <br /> ==Ülesanded==<br /> <br /> # 110054 37<br /> # 111675 40<br /> # 111679 50</div>

Zingel http://www.lambda.ee/w/index.php?title=Kontrollt%C3%B6%C3%B6_tulemused&diff=8738 2012-05-22T13:27:56Z

<p>Zingel: </p> <hr /> <div>Maksimaalselt võis saada kontrolltööl 50 punkti (20+30).<br /> <br /> # 104372 50<br /> # 110054 15<br /> # 111377 30<br /> # 111382 24<br /> # 111525 5<br /> # 111675 25<br /> # 111623 35<br /> # 111679 25</div>

Zingel http://www.lambda.ee/w/index.php?title=Kodut%C3%B6%C3%B6de_punktid&diff=8726 2012-05-18T12:48:18Z

<p>Zingel: </p> <hr /> <div>==Kodutööde tulemused==<br /> <br /> Maksimaalsed punktid kodutöödest olid vastavalt 22(10+12), 10 ja 18. Esimeses töös oli antud kahes osas minimaalne ülesannete arv, mida teha, nende eest sai maksimaalselt 6+6 punkti.<br /> <br /> # Kaldma 27 (5+12,10,0)<br /> # Kerse 38 (6+7,10,15)<br /> # Müür 38 (12+0,10,18)<br /> # Saks 22 (6+6,10,0)<br /> # Tarien 40 (9+6,10,15)<br /> # Tinno 33 (5+6,10,11)<br /> # Tänav 40 (8+7,10,15)<br /> # Trump 37 (9+3,10,15)<br /> # Villemson 37 (8+8,10,11)</div>

Zingel http://www.lambda.ee/w/index.php?title=Kodut%C3%B6%C3%B6de_punktid&diff=8725 2012-05-18T11:27:02Z

<p>Zingel: Uus lehekülg: &#039;==Kodutööde tulemused== Maksimaalsed punktid kodutöödest olid vastavalt 22, 10 ja 18. Esimeses töös oli antud kahes osas minimaalne ülesannete arv, mida teha, nende eest ...&#039;</p> <hr /> <div>==Kodutööde tulemused==<br /> <br /> Maksimaalsed punktid kodutöödest olid vastavalt 22, 10 ja 18. Esimeses töös oli antud kahes osas minimaalne ülesannete arv, mida teha, nende eest sai maksimaalselt 6+6 punkti.<br /> <br /> # Kaldma 27 (5+12,10,0)<br /> # Kerse 38 (6+7,10,15)<br /> # Müür 38 (12+0,10,18)<br /> # Saks 22 (6+6,10,0)<br /> # Tarien 40 (9+6,10,15)<br /> # Tinno 33 (5+6,10,11)<br /> # Tänav 40 (8+7,10,15)<br /> # Trump 37 (9+3,10,15)<br /> # Villemson 37 (8+8,10,11)</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=8723 2012-05-18T10:54:20Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> [[Media:RLSKodu2.pdf|Kodused ülesanded 2]]: tähtaeg 23.märts 2012<br /> <br /> [[Media:RLSülesanded3.pdf|Kodused ülesanded 3]]: tähtaeg 4.mai 201<br /> <br /> [[Media:Vastused.pdf|Lahendused]]<br /> <br /> [[Kodutööde punktid]]<br /> <br /> <br /> [[Kohustuslik kodune ülesanne 1]] : tähtaeg 20.aprill 2012<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : tähtaeg 18.mai 2012<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> Eksamiajad: <br /> <br /> 23.mai kell 12 ruumis IT-140<br /> <br /> 28.mai kell 10 ruumis IT-140<br /> <br /> Konsultatsioon 18.mai kell 14 ruumis II-409<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=8693 2012-05-14T10:53:08Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> [[Media:RLSKodu2.pdf|Kodused ülesanded 2]]: tähtaeg 23.märts 2012<br /> <br /> [[Media:RLSülesanded3.pdf|Kodused ülesanded 3]]: tähtaeg 4.mai 201<br /> <br /> [[Media:Vastused.pdf|Lahendused]]<br /> <br /> <br /> [[Kohustuslik kodune ülesanne 1]] : tähtaeg 20.aprill 2012<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : tähtaeg 18.mai 2012<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> Eksamiajad: <br /> <br /> 23.mai kell 12 ruumis IT-140<br /> <br /> 28.mai kell 10 ruumis IT-140<br /> <br /> Konsultatsioon 18.mai kell 14 ruumis II-409<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=8692 2012-05-12T15:00:31Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> [[Media:RLSKodu2.pdf|Kodused ülesanded 2]]: tähtaeg 23.märts 2012<br /> <br /> [[Media:RLSülesanded3.pdf|Kodused ülesanded 3]]: tähtaeg 4.mai 201<br /> <br /> [[Media:Vastused.pdf|Lahendused]]<br /> <br /> <br /> [[Kohustuslik kodune ülesanne 1]] : tähtaeg 20.aprill 2012<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : tähtaeg 18.mai 2012<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Fail:Vastused.pdf&diff=8691 2012-05-12T14:59:23Z

<p>Zingel: </p> <hr /> <div></div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=8663 2012-04-25T09:28:58Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> [[Media:RLSKodu2.pdf|Kodused ülesanded 2]]: tähtaeg 23.märts 2012<br /> <br /> [[Media:RLSülesanded3.pdf|Kodused ülesanded 3]]: tähtaeg 4.mai 201<br /> <br /> <br /> [[Kohustuslik kodune ülesanne 1]] : tähtaeg 20.aprill 2012<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : tähtaeg 18.mai 2012<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Fail:RLS%C3%BClesanded3.pdf&diff=8662 2012-04-25T09:27:44Z

<p>Zingel: </p> <hr /> <div></div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=8660 2012-04-20T12:04:52Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> [[Media:RLSKodu2.pdf|Kodused ülesanded 2]]: tähtaeg 23.märts 2012<br /> <br /> Kodused ülesanded 3: lisan varsti!<br /> <br /> <br /> [[Kohustuslik kodune ülesanne 1]] : tähtaeg 20.aprill 2012<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : tähtaeg 18.mai 2012<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Kohustuslik_kodune_%C3%BClesanne_2&diff=8659 2012-04-20T12:00:10Z

<p>Zingel: </p> <hr /> <div>==Ülesanne 2==<br /> <br /> Koostada ülevaade temporaalse loogika ja kirjeldusloogikate tänapäevastest rakendustest ja kasutusvaldkondadest (jällegi võib lahendamisel moodustada kuni kolme inimese rühmi).</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=7817 2012-03-27T14:49:11Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> [[Media:RLSKodu2.pdf|Kodused ülesanded 2]]: tähtaeg 23.märts 2012<br /> <br /> <br /> [[Kohustuslik kodune ülesanne 1]] : tähtaeg 20.aprill 2012<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Kohustuslik_kodune_%C3%BClesanne_1&diff=8623 2012-03-27T14:48:23Z

<p>Zingel: </p> <hr /> <div>==Kodune ülesanne 1==<br /> <br /> Koostada ja esitada mulle ülevaade tavalisematest praegu kasutatavatest automaattõestajatest, katsetada vähemalt kaht neist, kirjeldus katsetuste tulemustest lisada samuti ülevaatele.<br /> <br /> (Lahendamisel võib moodustada kuni 3-inimese rühmad.)</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6746 2012-03-27T14:46:12Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> [[Media:RLSKodu2.pdf|Kodused ülesanded 2]]: tähtaeg 23.märts 2012<br /> <br /> <br /> [[Kohustuslik kodune ülesanne 1]]<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6745 2012-03-23T00:07:47Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> [[Media:RLSKodu2.pdf|Kodused ülesanded 2]]: tähtaeg 23.märts 2012<br /> <br /> <br /> [[Kohustuslik kodune ülesanne]] 1<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6739 2012-03-18T14:07:47Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> [[Media:RLSKodu2.pdf|Kodused ülesanded 2]]: tähtaeg 23.märts 2012<br /> <br /> <br /> [[Kohustuslik kodune ülesanne]] 1<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Fail:RLSKodu2.pdf&diff=8622 2012-03-18T14:05:30Z

<p>Zingel: </p> <hr /> <div></div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6738 2012-03-18T13:41:33Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> [[Kodused ülesanded 2]]: tähtaeg 23.märts 2012<br /> <br /> <br /> [[Kohustuslik kodune ülesanne]] 1<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6737 2012-03-12T15:10:01Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> <br /> [[Kohustuslik kodune ülesanne]] 1<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=T%C3%B5estuseotsingu_strateegiad.&diff=7878 2012-03-12T15:06:46Z

<p>Zingel: </p> <hr /> <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.<br /> <br /> #[http://www.tud.ttu.ee/~zingel/RakLoogika_6_1.ppt Pööramine (ppt)]&lt;br&gt;<br /> #[http://www.tud.ttu.ee/~zingel/RakLoogika_6_2.ppt Fokuseerimine (ppt)]</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6736 2012-02-28T14:02:14Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]]: tähtaeg 9.märts 2012 <br /> <br /> <br /> [[Kohustuslik kodune ülesanne]] 1<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Kodused_%C3%BClesanded_1&diff=8351 2012-02-28T13:56:41Z

<p>Zingel: </p> <hr /> <div>==Kodused ülesanded 1==<br /> <br /> Kasutame raamatu &quot;Loogika:mõtlemisest tõestamiseni&quot; ülesandeid.<br /> <br /> 1. Jaotusest 3.8. (lk 92-93) ülesannete 2,5,6,7,8 hulgast vähemalt 3 ülesannet.<br /> <br /> 2. Jaotusest 4.11. (lk 126-129) ülesannete 1,5,6,8 hulgast vähemalt 2 ülesannet. Ülesannete 5,6,8 puhul tuleb lahendada vähemalt 3 alampunkti.<br /> <br /> Kui leidub keegi, kel ei õnnestu raamatut millegipärast kasutada, pöörduge palun minu poole ja ma varustan teid ülesannete tekstidega.</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6726 2012-02-28T13:53:20Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt; (24.veebruaril ära jäänud loengu asemel)<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] <br /> <br /> <br /> [[Kohustuslik kodune ülesanne]] 1<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Sekventsarvutus.&diff=8620 2012-02-28T13:47:45Z

<p>Zingel: </p> <hr /> <div>==Sekventsarvutus.==<br /> <br /> Lugege palun läbi raamatust &quot;Loogika:mõtlemisest tõestamiseni&quot; peatükk 6 (Tuletussüsteemid). &lt;br&gt;<br /> Lühida kokkuvõtte saab ka näiteks:<br /> [http://mathworld.wolfram.com/SequentCalculus.html] <br /> [http://en.wikipedia.org/wiki/Sequent_calculus]</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6724 2012-02-28T13:40:36Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # [[Sekventsarvutus.]] &lt;br&gt;<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] <br /> <br /> <br /> [[Kohustuslik kodune ülesanne]] 1<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6723 2012-02-10T14:32:30Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://www.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # Tuletussüsteemid. &lt;br&gt;<br /> # Sekventsarvutus. &lt;br&gt;<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] <br /> <br /> <br /> [[Kohustuslik kodune ülesanne]] 1<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Tulemused&diff=8387 2012-02-08T14:35:04Z

<p>Zingel: </p> <hr /> <div></div>

Zingel http://www.lambda.ee/w/index.php?title=Kontrollt%C3%B6%C3%B6_tulemused&diff=8388 2012-02-08T14:34:48Z

<p>Zingel: </p> <hr /> <div></div>

Zingel http://www.lambda.ee/w/index.php?title=Kohustuslik_kodune_%C3%BClesanne_2&diff=8375 2012-02-08T14:34:23Z

<p>Zingel: </p> <hr /> <div></div>

Zingel http://www.lambda.ee/w/index.php?title=Kohustuslik_kodune_%C3%BClesanne&diff=8311 2012-02-08T14:33:41Z

<p>Zingel: </p> <hr /> <div></div>

Zingel http://www.lambda.ee/w/index.php?title=Kodused_%C3%BClesanded_1&diff=6725 2012-02-08T14:32:16Z

<p>Zingel: /* Kodused ülesanded 1 */</p> <hr /> <div>==Kodused ülesanded 1==</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6696 2012-02-08T14:31:08Z

<p>Zingel: /* Kodused ülesanded. */</p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # Tuletussüsteemid. &lt;br&gt;<br /> # Sekventsarvutus. &lt;br&gt;<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] <br /> <br /> <br /> [[Kohustuslik kodune ülesanne]] 1<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6688 2012-02-08T14:30:42Z

<p>Zingel: /* Kodused ülesanded. */</p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # Tuletussüsteemid. &lt;br&gt;<br /> # Sekventsarvutus. &lt;br&gt;<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] <br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS2.pdf Kodused ülesanded 2] <br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS3.pdf Kodused ülesanded 3] <br /> <br /> [[Kohustuslik kodune ülesanne]] 1<br /> <br /> [[Kohustuslik kodune ülesanne 2]]<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=6687 2011-05-26T12:18:31Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # Tuletussüsteemid. &lt;br&gt;<br /> # Sekventsarvutus. &lt;br&gt;<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] : Tähtaeg 17.02. kell 00.00 (enne 18. kuupäeva saabumist)<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS2.pdf Kodused ülesanded 2] : Tähtaeg 3.märts kell 00.00<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS3.pdf Kodused ülesanded 3] : Tähtaeg 17.märts kell 00.00<br /> <br /> [[Kohustuslik kodune ülesanne]] 1 : Tähtaeg 14.aprill<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : Tähtaeg 12.mai<br /> <br /> ==Kontrolltöö.==<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=5514 2011-05-26T12:17:11Z

<p>Zingel: /* Eksam. */</p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # Tuletussüsteemid. &lt;br&gt;<br /> # Sekventsarvutus. &lt;br&gt;<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] : Tähtaeg 17.02. kell 00.00 (enne 18. kuupäeva saabumist)<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS2.pdf Kodused ülesanded 2] : Tähtaeg 3.märts kell 00.00<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS3.pdf Kodused ülesanded 3] : Tähtaeg 17.märts kell 00.00<br /> <br /> [[Kohustuslik kodune ülesanne]] 1 : Tähtaeg 14.aprill<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : Tähtaeg 12.mai<br /> <br /> ==Kontrolltöö.==<br /> Kontrolltöö toimub 14.mail kell 12 ruumis IT-137A. Ülesanded on samades valdkondades kui kodused tööd 1-3. &lt;br&gt;<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Tulemused&diff=6693 2010-05-31T10:19:58Z

<p>Zingel: </p> <hr /> <div>14. mai<br /> <br /> Umbleja 40 &lt;br&gt;<br /> <br /> 25.mai<br /> <br /> Kallas 36 + 38 (ülesanded) &lt;br&gt;<br /> Sooba 28 + 35 (ülesanded) &lt;br&gt;</div>

Zingel http://www.lambda.ee/w/index.php?title=Tulemused&diff=3972 2010-05-31T10:16:37Z

<p>Zingel: </p> <hr /> <div>14. mai<br /> <br /> Umbleja 40</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=5513 2010-05-31T10:15:37Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # Tuletussüsteemid. &lt;br&gt;<br /> # Sekventsarvutus. &lt;br&gt;<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] : Tähtaeg 17.02. kell 00.00 (enne 18. kuupäeva saabumist)<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS2.pdf Kodused ülesanded 2] : Tähtaeg 3.märts kell 00.00<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS3.pdf Kodused ülesanded 3] : Tähtaeg 17.märts kell 00.00<br /> <br /> [[Kohustuslik kodune ülesanne]] 1 : Tähtaeg 14.aprill<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : Tähtaeg 12.mai<br /> <br /> ==Kontrolltöö.==<br /> Kontrolltöö toimub 14.mail kell 12 ruumis IT-137A. Ülesanded on samades valdkondades kui kodused tööd 1-3. &lt;br&gt;<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> Eksamiajad on järgmised:<br /> <br /> 25. mai kell 13-15 ruumis IT-137A<br /> <br /> 9. juuni kell 13-15 ruumis IT-137A<br /> <br /> [[Tulemused]]</div>

Zingel http://www.lambda.ee/w/index.php?title=Kontrollt%C3%B6%C3%B6_tulemused&diff=6692 2010-05-20T15:53:30Z

<p>Zingel: </p> <hr /> <div>Soovitus kõigile: HARJUTAGE KLAUSELKUJULE (KONJUKTIIVSELE NORMAALKUJULE) VIIMIST. Sellega eksiti väga palju. Pidage meeles, et Davis-Putnami meetodit ja resolutsioonimeetodit saab rakendada alles siis, kui lause on klauselkujule (või prenekskujule) viidud.<br /> <br /> Punkte oli maksimaalselt võimalik saada 60 (20+20+20).<br /> <br /> Halling 25 (10+10+5)<br /> <br /> Kallas 20 (5+5+10)<br /> <br /> Metsvahi 25 (5+5+15)<br /> <br /> Sarviro 42 (14+18+10)<br /> <br /> Sooba 15 (5+0+10)<br /> <br /> Tšitškan 35 (15+15+5)<br /> <br /> Umbleja 55 (20+20+15)</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=3971 2010-05-20T15:45:59Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # Tuletussüsteemid. &lt;br&gt;<br /> # Sekventsarvutus. &lt;br&gt;<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] : Tähtaeg 17.02. kell 00.00 (enne 18. kuupäeva saabumist)<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS2.pdf Kodused ülesanded 2] : Tähtaeg 3.märts kell 00.00<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS3.pdf Kodused ülesanded 3] : Tähtaeg 17.märts kell 00.00<br /> <br /> [[Kohustuslik kodune ülesanne]] 1 : Tähtaeg 14.aprill<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : Tähtaeg 12.mai<br /> <br /> ==Kontrolltöö.==<br /> Kontrolltöö toimub 14.mail kell 12 ruumis IT-137A. Ülesanded on samades valdkondades kui kodused tööd 1-3. &lt;br&gt;<br /> [[Kontrolltöö tulemused]]<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> Eksamiajad on järgmised:<br /> <br /> 25. mai kell 13-15 ruumis IT-137A<br /> <br /> 9. juuni kell 13-15 ruumis IT-137A<br /> <br /> Kes soovib, võib eksamitöö kirjutada ka 14.mail peale kontrolltööd.</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=3958 2010-04-29T13:22:32Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # Tuletussüsteemid. &lt;br&gt;<br /> # Sekventsarvutus. &lt;br&gt;<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] : Tähtaeg 17.02. kell 00.00 (enne 18. kuupäeva saabumist)<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS2.pdf Kodused ülesanded 2] : Tähtaeg 3.märts kell 00.00<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS3.pdf Kodused ülesanded 3] : Tähtaeg 17.märts kell 00.00<br /> <br /> [[Kohustuslik kodune ülesanne]] 1 : Tähtaeg 14.aprill<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : Tähtaeg 12.mai<br /> <br /> ==Kontrolltöö.==<br /> Kontrolltöö toimub 14.mail kell 12 ruumis IT-137A. Ülesanded on samades valdkondades kui kodused tööd 1-3.<br /> <br /> ==Eksam.==<br /> Eksamitöö koosneb kahest teoreetilisest punktist (vt [[Kordamisküsimused.]]).<br /> <br /> Eksamiajad on järgmised:<br /> <br /> 25. mai kell 13-15 ruumis IT-137A<br /> <br /> 9. juuni kell 13-15 ruumis IT-137A<br /> <br /> Kes soovib, võib eksamitöö kirjutada ka 14.mail peale kontrolltööd.</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=3900 2010-04-16T14:11:46Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # Tuletussüsteemid. &lt;br&gt;<br /> # Sekventsarvutus. &lt;br&gt;<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] : Tähtaeg 17.02. kell 00.00 (enne 18. kuupäeva saabumist)<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS2.pdf Kodused ülesanded 2] : Tähtaeg 3.märts kell 00.00<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS3.pdf Kodused ülesanded 3] : Tähtaeg 17.märts kell 00.00<br /> <br /> [[Kohustuslik kodune ülesanne]] 1 : Tähtaeg 14.aprill<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : Tähtaeg 12.mai<br /> <br /> ==Kontrolltöö.==<br /> Kontrolltöö toimub 14.mail kell 12 ruumis IT-137A. Ülesanded on samades valdkondades kui kodused tööd 1-3.<br /> <br /> ==Eksam.==<br /> <br /> [[Kordamisküsimused.]] &lt;br&gt;</div>

Zingel http://www.lambda.ee/w/index.php?title=Kordamisk%C3%BCsimused.&diff=8021 2010-04-16T13:47:19Z

<p>Zingel: </p> <hr /> <div># Resolutsioon lausearvutuses.<br /> # Davis-Putnami algoritm.<br /> # Unifitseerimine.<br /> # Resolutsioon predikaatarvutuses.<br /> # Võrdusega predikaatarvutus.<br /> # Resolutsioonistrateegiad.<br /> # Temporaalloogika modaalne lähenemine.<br /> # Temporaalloogika predikaatarvutuslik lähenemine.<br /> # Kirjeldusloogikad.</div>

Zingel http://www.lambda.ee/w/index.php?title=Kohustuslik_kodune_%C3%BClesanne_2&diff=6691 2010-04-16T13:45:23Z

<p>Zingel: </p> <hr /> <div>Koostada ülevaade kas temporaalse loogika või kirjeldusloogikate tänapäevastest rakendustest ja kasutusvaldkondadest (jällegi võib lahendamisel moodustada kuni kolme inimese rühmi)</div>

Zingel http://www.lambda.ee/w/index.php?title=Kohustuslik_kodune_%C3%BClesanne&diff=6690 2010-04-16T13:42:22Z

<p>Zingel: </p> <hr /> <div><br /> Koostada ja esitada mulle ülevaade tavalisematest praegu kasutatavatest automaattõestajatest, katsetada vähemalt kaht neist, kirjeldus katsetuste tulemustest lisada samuti ülevaatele.<br /> <br /> (Lahendamisel võib moodustada kuni 3-inimese rühmad.)</div>

Zingel http://www.lambda.ee/w/index.php?title=Rakendusliku_loogika_s%C3%BCvakursus&diff=3895 2010-04-16T13:41:40Z

<p>Zingel: </p> <hr /> <div>Ainekood: ITV0081&lt;br&gt;<br /> Lektor: Tiina Zingel&lt;br&gt;<br /> <br /> ==Soovitatav kirjandus:==<br /> T.Tamme, T.Tammet, R.Prank. Loogika: mõtlemisest tõestamiseni. TÜ Kirjastus, 2002.<br /> <br /> ==Loengute materjalid. ==<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_1.ppt Meeldetuletus lausearvutusest. (ppt)] &lt;br&gt;<br /> # [http://elrond.tud.ttu.ee/~zingel/RakLoogika_2.ppt Meeldetuletus predikaatarvutusest. (ppt)] &lt;br&gt;<br /> # Tuletussüsteemid. &lt;br&gt;<br /> # Sekventsarvutus. &lt;br&gt;<br /> # [[Tõestuseotsingu strateegiad.]] &lt;br&gt;<br /> # [[Sissejuhatus automaattõestamisse.]] &lt;br&gt;<br /> ##[[Media:RakLoogika_5_1.ppt|Resolutsioonimeetod lausearvutuses. (ppt)]]&lt;br&gt;<br /> ##[[Media:RakLoogika_5_2.ppt|Davis-Putnami meetod. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_7.ppt|Unifitseerimine. (ppt)]] &lt;br&gt;<br /> # [[Media:RakLoogika_8.ppt|Resolutsioonimeetod predikaatarvutuses. (ppt).]]&lt;br&gt;<br /> # [[Media:RakLoogika_9.ppt|Võrdusega predikaatarvutus. (ppt)]]&lt;br&gt;<br /> # [[Media:RakLoogika_10.ppt|Resolutsioonistrateegiad. (ppt)]]&lt;br&gt;<br /> # [[Mitteklassikalised loogikad.]] &lt;br&gt;<br /> <br /> ==Kodused ülesanded.==<br /> Kodused ülesanded jagunevad kohustuslikeks ja mittekohustuslikeks. Eksamile pääsemiseks tuleb ära teha kõik kohustuslikud ülesanded ja 50% mittekohustuslikest ülesannetest. Tehes rohkem kui 50% mittekohustuslikest ülesannetest, on võimalik saada boonuspunkte, mis lähevad arvesse eksamihindes.<br /> <br /> [[Kodused ülesanded 1]] : Tähtaeg 17.02. kell 00.00 (enne 18. kuupäeva saabumist)<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS2.pdf Kodused ülesanded 2] : Tähtaeg 3.märts kell 00.00<br /> <br /> [http://elrond.tud.ttu.ee/~zingel/RLS3.pdf Kodused ülesanded 3] : Tähtaeg 17.märts kell 00.00<br /> <br /> [[Kohustuslik kodune ülesanne]] 1 : Tähtaeg 14.aprill<br /> <br /> [[Kohustuslik kodune ülesanne 2]] : Tähtaeg 12.mai<br /> <br /> <br /> ==Eksam.==<br /> <br /> [[Kordamisküsimused.]] &lt;br&gt;</div>

Zingel http://www.lambda.ee/w/index.php?title=Kohustuslik_kodune_%C3%BClesanne&diff=3893 2010-03-05T15:26:42Z

<p>Zingel: </p> <hr /> <div>==Kohustuslik ülesanne==<br /> <br /> Koostada ja esitada mulle ülevaade tavalisematest praegu kasutatavatest automaattõestajatest, katsetada vähemalt kaht neist, kirjeldus katsetuste tulemustest lisada samuti ülevaatele.<br /> <br /> (Lahendamisel võib moodustada kuni 3-inimese rühmad.)</div>

Zingel