Theory of Computing (AIT), Spring 2020