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