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