Automaatne teoreemitõestamine I: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| (ei näidata sama kasutaja 4 vahepealset redaktsiooni) | |||
| 3. rida: | 3. rida: | ||
Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis. | Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis. | ||
* [[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! | |||
* [[Media:http://www.ttu.ee/it/gandalf/OtterBook.pdf| | * [[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]. Geoffi kursus: hea sissejuhatav lugemine. Siit peab kindlasti tegema ära kõik ülesanded (excercises) ja igast eksamistiilis küsimuste blokist vähemalt pooled! | ||
* [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! | |||
* [[Media:weidenbaum_complete.pdf|Weidenbaum reasoning course notes]] Weidenbaumi kursus: oluliselt rohkem - hästi esitatud - teooriat, kui Geoffi kursuses. | |||
* [[Media:paramodulation_handbook.pdf|Equality-based reasoning: handbook chapter]] Võrduse kasutamise meetodid. Loe seda, siis, kui oled muud materjalid läbi saanud. | |||
Viimane redaktsioon: 18. september 2008, kell 02:28
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.
Siin lehel on esialgsed materjalid. Täpsemat infot konsultatsioonis.
- 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!
- Geoff reasoning course notes. Geoffi kursus: hea sissejuhatav lugemine. Siit peab kindlasti tegema ära kõik ülesanded (excercises) ja igast eksamistiilis küsimuste blokist vähemalt pooled!
- 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!
- Weidenbaum reasoning course notes Weidenbaumi kursus: oluliselt rohkem - hästi esitatud - teooriat, kui Geoffi kursuses.
- Equality-based reasoning: handbook chapter Võrduse kasutamise meetodid. Loe seda, siis, kui oled muud materjalid läbi saanud.