Benutzer-Werkzeuge

Webseiten-Werkzeuge


glossar:operationale_semantik

Unterschiede

Hier werden die Unterschiede zwischen zwei Versionen gezeigt.

Link zu dieser Vergleichsansicht

glossar:operationale_semantik [2017/09/26 10:20] (aktuell)
Zeile 1: Zeile 1:
 +====== operationale Semantik ======
 +//engl.:// **operational semantics**
 +===== Bedeutung ======
 +Eine Semantik, die erklärt, wie eine Funktion oder ein Programm auszuwerten ist, nennen wir operationell oder Auswertungssemantik.
 +
  
glossar/operationale_semantik.txt · Zuletzt geändert: 2017/09/26 10:20 (Externe Bearbeitung)