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

formale Logik {f}

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

formale Sprache {f}

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

• Es lassen sich auch formale Bezüge zwischen Architektur und Nutzung herstellen.
• Das Ziel des Instituts ist es allen Menschen auf der Welt Bildung – formale, non-formale und informale – zu ermöglichen.
• Ein regulärer Ausdruck beschreibt eine formale Sprache, also eine Menge von Wörtern (Zeichenketten).
• Im April 2004 erschien der Typ 4F zunächst als Limousine (formale Präsentation: Genfer Auto-Salon 2004).
• Den Begriff formale Ontologie gebrauchte zuerst Edmund Husserl.

• "Language" steht hier nicht für eine formale Computersprache, sondern vielmehr für eine auf jede Implementierung anwendbare weniger formale Sprache.
• Seine herausragende Leistung auf dem Gebiet der Logik besteht darin, als erster eine formale Sprache und, damit zusammenhängend, formale Beweise entwickelt zu haben.
• Das Ziel des Werkes ist es, eine neue formale Universalwissenschaft mit dem Titel „Formale Semantik“ zu entfalten, die alle anderen Formen einer philosophischen Universalwissenschaft ablösen soll, insbesondere die Ontologie und Erkenntnistheorie.
• Die denotationelle Semantik (Funktionensemantik; englisch: "denotational semantics") ist in der Theoretischen Informatik eine von mehreren Möglichkeiten, eine formale Semantik für eine formale Sprache zu definieren.
• AA kennt keine formale Mitgliedschaft; formale Hierarchierollen, beispielsweise die eines Meeting-Sekretärs, werden zumeist nur kurzfristig ausgefüllt.

• Eine formale Sprache [...] heißt inhärent mehrdeutige Sprache, wenn jede formale Grammatik [...] mit [...] mehrdeutig ist.
• Das Bildproblem ist für kontextfreie formale Grammatiken [...] entscheidbar und für kontextsensitive formale Grammatiken [...] unentscheidbar.