Difference between revisions 138950588 and 138950615 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)art Scott]], im Zuge seiner Suche nach der denotationellen Semantik (Funktionensemantik) des [[Lambda-Kalkül|Lambda-Kalküls]]. Der Lambda-Kalkül ist ebenso eine formale Sprache zur Untersuchung von Funktionen und beschreibt Funktionsdefinitionen, das definieren formaler Parameter sowie das Auswerten und Einsetzen aktueller Parameter. Strukturell gesehen, kann man bezugnehmend auf das Lambda Kalkül von [[Einfache Funktion|einfachen Funktionen]] ausgehen. Das bedeutet es handelt sich um Funktionen die wieder
rum andere Funktionen und deren Eingabeargumente übernehmen. Unter Berücksichtigung dieser einfachen Funktionen erhält man formale Parameter, sogenannte Fixpunktkombinatoren (der bekannteste ist der ''Y-Kombinator''). 

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