cs340_wi2023_syllabus.pdf