Cursos de Probabilistically Checkable Proofs