Difference between revisions 114592100 and 114662056 on dewiki

< previous diff
next diff >
Bereichstheorie
{{QS-Mathematik}}⏎
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)* [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]]

[[en:Domain theory]]