[Date Prev][Date Next] [Chronological] [Thread] [Top]

Re: [mizar] Private DB

On Wed, Sep 20, 2006 at 11:51:37AM +0900, Andrzej Trybulec wrote:

> On the other hand I wonder what "newbies' means. I almost believe that 
> it is a bad practice just to get a student and order him "formalize this 
> and this". So, I thnik we need regular Mizar cources, like in UwB. I am 
> very upset that preparing the simplest Internet course "Binary 
> Relations" failed. I do not want report who promised to prepare it :-).

I for sure promised to help with this but then nobody wanted my help.
I have somewhat "inherited" the material developed at UwB and ran (part of)
a regular course based on it.  Have a look at

	http://www.cs.ualberta.ca/~piotr/Courses/662/MizarDrills/

When I teach the course the next time I will probably modify it.

[I am teaching it right now but with no time to change anything as I was
 forced (students demanded!) to teach it in the last minute and my
 other obligations prevent me from spending any time on this stuff.]

-- 
Piotr Rudnicki        CompSci, University of Alberta, Edmonton, Canada
                      http://web.cs.ualberta.ca/~piotr