Reddit reviews Introduction to Lattices and Order
We found 4 Reddit comments about Introduction to Lattices and Order. Here are the top ones, ranked by their Reddit score.
Used Book in Good Condition
We found 4 Reddit comments about Introduction to Lattices and Order. Here are the top ones, ranked by their Reddit score.
I started from scratch on the formal CS side, with an emphasis on program analysis, and taught myself the following starting from 2007. If you're in the United States, I recommend BookFinder to save money buying these things used.
On the CS side:
On the math side, I was advantaged in that I did my undergraduate degree in the subject. Here's what I can recommend, given five years' worth of hindsight studying program analysis:
Final bit of advice: you'll notice that I heavily stuck to textbooks and Ph.D. theses in the above list. I find that jumping straight into the research literature without a foundational grounding is perhaps the most ill-advised mistake one can make intellectually. To whatever extent that what you're interested in is systematized -- that is, covered in a textbook or thesis already, you should read it before digging into the research literature. Otherwise, you'll be the proverbial blind man with the elephant, groping around in the dark, getting bits and pieces of the picture without understanding how it all forms a cohesive whole. I made that mistake and it cost me a lot of time; don't do the same.
I like Davey & Priestley:
http://www.amazon.com/gp/aw/d/0521784514/ref=pd_aw_sbs_2?pi=SL500_SY115
I wrote a version of this a few years ago -- it was available on comonad.com, which is still, frustratingly, down.
The main feature of note was that I used a semilattice to specify how simultaneous permissions interacted, and then provided lattice combinators to build up new semilattices out of simpler ones, so you could put a layer on top, use an antichain as a layer to say that once certain knowledge mixes you can't run the computation, and generally use any of the construction primitives from Davey and Priestley.
One issue with allowing piecewise lowering is it means you can't clearly track taint through a system that say, interactions with two forms of compartmented knowledge that shouldn't be allowed to mix within the system, because you can get one piece of knowlege, discharge the obligation and then get the other.
By controlling lowering very carefully you can likely prevent that, but it is a constant concern.
Two great introductions are:
both are short and very well written. Some books particularly close to my heart are: