Syntax (mathematische Logik)
Syntax [griechisch sýntaxis, eigentlich »Zusammenstellung«] die, -/-en, mathematische Logik:
Regeln zur Bildung von Zeichenfolgen in formalen Sprachen aus einem zugrunde liegenden Alphabet. Auch der logische Beweis wird nach syntaktischen Ableitungsregeln formalisiert.
Informationen zum Artikel
Quellenangabe