vollfrei

См. также в других словарях:

• Vollfrei — Eine Variable bezeichnet man als vollfrei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle vorkommt, aber nirgendwo innerhalb der Formel quantifiziert ist. Die Unterscheidung zwischen freien und vollfreien… …   Deutsch Wikipedia

• Vollfreie Variable — Eine Variable bezeichnet man als vollfrei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle vorkommt, aber nirgendwo innerhalb der Formel quantifiziert ist. Die Unterscheidung zwischen freien und vollfreien… …   Deutsch Wikipedia

• Freie Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… …   Deutsch Wikipedia

• Freie Variable und gebundene Variable — In der Mathematik und Logik bezeichnet man eine Variable als in einer Formel frei vorkommend, wenn sie in dieser Formel an mindestens einer Stelle nicht im Bereich eines Operator (Mathematik)s auftritt. Sind hingegen alle Vorkommen der Variable… …   Deutsch Wikipedia

• Gebundene Umbenennung — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… …   Deutsch Wikipedia

• Gebundene Variable — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… …   Deutsch Wikipedia

• Geschlossene Formel — Eine Variable bezeichnet man als frei in einer Formel der Prädikatenlogik, wenn sie in der Formel an wenigstens einer Stelle unquantifiziert (also nicht im Bereich eines Quantors zu dieser Variable) vorkommt. Eine mit einem Quantor ( oder )… …   Deutsch Wikipedia

• Edictum Rothari — Abbildung aus einem Manuscript des Edictum Rothari Das Edictum Rothari war eine Gesetzessammlung des Langobardenkönigs Rothari. Es wurde am 22. November 643 vom gairethinx (Thing) beschlossen und in Kraft gesetzt. Inhaltsverzeichnis …   Deutsch Wikipedia

• Freie — (Frilinge, Freihälse, auch Kerle, vom althochd. charal, nord. karl), in germanischer Zeit die breite Masse des Volkes; aus ihnen ragen tatsächlich, nicht rechtlich, als vornehmere Klasse die Adligen hervor. Dem Stande der Freien stehen gegenüber… …   Meyers Großes Konversations-Lexikon

• Kind — 1. Ach, dass ich meine armen Kinder so geschlagen, klagte der Bauer, und sie waren des Pfaffen. – Eiselein, 375. 2. Alle Kinder werden mit Weinen geboren. Lat.: Clamabunt E et A quotquot nascuntur ab Eva. (Binder I, 193; II, 497; Seybold, 77.) 3 …   Deutsches Sprichwörter-Lexikon