Theory of Computing (AIT)