A Guide To The Formal Definitions
In this section, the central concepts and definitions of domain theory will be introduced. The above intuition of domains being information orderings will be emphasized to motivate the mathematical formalization of the theory. The precise formal definitions are to be found in the dedicated articles for each concept. A list of general order-theoretic definitions which include domain theoretic notions as well can be found in the order theory glossary. The most important concepts of domain theory will nonetheless be introduced below.
Read more about this topic: Domain Theory
Famous quotes containing the words guide, formal and/or definitions:
“John Eliot came to preach to the Podunks in 1657, translated the Bible into their language, but made little progress in aboriginal soul-saving. The Indians answered his pleas with: ‘No, you have taken away our lands, and now you wish to make us a race of slaves.’”
—Administration for the State of Con, U.S. public relief program. Connecticut: A Guide to Its Roads, Lore, and People (The WPA Guide to Connecticut)
“There must be a profound recognition that parents are the first teachers and that education begins before formal schooling and is deeply rooted in the values, traditions, and norms of family and culture.”
—Sara Lawrence Lightfoot (20th century)
“What I do not like about our definitions of genius is that there is in them nothing of the day of judgment, nothing of resounding through eternity and nothing of the footsteps of the Almighty.”
—G.C. (Georg Christoph)