|UPD: Illustrated Notes from Computer Science
(09 Aug 2003 at 19:30)
| Well, I spent the better part of the day (actually, I think it was the worse part, to tell you the truth) scanning and uploading and photoshopping the last year's worth of notebooks for my online Illustrated Notes from Computer Science. I also covertly snuck in a "lost episode" cobbled together with a few pages I found from my time in undergrad. |
|Someday you need to write a textbook on something, and when you do, you need to transmit as much information as possible in pictoral form. I'm thinking along the lines of your notes on unification, but with a little text, too. Your notes on semantics are also fun, mostly because they're dripping with sarcasm (although to nitpick, the placement of the pictures and words should probably be reversed).
In an unrelated note, if you search or ayb2.swf on google your radar entry comes up at number 8.
|The meaning of a drawing of a carrot is the word 'carrot.'|
|But really it should be "the meaning of the word carrot is a carrot itself, which for our purposes we will refer to with the symbol that looks like a carrot." This is more analogous to what one normally does in semantics:
[[z]] = 0
[[s x]] = [[x]] + 1
(where 0, 1, and + are the 0, 1 and + in your favorite [usually set-theoretic] formalization of the natural numbers).
|I know. It's a "Ceci n'est pas une pipe" thing. |