Αποστολή με SMS: Lectures on Proof Verification and Approximation Algorithms