2025 Fall 5615H lecture notes