- Formalisieren
Formalisieren (franz.), etwas in strenge Form bringen; reflexiv (sich f.), etwas übelnehmen, sich ärgerlich über etwas äußern.
http://www.zeno.org/Meyers-1905. 1905–1909.
Formalisieren
Schlagen Sie auch in anderen Wörterbüchern nach:
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 <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… … Das große Fremdwö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
