formalisierte sprache
1formalisierte Sprache — I formalisierte Sprache, eine Sprache, bestehend aus einer Menge von Grundzeichen (Alphabet), Formregeln (Grammatik) zum Aufbau von Ausdrücken aus den Grundzeichen, Ableitungsregeln für den Übergang von Ausdrücken zu anderen Ausdrücken und… …
2Formalisierte Theorie — Die formalisierte Theorie bezeichnet in der klassischen Mathematik ein Verfahren, wobei die Sätze einer Theorie durch logische Schlüsse aus den Axiomen abgeleitet werden. Zur Formalisierung der Axiome und der Beweise benutzt man dabei die… …
3Sprache — Sprechvermögen; Ausdrucksform * * * Spra|che [ ʃpra:xə], die; , n: 1. <ohne Plural> das Sprechen; die Fähigkeit zu sprechen: durch den Schock verlor er die Sprache; die Sprache wiederfinden. 2. System von Zeichen und Lauten, das von… …
4natürliche Sprache — I natürliche Sprache, Sprache. II natürliche Sprache, historisch gewachsene Sprache im Unterschied zu den künstlichen Sprachsystemen (z. B. Welthilfssprachen, formalisierte Sprachen, Programmiersprachen). Anders als diese weist sie u. a.… …
5Metasprache — Me|ta|spra|che 〈f. 19; unz.; Sprachw.〉 Sprache, in der Aussagen über eine Sprache gemacht werden [zu Meta... + Sprache] * * * Me|ta|spra|che [auch: mɛ…], die; , n [geb. nach ↑ Metaphysik] (Sprachwiss., Math., Kybernetik): Sprache od. Symbolsystem …
6-Innen — Binnen I auf einem Linzer Verkehrszeichen Als Binnen I (auch Majuskel I) bezeichnet man den Buchstaben I, wenn er innerhalb eines Wortes als Großbuchstabe zwischen Kleinbuchstaben vorkommt (Binnenmajuskel). Das Binnen I soll bei der Bezeichnungen …
7BinnenI — Binnen I auf einem Linzer Verkehrszeichen Als Binnen I (auch Majuskel I) bezeichnet man den Buchstaben I, wenn er innerhalb eines Wortes als Großbuchstabe zwischen Kleinbuchstaben vorkommt (Binnenmajuskel). Das Binnen I soll bei der Bezeichnungen …
8Großes weibliches I — Binnen I auf einem Linzer Verkehrszeichen Als Binnen I (auch Majuskel I) bezeichnet man den Buchstaben I, wenn er innerhalb eines Wortes als Großbuchstabe zwischen Kleinbuchstaben vorkommt (Binnenmajuskel). Das Binnen I soll bei der Bezeichnungen …
9Majuskel-I — Binnen I auf einem Linzer Verkehrszeichen Als Binnen I (auch Majuskel I) bezeichnet man den Buchstaben I, wenn er innerhalb eines Wortes als Großbuchstabe zwischen Kleinbuchstaben vorkommt (Binnenmajuskel). Das Binnen I soll bei der Bezeichnungen …
10Weibliches i — Binnen I auf einem Linzer Verkehrszeichen Als Binnen I (auch Majuskel I) bezeichnet man den Buchstaben I, wenn er innerhalb eines Wortes als Großbuchstabe zwischen Kleinbuchstaben vorkommt (Binnenmajuskel). Das Binnen I soll bei der Bezeichnungen …
