|
|
Автор: Jesse Russell
Год: 2013
Издание:
Книга по Требованию
Страниц: 105
ISBN: 9785508124700
High Quality Content by WIKIPEDIA articles! Domain theory is a branch of mathematics that studies special kinds of partially ordered sets (posets) commonly called domains. Consequently, domain theory can be considered as a branch of order theory. The field has major applications in computer science, where it is used to specify denotational semantics, especially for functional programming languages. Domain theory formalizes the intuitive ideas of approximation and convergence in a very general way and has close relations to topology. An alternative important approach to denotational semantics in computer science is that of metric spaces. Данное издание представляет собой компиляцию сведений, находящихся в свободном доступе в среде Интернет в целом, и в информационном сетевом ресурсе "Википедия" в частности. Собранная по частотным запросам указанной тематики, данная компиляция построена по принципу подбора близких информационных ссылок, не имеет самостоятельного сюжета, не содержит...
|
|
Marcelo P.FioreAxiomatic Domain Theory in Categories of Partial Maps (Distinguished Dissertations in Computer Science)
Jesse RusselDomino theory
Jesse RussellDomain theory