PPL(A) Theory Course