Automaatne teoreemitõestamine I: erinevus redaktsioonide vahel

Redaktsioon: 17. september 2008, kell 21:13

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.

Redaktsioon: 17. september 2008, kell 21:12 vaata lähteteksti Tammet (arutelu \| kaastöö) Bürokraadid, Administraatorid 15 365 muudatust Resümee puudub ← Vanem muudatus		Redaktsioon: 17. september 2008, kell 21:13 vaata lähteteksti Tammet (arutelu \| kaastöö) Bürokraadid, Administraatorid 15 365 muudatust Resümee puudub Uuem muudatus →
4. rida:		4. rida:


	* [[Media:http://www.ttu.ee/it/gandalf/OtterBook.pdf~~\|OtterBook]~~]		* [[Media:Geoffreasoningnotes.pdf Geoff reasoning course notes]]
			* [http://www.ttu.ee/it/gandalf/OtterBook.pdf Big book with otter examples]

Automaatne teoreemitõestamine I: erinevus redaktsioonide vahel

Redaktsioon: 17. september 2008, kell 21:13

Navigeerimismenüü

Otsing