Notes for 8.04 Lectures