Translation of "Branching logic" in German
Logic
branchings
are
represented
as
blocks
in
the
flow
chart.
Logische
Verzweigungen
sind
im
Flußdiagramm
als
Rauten
dargestellt.
EuroPat v2
With
a
branched
logic
of
said
type,
an
adaptation
to
driving
dynamics
requirements
can
only
be
obtained
with
difficulty.
Mit
einer
derart
verzweigten
Logik
ist
eine
Anpassung
an
fahrdynamische
Erfordernisse
nur
schwer
zu
erreichen.
EuroPat v2
In
model
theory,
a
branch
of
mathematical
logic,
the
spectrum
of
a
theory
is
given
by
the
number
of
isomorphism
classes
of
models
in
various
cardinalities.
In
der
Modelltheorie,
einem
mathematischen
Teilgebiet
der
Logik,
ordnet
die
Spektralfunktion
einer
Kardinalzahl
die
Anzahl
der
nicht-isomorphen
Modelle
einer
Theorie
zu.
WikiMatrix v1
It
used
to
mean
a
systematic
procedure
for
solving
a
mathematical
problem,
and
has
come
to
be
used
for
a
step
by
step,
logical
branching
procedure
for
solving
any
problem,
or
making
a
decision.
Es
bedeutete
ursprünglich
ein
systematisches
Verfahren
zur
Lösung
eines
mathematischen
Pro
blems
und
wird
mittlerweile
für
ein
schrittweises
Verfahren
logischer
Verzweigungen
zur
Lösung
eines
beliebigen
Problems
oder
einer
Entscheidungsfindung
verwendet.
EUbookshop v2
Proof
theory
is
a
branch
of
mathematical
logic
that
represents
proofs
as
formal
mathematical
objects,
facilitating
their
analysis
by
mathematical
techniques.
Die
Beweistheorie
ist
ein
Teilgebiet
der
mathematischen
Logik,
das
Beweise
als
formale
mathematische
Objekte
behandelt,
was
deren
Analyse
mit
mathematischen
Techniken
ermöglicht.
Wikipedia v1.0
It
can
comprise
one
or
several
specifications,
especially
production
and/or
calculation
steps
and/or
logical
branching,
which
are
processed
in
the
event
of
a
fault.
Diese
kann
eine
oder
mehreren
Vorschriften,
insbesondere
Arbeits-
und/oder
Rechenschritte
und/oder
logische
Verzweigungen,
umfassen,
die
im
Fehlerfall
abgearbeitet
werden.
EuroPat v2
Results
of
reverse
mathematics,
a
branch
of
mathematical
logic
analyzing
theorems
with
reference
to
the
set
existence
axioms
necessary
to
prove
them
may
be
used
to
illustrate
the
implications
of
machine
learning
frameworks.
Ergebnisse
der
inversen
Mathematik,
ein
Zweig
der
mathematischen
Logik,
der
Theoreme
mit
Bezug
auf
die
zu
ihrem
Nachweis
notwendigen
Mengen-Existenz-Axiome
analysiert,
können
verwendet
werden,
um
die
Auswirkungen
formaler
Frameworks
für
maschinelles
Lernen
zu
veranschaulichen.
ParaCrawl v7.1
The
methods
and
aims
of
this
work
are
probably
more
easily
intelligible
and
more
interesting
to
the
'ordinary'
mathematician
than
those
of
any
other
branch
of
mathematical
logic.
Die
Methoden
und
Ziele
dieser
Arbeiten
sind
wahrscheinlich
leichter
verständlich
und
interessant
zu
den
"normalen"
Mathematiker
als
die
aller
anderen
Zweig
der
mathematischen
Logik.
ParaCrawl v7.1
As
a
universal
method,
the
Art
was
the
foundation
of
all
branches
of
knowledge
(logic,
metaphysics,
philosophy,
theology,
law,
medicine
and
the
other
natural
sciences,
the
liberal
and
the
mechanical
arts,
etc.
Als
universale
Methode
war
die
Ars
die
Grundlage
für
alle
Bereiche
des
Wissens
(Logik,
Metaphysik,
Philosophie,
Theologie,
Recht,
Medizin
und
die
anderen
Zweige
der
Naturphilosophie,
die
freien
und
die
mechanischen
Künste
etc.).
ParaCrawl v7.1