Difference between revisions 114867297 and 114930118 on dewiki

{{QS-Mathematik}}
Die '''Bereichstheorie''' ist ein Zweig der Mathematik, der spezielle Arten von [[Halbordnung|Halbordnungen]],  gemeinhin als '''Bereiche''' oder '''Domänen''' bekannt, studieruntersucht. Sie kann als ein Teil der Reihenfolgegebiet der [[Ordnungstheorie]] betrachtet werden. Die Bereichstheorie beinhaltet  wichtige Anwendungen in der [[Informatik]], die in der Funktionensemantik [[Denotationelle Semantik|(denotationellen Semantik)]] insbesondere für [[funktionale Programmiersprache]]n, verwendet werden.<ref>[//www.cs.nott.ac.uk/~gmh/domains.html Introduction to Domain Theory School of Computer Science, University of Nottingham] - abgerufen am 02.Februar 2013</ref>

Sie formalisiert die intuitive Vorstellungen von Annäherung und Konvergenz in einer sehr allgemeinen Weise und unterhält enge Beziehungen zur [[Topologie (Mathematik)| Topologie]]. Ein alternativer wichtiger Ansatz zur Funktionensemantik sind die [[Metrischer Raum|metrischen Räume]].

== Motivation und Formulierung ==
Die primäre Motivation für das Studium der Domänen, die durch [[Dana Scott]] in den späten 1960er Jahren initiiert wurde, war die Suche nach der Funktionensemantik des [[Lambda-Kalkül|Lambda-Kalküls]]. Der Lambda-Kalkül ist eine formale Sprache zur Untersuchung von Funktionen. Diese formale Sprache beschreibt Funktionsdefinitionen, das Definieren formaler Parameter sowie das Auswerten u(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]]