Translation of "Logic symbol" in German

Layout pin names with more than two characters sometimes overlapped in the pin assignment drawing of the Edit Symbol Logic function, thus preventing from reliably assigning pins.
Bei der grafischen Pinzuordnung in der Funktion Symbollogik editieren konnte es bei Layoutbauteilpinnamen mit mehr als zwei Zeichen Länge zu einer Überlappung der Pintexte kommen, durch die die Zuordnung der Pins nicht mehr eindeutig war.
ParaCrawl v7.1

The Schematic Editor Symbols menu provides a function named Show Symbol Logic for displaying logical library part definitions of selectable symbols of the currently loaded SCM sheet.
Das Menü Symbole des Schematic Editors enthält die Funktion Symbollogik zeigen zur Anzeige der logischen Bauteildefinitionen selektierbarer Symbole des aktuell geladenen Stromlaufplans.
ParaCrawl v7.1

For convenient editing, the symbol logic editor assigns the Move Text function to the layout pin name texts and the Add Graphic Line function with automatic start point selection at the mouse position is assigned to the symbols (i.e., symbol pins).
Zur Vereinfachung der Eingabe sind die Layoutpinnamenstexte mit der aktiven Funktion Text bewegen und die Symbole (und damit die Symbolpins) mit der Funktion Neue Grafiklinie mit automatischem Setzen des ersten Punktes an der Mausposition belegt.
ParaCrawl v7.1

Symbol Logic Edit Layout pin names with more than two characters sometimes overlapped in the pin assignment drawing of the Edit Symbol Logic function, thus preventing from reliably assigning pins.
Bei der grafischen Pinzuordnung in der Funktion Symbollogik editieren konnte es bei Layoutbauteilpinnamen mit mehr als zwei Zeichen Länge zu einer Überlappung der Pintexte kommen, durch die die Zuordnung der Pins nicht mehr eindeutig war.
ParaCrawl v7.1

On symbol macro level, the Show Symbol Logic function sometimes displayed Library as source for the logical library definition, even for logical definitions originating from the project file.
Bei Aufruf der Funktion Symbollogik zeigen auf Symbolmakroebene konnte es vorkommen, dass im Header der Logikauflistung Bibliothek als Quelle angezeigt wurde, auch wenn die logische Definition tatsächlich aus dem Projekt stammte.
ParaCrawl v7.1

The Symbols / Show Symbol Logic and/or Symbols / Edit Symbol Logic functions can be used to view and/or edit the logical library definition if the problem is caused by the logical library definition.
Ist das Problem der logischen Definition des Symbols zuzuordnen, so kann diese im Schaltplan mit Symbole / Symbollogik zeigen bzw. Symbole / Symbollogik editieren betrachtet bzw. korrigiert werden.
ParaCrawl v7.1

When applied to a single-pin SCM symbol without logical library definition and with $gp attribute text, the Edit Symbol Logic function now automatically creates an xlat command which assigns the SCM symbol pin to all pins of the selected layout part macro.
Bei Anwendung der Funktion Symbollogik editieren auf ein neues einpiniges Symbol ohne logische Definition und mit $gp-Attributtext enthält der Symbollogikvorschlag nun automatisch ein xlat-Kommando mit Zuweisungen vom Symbolpin zu allen Pins des selektierten Layoutbauteilmakros.
ParaCrawl v7.1

Mapping the logic values to symbols is performed in accordance with a certain mapping rule.
Die Abbildung der Logikwerte auf die Symbole folgt einer bestimmten Abbildungsvorschrift.
EuroPat v2

The crossed-out logic states symbolize the presumably erroneous part.
Die durchstrichenen logischen Zustände symbolisieren den vermutlich fehlerhaften Teil.
EuroPat v2

Aristotle, Plato's student, created a system of symbolic logic.
Aristoteles, Platons Schüler, schuf ein System symbolischer Logik.
ParaCrawl v7.1

He studied psychology, the history of philosophy, and symbolic logic and received a PhD in 1927.
Er studierte Psychologie, Philosophie und symbolische Logik und 1927 erhielt er Doktortitel.
WikiMatrix v1

Symbolic logic represented for him the framework for the language of science.
Symbolische Logik vertreten für ihn den Rahmen für die Sprache der Wissenschaft.
ParaCrawl v7.1

Sometimes logic symbols are included which make the operator’s engineering design requirements unambiguous.
Manchmal sind logische Symbole enthalten, die die Engineering-Design-Anforderungen eindeutige Bediener machen.
ParaCrawl v7.1

In all this time he's never drawn a logical symbol or a number.
In all der Zeit, brachte er nie eine Zahl oder ein logisches Symbol zu Papier.
OpenSubtitles v2018

The Association for Symbolic Logic was founded in 1936 with Curry as one of the founders.
Die Association for Symbolic Logic wurde im Jahre 1936 mit Curry als einer der Gründer.
ParaCrawl v7.1

You have a special knack for mathematics, symbolic logic, computers, biology, and meditation.
Sie haben ein besonderes Talent für Mathematik, symbolische Logik, Computer, Biologie und Meditation.
ParaCrawl v7.1

He was elected to the Council of the London Mathematical Society in 2007, vice-president of the Association for Symbolic Logic (2006) and president of the Association for Symbolic Logic in 2009.
Er ist seit 2007 im Rat der London Mathematical Society und war 2006 Vizepräsident der Association for Symbolic Logic.
Wikipedia v1.0

In 18th-century Europe, attempts to treat the operations of formal logic in a symbolic or algebraic way had been made by philosophical mathematicians including Leibniz and Lambert, but their labors remained isolated and little known.
Mathematiker mit einem philosophischen Hintergrund, wie Leibniz oder Lambert versuchten bereits früh, die Operationen der formalen Logik mit einem symbolischen oder algebraischen Ansatz zu behandeln, aber ihre Arbeiten blieben weitgehend isoliert und unbekannt.
Wikipedia v1.0

When reviewed in the light of contemporary standards of logical precision, it becomes clear that Lewin had the correct intuition, even though he did not have the benefit of a highly developed terminology of definition theory or modern day symbolic logic.
Wird dies im Licht moderner logischer Standards betrachtet, so wird schnell klar, dass Lewin die richtige Intuition aufwies, obwohl ihm noch nicht die Vorteile einer hochentwickelten Terminologie von Definitionstheorie und symbolischer Logik zur Verfügung standen.
WikiMatrix v1