Automaatne teoreemitõestamine I
Allikas: Lambda
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.
