ASU team revamps theoretical computer science class for modern learners.