Difference between revisions 114516858 and 114516880 on dewiki

< previous diff
next diff >
Bereichstheorie
Die '''Bereichstheorie''' ist ein Zweig der Mathematik, der spezielle Arten von [[Halbordnung|Halbordnungen]],  gemeinhin als Domänen bekannt, studiert. Sie kann als ein Teil der Reihenfolgetheorie betrachtet werden. Die Bereichstheorie beinhaltet  wichtige Anwendungen in der Informatik, die in der Funktionensemantik [[Denotationelle Semantik|(denotationellen Semantik)]] insbesondere für funktionale Programmiersprachen, verwendet werden.<ref>[//www.cs.nott.ac.uk/~gmh/doma(contracted; show full)

==== Approximationsordnung ====
Eine aufwendigere Methode der Modellierung führt zur sogenannten [[Approximationsordnung]].  Das Element ''x'' approximiert ''y'', in Zeichen <math> x \ll y </math>, wenn für jede [[gerichtete
n Menge]] <math>D</math> mit <math> y \sqsubseteq \sup D </math> ein Element <math>d \in D</math> existiert mit <math> x \sqsubseteq d </math>.

Aus <math>x \ll y</math> folgt <math> x \sqsubseteq y </math>, da <math>\{y\}</math> eine gerichtete Menge ist.

(contracted; show full)
* [http://homepages.inf.ed.ac.uk/als/Research/topological-domain-theory.html Topological Domain Theory-Übersicht] - englisch
* [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.903 Domain Theory (1994) by Samson Abramsky] - englisch
* [http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf Domain Theory - Corrected and expanded version] (PDF, 1.06 MB) 

==  Einzelnachweise  ==
<references />

[[Kategorie:Teilgebiet der Mathematik]]