QEC Course 2025_lecture1.pdf