formalisieren

formalisieren
for|ma|li|sie|ren
<zu ↑formal u. ↑...isieren>:
1. etwas in bestimmte [strenge] Formen bringen;
sich an gegebene Formen halten.
2. ein [wissenschaftliches] Problem mithilfe von Formeln allgemein formulieren u. darstellen.
3.
a) zur bloßen bzw. festen, verbindlichen Form machen;
b) sich -: (selten) zur bloßen bzw. festen, verbindlichen Form werden.

Das große Fremdwörterbuch. 2013.

Игры ⚽ Поможем сделать НИР

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Formalisieren — (franz.), etwas in strenge Form bringen; reflexiv (sich f.), etwas übelnehmen, sich ärgerlich über etwas äußern …   Meyers Großes Konversations-Lexikon

  • formalisieren — for|ma|li|sie|ren 〈V. tr.; hat〉 eine Sache formalisieren einer Sache eine bestimmte (strenge) Form geben, sich bei einer Sache an gegebene (strenge) Formen halten * * * for|ma|li|sie|ren <sw. V.; hat: 1. (einen Zusammenhang) mithilfe von… …   Universal-Lexikon

  • formalisieren — for|ma|li|sie|ren 〈V.〉 eine Sache formalisieren einer Sache eine bestimmte (strenge) Form geben, sich bei einer Sache an gegebene (strenge) Formen halten …   Lexikalische Deutsches Wörterbuch

  • formalisieren — for|ma|li|sie|ren <französisch> (in [strenge] Form bringen; formal darstellen) …   Die deutsche Rechtschreibung

  • systematisieren — formalisieren, gliedern, in ein System bringen, ordnen, sortieren, strukturieren; (bildungsspr.): kategorisieren. * * * systematisieren→ordnen …   Das Wörterbuch der Synonyme

  • Alloperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Allquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Existenzoperator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Existenzquantor — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

  • Generalisator — Ein Quantor (auch: Quantifikator) ist ein Operator der Prädikatenlogik. Neben den Junktoren sind die Quantoren Grundzeichen der Prädikatenlogik. Allen Quantoren gemeinsam ist, dass sie Variablen binden. Die beiden gebräuchlichsten Quantoren sind… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”