Kurser, EECS/Teoretisk datalogi