Automaatne teoreemitõestamine I

Allikas: Lambda

Redaktsioon seisuga 17. september 2008, kell 21:05 kasutajalt Tammet (arutelu | kaastöö)

(erin) ←Vanem redaktsioon | Viimane redaktsiooni (erin) | Uuem redaktsioon→ (erin)

Mine navigeerimisribale Mine otsikasti

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.

Pärit leheküljelt "http://www.lambda.ee/w/index.php?title=Automaatne_teoreemitõestamine_I&oldid=2593"