forall x rides again 
In my logic class, I offer students extra credit for finding errors in forall x. As errors are discovered and corrected, opportunities for these bonuses are diminishing. I have now fixed the minor errors that students found last Fall, yielding the new version 1.24 [080109]

[ add comment ] ( 15321 views )   |  [ 0 trackbacks ]   |  permalink

<<First <Back | 62 | 63 | 64 | 65 | 66 | 67 | 68 | 69 | 70 | 71 | Next> Last>>