notes-cs-theory