Difference between revisions 138915880 and 138917917 on dewiki

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)

Diese Berechnung wird in weiterer Folge durch das Anlegen gleichbleibender Funktionen auf Elemente der Domäne solange wiederholt, bis ein fester Punkt erreicht ist. Das Erreichen dieses festen Punktes bedeutet das Ergebnis (Endbearbeitung) einer solchen Berechnung.

== Definitionen und Konkretisierung ==

[[File:Gerichtete Teilmengen Bereichstheorie.jpg|thumb|Gerichtete Teilmengen zur Berechstheorie;]]⏎
Die Bereichstheorie befasst sich mit Halbordnungen um die Berechnung einer Domäne zu modellieren. Das Ziel besteht darin, die Elemente einer solchen Reihenfolge wie Informationsteile oder Teilergebnisse einer Berechnung so zu interpretieren, das die in der höheren Hierarchie angesiedelten Informationen mit den darunterliegenden Elementen einen gleichbleibenden Weg aufweisen. 
  
(contracted; show full)
* [http://homepages.inf.ed.ac.uk/als/Research/topological-domain-theory.html ''Topological Domain Theory-Übersicht''] - 16.Februar 2015 (englisch)
* [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)