CAS One day introduction to foundations of computing