Read chapters 4 and 5 of Schmidt's book on Denotational Semantics. Read chapter 1 of my notes, concerning Binary Arithmetic. Do exercises 1, 2, 3, and 4 and submit your answers in LaTeX.