Translation of "Formales system" in English
Ein
solches
formales
System
kann
allerdings
nicht
ohne
Änderung
des
Vertrags
eingeführt
werden.
But
such
a
formal
system
could
not
be
introduced
without
Treaty
change.
TildeMODEL v2018
Ein
formales
Playoff-System
zur
Bestimmung
der
Ligameister
wurde
1934
eingeführt.
A
formal
playoff
system
to
determine
league
champions
was
established
in
1934.
WikiMatrix v1
Das
Chaos
zeigt
sich
als
formales
nichtlineares
dynamisches
System.
Chaos
appears
as
a
formal
non-linear
dynamic
system.
CCAligned v1
Es
besteht
kein
formales
System
vertraglicher
Vereinbarungen
zwi
schen
dem
Industrieministerium
und
dem
Antragsteller.
There
is
no
formalized
system
of
contractual
agreements
between
the
Department
of
Industry
and
applicants.
EUbookshop v2
In
der
Französischen
Gemeinschaft
gibt
es
kein
formales
System
zur
Akkreditierung
der
Studiengänge
und
Hochschulen.
Strictly
speaking,
there
is
no
accreditation
system
for
higher
education
institutions
in
the
French
Community.
EUbookshop v2
All
unsere
Geschäftsbereiche
müssen
über
ein
formales
System
zur
Überprüfung
und
Aufnahme
neuer
Lieferanten
verfügen.
Masco
requires
our
operating
units
to
have
a
formal
system
for
reviewing
and
accepting
new
vendors.
ParaCrawl v7.1
Damit
kann
kein
formales
System
(das
die
Voraussetzungen
des
Satzes
erfüllt)
die
natürlichen
Zahlen
eindeutig
charakterisieren,
da
immer
unbeweisbare
zahlentheoretische
Aussagen
übrigbleiben.
Thus
no
formal
system
(satisfying
the
hypotheses
of
the
theorem)
that
aims
to
characterize
the
natural
numbers
can
actually
do
so,
as
there
will
be
true
number-theoretical
statements
that
that
system
cannot
prove.
Wikipedia v1.0
Der
Hoare-Kalkül
(auch
Hoare-Logik)
ist
ein
formales
System,
um
die
Korrektheit
von
Programmen
nachzuweisen.
Hoare
logic
(also
known
as
Floyd–Hoare
logic
or
Hoare
rules)
is
a
formal
system
with
a
set
of
logical
rules
for
reasoning
rigorously
about
the
correctness
of
computer
programs.
Wikipedia v1.0
Die
Akkreditierung
ist
ein
formales
System,
das
den
Konformitätsbewertungsstellen
auf
unabhängige
und
verbindliche
Weise
Kompetenz,
Unparteilichkeit
und
Zuverlässigkeit
bescheinigt
und
damit
Wert
und
Vertrauenswürdigkeit
ihrer
Arbeit
und
der
von
ihnen
ausgestellten
Bescheinigungen
unterstützt.
Accreditation
is
a
formal
system
which
provides
an
independent
and
authoritative
attestation
of
the
competence,
impartiality
and
integrity
of
conformity
assessment
bodies,
thereby
supporting
the
value
and
credibility
of
the
work
done
and
certificates
issued.
TildeMODEL v2018
Der
Unvollständigkeitssatz
(1931)
(von
Gödel)
zeigte,
dass
kein
genügend
starkes
formales
System
seine
eigene
Konsistenz
beweisen
kann.
Gödel's
second
incompleteness
theorem
(1931)
shows
that
no
formal
system
extending
basic
arithmetic
can
be
used
to
prove
its
own
consistency.
WikiMatrix v1
Der
zweite
gödelsche
Unvollständigkeitssatz
besagt,
dass
ein
hinreichend
starkes
und
konsistentes
formales
System
die
eigene
Konsistenz
nicht
beweisen
kann.
Gödel's
second
incompleteness
theorem
establishes
that
logical
systems
of
arithmetic
can
never
contain
a
valid
proof
of
their
own
consistency.
WikiMatrix v1
Ernst
Mally,
ein
Schüler
von
Alexius
Meinong,
war
der
erste,
der
ein
formales
System
der
deontischen
Logik
in
Grundgesetze
des
Sollens
vorschlug,
er
gründete
dieses
auf
die
Syntax
von
Whiteheads
und
Russells
Aussagenkalkül.
Ernst
Mally,
a
pupil
of
Alexius
Meinong,
was
the
first
to
propose
a
formal
system
of
deontic
logic
in
his
Grundgesetze
des
Sollens
and
he
founded
it
on
the
syntax
of
Whitehead's
and
Russell's
propositional
calculus.
WikiMatrix v1
Den
Bestimmungen
zufolge
sind
die
einzelnen
Hochschulen
dafür
zuständig,
ein
formales
System
der
internen
Qualitätskontrolle
einzurichten.
According
to
regulations,
it
is
the
responsibility
of
each
HEI
to
set
up
a
formal
internal
quality
control
system.
EUbookshop v2
Gemäß
den
gesetzlichen
Bestimmungen
ist
es
Aufgabe
der
einzelnen
Hochschulen,
ein
formales
System
für
die
interne
Qualitätskontrolle
einzurichten.
According
to
the
regulations,
it
is
the
responsibility
of
each
HEI
to
set
up
a
formal
internal
quality
control
system.
EUbookshop v2
Mit
anderen
Worten:
Software,
Hardware,
Organisationsstruktur
und
auch
die
Problemanalyse
als
formales
System
bilden
eine
Einheit.
In
other
words,
the
software,
hardware,
organizational
structure
and
also
the
problem
analysis
as
a
formal
system
unite
to
form
a
whole.
EuroPat v2
Er
entwickelte
seit
Beginn
der
1970er
Jahre
ein
vielgestaltiges
Werk
in
den
unterschiedlichsten
Medien,
darunter
Karikaturen,
Performances,
Installationen,
Versuchsanordnungen,
Objekte,
Zeichnungen
und
Gemälde,
und
schuf
so
ein
komplexes
formales
System.
Since
the
early
seventies,
he
has
been
developing
a
complex
and
prolific
body
of
works
in
many
different
media
including
caricatures,
performances
and
experiments,
objects
and
paintings.
ParaCrawl v7.1
Wenn
ein
formales
axiomatisches
System
in
der
Lage
ist,
alle
Wahrheiten
der
Arithmetik
zu
beweisen,
muss
es
inkonsistent
sein.
If
a
formal
system
is
able
to
completely
prove
all
truths
of
arithmetic,
then
it
would
have
to
be
inconsistent.
ParaCrawl v7.1
Ein
vollständiges
Bild
über
irgendeinen
Kunden
oder
Interessenten
in
der
Vertriebspipeline
zu
erhalten,
bedeutete,
alle
Informationen
aus
verschiedenen
Abteilungen
"zusammenzuschustern",
die
über
kein
formales
System
zur
Kommunikation
miteinander
verfügten.
A
complete
picture
of
any
given
client
or
prospect
in
the
sales
pipeline
meant
cobbling
together
information
from
several
departments
that
had
no
formal
system
for
communicating
with
one
another.
ParaCrawl v7.1
Aufgrund
der
aus
Art
und
Größe
der
Geschäftstätigkeit
resultierenden
Risikolage
des
Unternehmens
hat
der
Vorstand
seiner
Aufgabe,
für
die
Einhaltung
der
gesetzlichen
Bestimmungen
und
unternehmensinternen
Richtlinien
zu
sorgen
und
auf
deren
Beachtung
durch
die
Unternehmensgruppe
hinzuwirken,
entsprochen,
ohne
bisher
ein
formales
Compliance
Management
System
etabliert
zu
haben.
Due
to
the
risk
situation
of
the
company
resulting
from
the
size
and
nature
of
business,
in
accordance
with
its
function,
the
management
board
ensured
that
all
provisions
of
law
and
the
company's
internal
policies
are
complied
with
and
endeavored
to
achieve
their
compliance
by
the
group
entities,
without
having
set
up
a
formal
compliance
management
system
so
far.
ParaCrawl v7.1
Gödel
bewies,
dass
solch
ein
formales
axiomatisches
System,
das
versucht
Arithmetik
zu
modellieren,
nicht
beides
gleichzeitig
sein
kann,
konsistent
und
vollständig.
Gödel
proved
that
such
an
axiomatic
formal
system
that
attempts
to
model
arithmetic
cannot
be
both
complete
and
consistent
at
the
same
time.
ParaCrawl v7.1
Und
gerade
als
solch
eine
Lösung
aufgestellt
wurde,
bewies
Gödel,
dass
kein
widerspruchsfreies
formales
axiomatisches
System
alle
Wahrheiten
der
Arithmetik
beweisen
kann.
And
just
when
such
a
solution
was
proposed,
Gödel
proved
that
no
consistent
axiomatic
formal
system
can
completely
prove
all
truths
of
arithmetic.
ParaCrawl v7.1
In
der
Logik
waren
Versuche,
ein
formales
System
zu
entwickeln,
dass
vollständig
und
widerspruchsfrei
alle
wahren
Aussagen
des
mathematischen
Systems
bestimmen
würde,
erfolglos.
In
logic,
attempts
to
develop
a
formal
system
that
would
completely
and
consistently
determine
all
true
statements
of
mathematical
systems
were
unsuccessful.
ParaCrawl v7.1
Seit
den
frühen
1970er
Jahren
hat
Hassan
Sharif
ein
vielgestaltiges
Werk
in
den
unterschiedlichsten
Medien
hervorgebracht,
darunter
Karikaturen,
Performances,
Installationen,
Versuchsanordnungen,
Objekte,
Zeichnungen
und
Gemälde,
und
so
ein
komplexes
formales
System
geschaffen.
Since
the
early
1970s,
Hassan
Sharif
had
developed
a
complex
and
prolific
body
of
works
in
the
most
diverse
media,
including
caricatures,
performances,
installations,
experimental
procedures,
objects,
drawings
and
paintings.
ParaCrawl v7.1
Er
will
ein
formales
System
aufbauen
und
den
Schulhof
in
drei
Zonen
einteilen:
einen
Spiel-,
einen
Bewegungs-
und
einen
Ruhebereich.
He
wants
to
build
a
formal
system
and
divide
the
schoolyard
into
three
zones:
a
play,
a
movement
and
a
relaxation
area.
ParaCrawl v7.1
Jedoch
wird
oft
genug
auch
das
Wort
'sollten'
benutzt,
um
bei
der
Einhaltung
des
Standards
einen
Ermessensspielraum
und
Interpretationsraum
zu
ermöglichen,
so
dass
gleichzeitig
ein
nützliches
und
brauchbares
formales
System
geschaffen
werden
kann,
das
für
unterschiedliche
Medizinproduktehersteller
und
unterschiedliche
Produkte
von
großem
Nutzen
sein
kann.
However,
there
is
sufficient
use
of
the
word
'should'
to
allow
for
discretion
and
interpretation
to
comply
with
the
standard,
whilst
creating
a
useful
and
workable
formal
system
that
can
be
of
great
benefit
to
different
medical
device
manufacturers
and
different
products.
ParaCrawl v7.1
Die
Kernanforderungen
zum
"risikobasierten
Denken"
sind
in
der
ISO
9001:2015
im
Abschnitt
6.1,
"Maßnahmen
zum
Umgang
mit
Risiken
und
Chancen",
enthalten.Risiken
und
Chancen
zu
managen
ist
eine
Entscheidung
für
eine
positive
Zukunft
und
bedeutet,
heute
zu
erkennen,
was
uns
morgen
beeinflussen
kann,
die
besten
Chancen
zu
nutzen
und
die
damit
einhergehenden
Risiken
mit
geeigneten
Maßnahmen
im
Sinne
der
Unternehmensziele
und
-strategie
zu
steuern.Der
systematische
Umgang
mit
Risiken
ist
kein
formales
System,
sondern
spiegelt
vielmehr
die
unternehmerische
Grundhaltung
und
den
Gestaltungswillen
wider.
The
key
requirements
relating
to
"risk-based
thinking"
are
included
in
Clause
6-1
of
ISO
9001:2015
"Actions
to
address
risks
and
opportunities".Managing
risks
and
opportunities
is
a
decision
for
a
positive
future
and
means
that
it
is
necessary
to
realized
today
what
can
influence
us
tomorrow,
seize
the
best
opportunities
and
control
the
commensurate
risks
by
taking
adequate
actions
with
the
aim
to
achieve
the
corporate
goals
and
strategy.Systematic
handling
of
risks
is
no
formal
system
but
rather
reflects
a
basic
entrepreneurial
attitude
and
the
will
to
design.
ParaCrawl v7.1