non-standard-computation course exercises