Difference between revisions 138950426 and 138950478 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):<math> x \sqsubseteq d </math>. 
Man kann auch sagen, das sich x an y annähert und schreibt:
:<math> x \ll y </math>.
Das bedeutet dass,
:<math> x \sqsubseteq y </math>,
{ y} eine gerichtete Menge ist. 

Das Supremum der Kette
 <math> \{0\}, \{0, 1\}, \{0, 1, 2\}, \ldots </math> ist die Menge aller natürlichen Zahlen '''N''' und. 

Dieses zeigt, dass keine unendliche Menge '''N''' approximieren (nähren) kann.

== Siehe auch ==
* [[Scott-Topologie]] - eine Topologie, die sich aus der Halbordnung auf einer halbgeordneten Mengen ergibt
*  [[Kategorientheorie]] - Die Kategorientheorie lässt sich, ähnlich wie die universelle Algebra, als allgemeine Theorie mathematischer Strukturen auffassen 

== Weblinks ==
* [http://www.uni-siegen.de/fb6/tcs/team/spreen ''Fachgruppe für Theoretische Informatik - Universität Siegen''] - 16.Februar 2015 (deutsch)
* [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)

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