I wrote up the section about the population count formulas for the Exactly 1 Diamond rule that we derived today. I made this the first section of the Exactly 1 writeup. I uploaded the PDF and LaTeX.
On the last page of the PDF writeup is the outline, which I have reordered somewhat. I put the proof by induction of the cloning process immediately after the new section on population count formulas. Next comes stuff about the transformation T. (Note that I copy and pasted relevant stuff from last semester into the PDF for these sections, and I still have to re-write these sections.) Let me know if you have suggestions for the outline/order of the writeup.
Subscribe to:
Post Comments (Atom)
1 comment:
Good start, Charlie.
Keep plugging away. I'll give you lots of feedback tomorrow (Wednesday) in lab.
Cheers, D.
Post a Comment