-
- |
- Service / Hilfe
- |
- Kontakt
- |
- B2B
- Mein PONS
Deutsch » Englisch
Übersetzungen für „Operator“ im Deutsch » Englisch-Wörterbuch (Springe zu Englisch » Deutsch)
Beispiele aus dem Internet (nicht von der PONS Redaktion geprüft)
Definieren Sie induktiv die Menge G aller aussagenlogischen Formeln, in denen nur die Operatoren ¬, ∧, ∨ vorkommen, und in denen genau jede Variable negiert ist ( also keine zusammengesetzten negierten Formeln ).
Zeigen Sie mit struktureller Induktion, dass in jeder Formel A ∈ G genau so viele einstellige Operatoren wie Variablen vorkommen.
3.
www-madlener.informatik.uni-kl.de2. Inductively define the set G of all propositional formulas that contain only the operators ¬, ∧, ∨ and in which every variable is negative ( but only the variables, i.e. no negated composite formulas ).
Prove by structural induction that every formula A ∈ G contains exactly as many unitary operators as there are variables.
3.
www-madlener.informatik.uni-kl.deStrukturierte Programmierung ( 07-102-2101 ) ( E-Learning )
Vorgestellt werden der Aufbau von Programmen, Variablen und Datentypen, Operatoren, Anweisungen, Kontrollstrukturen, Präprozessor, Funktionen, Verbundtypen, Fehlersuche, die Verwendung von Feldern, dynamische Speicherverwaltun…mehr]
Kategorie:
www.wifa.uni-leipzig.deStructured Programming ( 07-102-2101 ) ( E-Learning )
The structure of programmes, variables and datatypes, operators, statements, control structures, pre-processor, functions, structs, debugging, arrays, dynamic memory management and the concept of abstract datatypes are presented....[more]
Category:
www.wifa.uni-leipzig.de6. Aufgabe :
[ Zusätzliche Operatoren in F0, 8P ] Um Formeln aus ganz F im deduktiven System F0 betrachten zu können, kann man weitere Axiome einführen.
1.
www-madlener.informatik.uni-kl.deExercise 6 :
[ Additional Operators in F0, 8P ] To cope with formulas from the whole set F in the deductive system F0 we can introduce further axioms.
1.
www-madlener.informatik.uni-kl.deEs war Werner Heisenberg, der aus dem beobachteten Energiespektrum der Atome einen mathematischen Formalismus herausdestillierte, der es erlaubte, beobachtbare Größen wie Frequenz, Intensität und Polarisation der Strahlung ohne Rückgriff auf ein Modell zu berechnen.
Born sah die zugrundeliegende mathematische Struktur ( Matrizen, Operatoren ); er und seine jungen Mitarbeiter Heisenberg und Pascual Jordan formten sie zusammen mit ihm zur Matrizenmechanik aus.
1926 entwickelte Schrödinger die sog.
www.theorie.physik.uni-goettingen.deIt was Werner Heisenberg who extracted a mathematical formalism from the observed energy spectrum of simple atoms allowing the calculation of measurable quantities like frequency, intensity, and polarization of the radiation without recourse to a specific model.
Born saw the underlying mathematical structure ( matrices, operators ); his young coworkers Heisenberg and Jordan together with him cast it into ( quantum- ) matrix mechanics.
In 1926 Schrödinger suggested ( quantum- ) wave mechanics, which was intended to describe matter waves in the sense of De Broglie.
www.theorie.physik.uni-goettingen.deEine Menge von Individuen bildet die Population, die sich unter Verwendung folgender ( sog. genetischer ) Operatoren verändert :
Die Mutation ist ein stochastischer Operator, der die genetische Information eines Individuums modifiziert, nachdem die Rekombination nur genetisches Material der Eltern neu zu einem Nachkommen zusammengesetzt hat.
Die Selektion bestimmt, welche Individuen in der nächsten Generation zur Fortpflanzung zugelassen werden.
ls11-www.cs.uni-dortmund.deA number of individuals form a population, which evolves from one generation to the next by means of the following genetic operators :
Mutation is a stochastic operator that modifies the genetic information of an individual after recombination has assembled the genetic material of two or more parents to a descendant.
Selection then determines which individuals may reproduce in the next generation.
ls11-www.cs.uni-dortmund.deBoolsche Operatoren
Bei der Suche können die logischen Operatoren "AND", "OR" und "NOT" verwendet werden, um die Abfrage zu verfeinern.
gams.uni-graz.atBoolean Operators
The search interface can handle the logical operators "AND", "OR" and "NOT" to refine the query.
gams.uni-graz.at2.
In jeder aussagenlogischen Formel A ∈ F ist die Anzahl der Klammerpaare gleich der Anzahl der Operatoren.
3.
www-madlener.informatik.uni-kl.deEvery propositional formula contains at least one symbol that is different from ¬ . 2.
In every propositional formula the number of pairs of brackets equals the number of operators.
3.
www-madlener.informatik.uni-kl.deWesentlich für das Gelingen der Selbstanpassung ist ein Geburtenüberschuss, der durch Selektion wieder abgebaut wird.
Untersucht werden Konvergenzeigenschaften, der Einfluss verschiedener Operatoren und Erweiterungen des Grundalgorithmus auf die mehrfache Zielsetzung, dynamische Optimierung und verschiedene Parallelisierungsansätze.
Genetische Algorithmen
ls11-www.cs.uni-dortmund.deFor the success of the self-adjustment, a surplus of descendants is crucial, which is diminished again by selection.
Researchers in our group examine convergence properties, the influence of different operators, and extensions of the basic algorithm for multi-objective and dynamic optimization problems. Different parallel approaches are being investigated, too.
Genetic algorithms
ls11-www.cs.uni-dortmund.de[ Version :
6.11.GABR.3] • Direkte Suche im Stichwortverzeichnis • Erweiterte Suche nach Eingabefeldern - Stichwort - feste Fügungen und Phraseologie - Volltext - nach vorgegebenen Parametern (Wortarten, Stilebene, Anwendungsbereich, Etymologie) • Verwendung von Platzhaltern und logischen Operatoren • Direkte Suche nach jedem Wort innerhalb eines Eintrags
Grande Dizionario Italiano Hoepli
www.elexico.com[ version :
6.11.GABR.3] • Direct search of index of words • Advanced search by field - Headwords - Idioms and phraseology - Entire text - Using predefined parameters (parts of speech, style labels, usage labels, etymology) • Use of wild-card characters and logical operators • Instant search of every word within a main entry
Grande Dizionario Italiano Hoepli
www.elexico.comMöchtest du ein Wort, eine Phrase oder eine Übersetzung hinzufügen?
Sende uns gern einen neuen Eintrag.
Wörterbuch durchsuchen
Deutsch