Difference between revisions 138950805 and 138950829 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)

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
  ⏎
* [[Ordnungsrelation]] - Verallgemeinerungen der „kleiner-gleich“-Beziehung

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