Lecture 11

Today we put together what we have learned so far. The goal of this lecture is to build circuits, especially halfadders, and fulladders, and ciruits to decide of two numers are equivalent.

The code below is an implementation of a simulator for adders.

Code: load.sml.

Code: circuits.sml.

Code: homework.sml. (code will be published after Monday).

Code: equal.sml.

Code: adders.sml.

Reading: Invitation to Computer Science Chapter 4.