Difference between revisions 138964095 and 139542165 on dewiki

< previous diff
Bereichstheorie
<noinclude>
{{Löschantragstext|tag=7|monat=März|jahr=2015|titel=Bereichstheorie}}
grab gesagt: alles falsch --[[Benutzer:Daniel5Ko|Daniel5Ko]] ([[Benutzer Diskussion:Daniel5Ko|Diskussion]]) 12:56, 7. Mär. 2015 (CET)
----</noinclude>⏎
Die '''Bereichstheorie''' ist ein ''Zweig der Mathematik'' und dient auf dem Gebiet der [[Theoretische Informatik|theoretischen Informatik]] zum mathematischen Nachweis der korrekten Funktionalität (Wirkungsweise) von Computerprogrammen ([[formale Semantik]]) bzw. zum Nachweis von Programmier- und Spezifikationssprachen [[denotationelle Semantik|(denotationelle Semantik)]]. Die Bereichstheorie kann ebenso als ein Teilgebiet der [[Ordnungstheorie]] betrachtet(contracted; show full)
* [http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.55.903 ''Domain Theory (1994) by Samson Abramsky''] - 16.Februar 2015 (englisch)
* [http://www.cs.bham.ac.uk/~axj/pub/papers/handy1.pdf ''Domain Theory - Corrected and expanded version''] - 16.Februar 2015 (PDF, 1.06 MB)

[[Kategorie:Mathematischer Grundbegriff]]
[[Kategorie:Ordnungstheorie]]