theocs:lecture1