Automaatne teoreemitõestamine I: erinevus redaktsioonide vahel
Mine navigeerimisribale
Mine otsikasti
Resümee puudub |
Resümee puudub |
||
| 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. | |||
* [[Media:Geoffreasoningnotes.pdf Geoff reasoning course notes]] | * [[Media:Geoffreasoningnotes.pdf|Geoff reasoning course notes]]. Geoffi kursus: hea sissejuhatav lugemine. Siit peab kindlasti tegema hulgem ülesandeid! | ||
* [http://www.ttu.ee/it/gandalf/OtterBook.pdf Big book with otter examples] | * [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. | |||
Redaktsioon: 17. september 2008, kell 21:18
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.
- Geoff reasoning course notes. Geoffi kursus: hea sissejuhatav lugemine. Siit peab kindlasti tegema hulgem ülesandeid!
- 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.