Das große Fremdwörterbuch. 2013.
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
