Semantik / Bedeutungslehre

Die Semantik oder Bedeutungslehre beschreibt die Beziehung von Zeichen und deren Bedeutung. In der Informatik wird logische Semantik angewandt. Neben der Syntax wird so eine formale Semantik definiert. Es wird also festgelegt welche Bedeutung die Syntax hat bzw. welcher Logik sie folgt. Dies findet besonders bei der Verifikation von Software Verwendung.

ERP Novum Online Lexikon

#  A  B  C  D  E  F  G  H  I   K  L  M  N  O  P  Q  R  S  T  U  V  W  X  Y  Z