Übersetzung für 'formale Sprache' von Deutsch nach Russisch

formale Sprache {f}

формальный язык {м}информ.мат.

---

Werbung

formale Logik {f}

формальная логика {ж}мат.

Sprache {f}

речь {ж} [язык]линг.

luxemburgische Sprache {f}

люксембургский язык {м}линг.

katalanische Sprache {f}

каталанский язык {м}линг.

maorische Sprache {f}

маори {м} [нескл.] [язык]линг.

bedrohte Sprache {f}

исчезающий язык {м}линг.

gesprochene Sprache {f}

устная речь {ж}линг.

Sprache {f} <Spr.>

язык {м} [речь]линг.

tote Sprache {f}

мёртвый язык {м}линг.

eine Sprache erlernen

овладевать (иностранным) языком {verb} [выучить]линг.образ.

Verrohung {f} der Sprache

огрубение {с} речи

treffsichere Sprache {f} [fig.]

меткая речь {ж} [перен.]

die Sprache verlieren

лишиться языка / речи {verb}

Sprache {f} [das Sprechen, Sprechweise]

манера {ж} говорить

Sprache ist ein Kommunikationsmittel.

Язык – орудие общения.

jdm. die Sprache verschlagen

лишить кого-л. дара речи {verb}

in einer Sprache bewandert

сведущий в языке {adj}

etw. zur Sprache bringen [erwähnen]

упомянуть о чём-л. {verb} [сов.]

Deutsche Akademie {f} für Sprache und Dichtung <DASD>

Немецкая академия {ж} языка и поэзииобраз.

• Siehe hierzu Alphabet (Informatik) und formale Sprache.
• Ziel dieses Zugangs ist die Revidierung oder gar Ersetzung der natürlichen Sprachen für Zwecke der Wissenschaften durch eine ideale, formale Sprache.
• Eine Teilmenge einer Menge (zum Beispiel eine Formale Sprache) heißt entscheidbar, wenn ihre charakteristische Funktion (im Wesentlichen das zugehörige Prädikat) berechenbar ist.
• Die formale Sprache als Objektsprache wird in einem Modell interpretiert.
• Ein regulärer Ausdruck beschreibt eine formale Sprache, also eine Menge von Wörtern (Zeichenketten).

• Eine Programmiersprache ist eine formale Sprache zur Formulierung von Datenstrukturen und Algorithmen, d.
• Dabei erweiterte er auch die formale Sprache Backus-Naur-Form (BNF), die zur Notation der Syntax von Algol 60 eingesetzt wurde, zur Erweiterten Backus-Naur-Form (EBNF).
• Gottlob Frege entwickelte als erster eine formale Sprache und die daraus resultierenden formalen Beweise.
• spielt in vielen Bereichen der theoretischen Informatik eine Rolle (zum Beispiel formale Sprache, regulärer Ausdruck, Automatentheorie).
• In vielen Fällen lässt sich anhand des Lemmas nachweisen, dass eine formale Sprache nicht regulär bzw.

• Eine Dokumentationssprache ist eine formale Sprache zur Nutzung innerhalb von Informations- und Dokumentationssystemen, d.
• Solche Beweise können in der Regel nur mit Maschinenunterstützung erstellt werden (siehe etwa Coq (Software)) und sind für Menschen kaum lesbar, schon allein die Übertragung der zu beweisenden Sätze in eine rein formale Sprache führt zu sehr langen, umständlichen und unverständlichen Zeichenketten.
• Die Übersetzung in eine formale Sprache soll aufzeigen, wo der Fehlschluss einen Ableitungsschritt macht, der gegen die formalen Schlussregeln verstößt.
• Seine herausragende Leistung auf dem Gebiet der Logik besteht darin, als erster eine formale Sprache und, damit zusammenhängend, formale Beweise entwickelt zu haben.
• Der Grund dafür lag in der erwähnten Unbestimmtheit des Begriffs der Intension und in der Vielzahl der Möglichkeiten, ihn in die formale Sprache eines Logikkalküls zu übersetzen.

• Formale Sprachen haben den Vorzug, mathematisch exakt analysiert werden zu können.
• Eine formale Sprache [...] über einem Alphabet [...] ist eine Teilmenge der Kleeneschen Hülle des Alphabets: [...].