Difference between revisions 138918012 and 138950397 on dewiki

< previous diff
next diff >
Bereichstheorie
{{In Bearbeitung|[[Benutzer:Schweigerl|Schweigerl]] ([[Benutzer Diskussion:Schweigerl|Diskussion]]) 23:12, 16. Feb. 2015 (CET)}}
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|(formale Semantik)]] bzw. zum Nachweis von Programmier- und Spezifikationsspr(contracted; show full)

Um daraus die richtige Berechnung abzuleiten, ist es nun notwendig den Funktionen solcher Halbordnungen garantierte Mindestfixpunkte (Beschränkungen) zuzuweisen. Die 
[[Teilmenge]] dieser dadurch erhaltenen Funktionen, zusammen mit einer geeigneten Reihenfolge, bezeichnet man wiederum als "Domäne" im Sinne der Bereichstheorie.

(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]]