These are materials for an intensive, two-lecture minicourse on 6.042 taught by Charles E. Leiserson for SMA in the summer of 2005.