Difference between revisions of "Lattice"
Jump to navigation
Jump to search
| Line 4: | Line 4: | ||
<references/> | <references/> | ||
=Related Pages= | =Related Pages= | ||
[[Category: | [[Category:Poset]] | ||
Revision as of 05:54, 7 February 2022
According to wikipedia, Lattice is a data type that is represented as directed arrows that doesn't create loopy structures. This is also known as a special kind of POSet for Partially-ordered set. According to Dana Scott[1], it is considered to be the build ing block of all of computation. It is also used as the main instrument to reason able correctness or safety/liveness properties of complex systems.
References
- ↑ Scott, Dana (January 1, 1970). "Outline of a Mathematical Theory of Computation". local page: Oxford University Computing Laboratory Programming Research Group.