Translation of "Computability" in German
This
allows
for
an
analysis
using
the
techniques
of
computability
theory.
Daher
ist
die
Analyse
mit
Hilfe
der
Berechenbarkeitstheorie
möglich.
Wikipedia v1.0
Recursion
theory
also
includes
the
study
of
generalized
computability
and
definability.
Weiterhin
umfasst
die
Rekursionstheorie
auch
das
Studium
von
verallgemeinerter
Berechenbarkeit
und
Definierbarkeit.
WikiMatrix v1
The
computability
aspects
of
K?nig's
lemma
have
been
thoroughly
investigated.
Die
Berechenbarkeit
des
Lemmas
von
König
wurde
gründlich
erforscht.
WikiMatrix v1
The
group
of
enforcement
experts
that
advised
the
Commission
on
the
digital
tachograph
has
also
been
tasked
to
review
the
current
legislation
in
the
light
of
the
current
differing
interpretations
as
well
as
the
conclusions
from
an
in-depth
Swedish
study
on
the
computability
of
the
current
rules
for
the
digital
tachograph3.
Die
Gruppe
von
Sachverständigen
in
Vollzugsfragen,
die
die
Kommission
zum
digitalen
Fahrtenschreiber
beraten
hat,
wurde
auch
damit
beauftragt,
die
geltenden
Rechtsvorschriften
im
Lichte
der
derzeit
unterschiedlichen
Auslegungen
sowie
unter
Berücksichtigung
der
Schlussfolgerungen
einer
eingehenden
schwedischen
Studie
zur
Berechenbarkeit
der
geltenden
Regeln
bei
Einsatz
des
digitalen
Fahrtenschreibers3
zu
überprüfen.
TildeMODEL v2018
He
has
worked
on
topics
of
first
and
second
order
logic,
axiomatic
set
theory,
computability
and
complexity.
Er
hat
über
Themen
der
Logik
erster
und
zweiter
Ordnung,
der
axiomatischen
Mengenlehre
und
über
Berechenbarkeit
und
Komplexität
gearbeitet.
Wikipedia v1.0
In
computability
theory,
a
Specker
sequence
is
a
computable,
monotonically
increasing,
bounded
sequence
of
rational
numbers
whose
supremum
is
not
a
computable
real
number.
In
der
Berechenbarkeitstheorie
ist
die
Specker-Folge
eine
berechenbare,
monoton
wachsende,
beschränkte
Folge
von
rationalen
Zahlen,
deren
Supremum
keine
berechenbare
reelle
Zahl
ist.
Wikipedia v1.0
Where
set-off
is
not
regulated
by
law
the
rule
is
that
it
must
be
applied
between
the
same
parties
(‘reciprocity’
requirement),
that
the
o
setter’s
claim
(set-off
claim)
must
be
due,
and
that
the
period
for
settlement
of
the
principal’s
claim
(principal
claim)
must
have
begun
(‘settlement
maturity’
requirement),
that
the
set-off
claim
must
be
legally
enforceable,
and
that
the
claims
are
equatable
(‘computability’
requirement,
which
means
that
both
claims
are
of
the
same
nature,
i.e.
that
they
are
both
pecuniary,
for
example).
Ist
die
Aufrechnung
nicht
gesetzlich
geregelt,
so
gilt
die
Regel,
dass
sie
zwischen
denselben
Parteien
angewandt
werden
muss
(Erfordernis
der
„Gegenseitigkeit“),
dass
die
Forderung
des
Aufrechnenden
(Aufrechnungsforderung)
fällig
sein
und
der
für
die
Begleichung
der
Forderung
des
Hauptgläubigers
(Hauptforderung)
festgelegte
Zeitraum
begonnen
haben
muss
(Erfordernis
der
Zahlungsfälligkeit),
dass
das
Aufrechnungserfordernis
rechtlich
durchsetzbar
sein
muss
und
die
Forderungen
gleichzusetzen
sind
(Erfordernis
der
„Berechenbarkeit“,
was
bedeutet,
dass
die
beiden
Forderungen
derselben
Natur,
also
beispielsweise
nanzieller
Art
sind).
EUbookshop v2
This
arrangement,
too,
contributes
essentially
to
the
reduction
of
the
manufacturing
cost
as
an
advantage
of
the
present
invention,
in
addition
to
affording
the
possibility
of
large-scale
in-house
production
of
all
parts
with
the
customary
manufacturing
and
assembly
requirements
at
low
overall
cost,
which
ensures
high
dependability
in
service,
reliability
and
computability
of
the
displacement
of
the
plucking
location,
and
this
at
minimum
additional
energy
demands
for
driving
the
plucking
head.
Auch
diese
Maßnahme
trägt
wesentlich
zur
Senkung
der
Herstellungskosten
als
Vorteil
der
Erfindung
bei,
ferner
die
Möglichkeit
der
Eigenherstellung
aller
Teile
mit
dem
üblichen
Fertigungs-
und
Montageaufwand
in
Großserie
mit
geringen
Gesamtkosten
bietet,
die
eine
hohe
Funktionssicherheit,
Zuverlässigkeit
und
Berechenbarkeit
der
Zupfortverstellung
gewährleistet
und
das
bei
einem
minimalen
zusätzlichen
Energiebedarf
für
den
Antrieb
des
Zupfkopfes.
EuroPat v2
In
computability
theory,
productive
sets
and
creative
sets
are
types
of
sets
of
natural
numbers
that
have
important
applications
in
mathematical
logic.
Kreative
und
produktive
Mengen
sind
Klassen
von
Teilmengen
der
natürlichen
Zahlen,
die
in
der
Berechenbarkeitstheorie
und
der
mathematischen
Logik
auftreten.
Wikipedia v1.0
Research
fields
in
theoretical
computer
science
span
a
wide
variety
of
topics,
including
models
of
computation,
algorithms
and
data
structures,
computability
and
computational
complexity
theory,
information
theory,
and
cryptography.
Die
Forschung
auf
dem
Gebiet
der
theoretischen
Informatik
umfasst
ein
breites
Themenspektrum,
wie
z.B.
Berechnungsmodelle,
Algorithmen
und
Datenstrukturen,
Berechenbarkeit
und
Komplexitätstheorie,
Informationstheorie
und
Kryptographie.
ParaCrawl v7.1
From
1930's
on
Kleene
more
than
any
other
mathematician
developed
the
notions
of
computability
and
effective
process
in
all
their
forms
both
abstract
and
concrete,
both
mathematical
and
philosophical.
Von
1930
's
Kleene
in
mehr
als
jedes
andere
Mathematiker
entwickelt,
die
Begriffe
der
Berechenbarkeit
und
wirksame
Verfahren
in
allen
ihren
Formen
sowohl
abstrakte
und
konkrete,
auch
mathematische
und
philosophische.
ParaCrawl v7.1
Richard
Manning
Karp's
research
activities
focus
on
the
theory
of
algorithms:
the
development
of
efficient
algorithms
for
network
flow
and
other
combinatorial
optimization
problems,
the
identification
of
polynomial-time
computability
with
the
intuitive
notion
of
algorithmic
efficiency,
and,
most
notably,
the
theory
of
NP-completeness.
Die
Forschungsarbeit
von
Richard
Manning
Karp
befasst
sich
mit
der
Theorie
von
Algorithmen:
die
Entwicklung
effizienter
Algorithmen
fÃ1?4r
den
Netzwerkfluss
und
andere
kombinatorische
Optimierungsprobleme,
die
Feststellung
von
Berechenbarkeit
in
polynomialer
Zeit
mit
einer
intuitiven
Vorstellung
von
algorithmischer
Effizienz
und
vor
allem
die
Theorie
der
NP-Vollständigkeit.
ParaCrawl v7.1
The
second
convergence
in
the
place
of
radio
is
in
digitalisation,
i.e.
the
computability
of
everything
that
can
be
mapped
in
frequencies.
Die
zweite
Konvergenz
des
Radioorts
heißt
Digitalisierung,
d.h.
die
Berechenbarkeit
alles
dessen,
was
sich
in
Frequenzen
abbilden
läßt.
ParaCrawl v7.1
The
students
know
the
limits
of
computability
and
formalization
and
are
able
to
understand
the
complexity
of
a
solution
process.
Die
Studierenden
kennen
die
grundsätzlichen
Grenzen
der
Berechenbarkeit
und
Formalisierbarkeit
und
können
die
Komplexität
von
Lösungsverfahren
verstehen.
ParaCrawl v7.1
Graduate
study
in
the
analysis
of
algorithms
and
the
study
of
computability
theory
require
an
advanced
understanding
of
mathematics.
Aufbaustudium
in
der
Analyse
von
Algorithmen
und
das
Studium
der
Berechenbarkeitstheorie
erfordern
ein
erweitertes
Verständnis
der
Mathematik.
ParaCrawl v7.1
The
computability
of
the
actual
parabolic
trajectory
and
the
point
of
impingement
may
be
impaired
by
outer
environmental
influences,
such
as
strong
wind
or
pressure
waves
created
by
traffic
moving
alongside
the
construction
site.
Durch
äußere
Umwelteinflüsse,
wie
z.
B.
Starkwind
oder
Druckwellen
die
durch
an
der
Baustelle
vorbeifließenden
Verkehr
erzeugt
werden,
kann
die
Berechenbarkeit
der
tatsächlichen
Wurfparabel
und
der
Auftreffstelle
beeinträchtigt
sein.
EuroPat v2
Thus
it
is
an
object
of
the
invention
to
provide
a
method
and
a
device
for
producing
a
filament
through
which
threads
(yarns)
can
be
produced
which
are
configured
to
be
finished
into
textile
fabrics
which
in
turn
are
characterized
by
high
strength,
simple
numerical
computability
of
the
mechanical
loads
and
through
low
resin
consumption.
Der
Erfindung
liegt
die
Aufgabe
zugrunde,
ein
Verfahren
und
eine
Vorrichtung
zur
Herstellung
eines
Fadens
vorzuschlagen,
mit
dem
bzw.
der
sich
Fäden
(Garne)
herstellen
lassen,
die
zur
Weiterverarbeitung
zu
textilen
Flächengebilden
oder
unter
deren
Verwendung
hergestellter
Halbfabrikate
geeignet
sind,
die
sich
wiederum
durch
eine
hohe
Festigkeit,
eine
einfache
numerische
Berechenbarkeit
der
mechanischen
Belastungszustände
und
durch
einen
geringen
Harzverbrauch
auszeichnen.
EuroPat v2
Unfortunately,
this
concept
does
not
lead
to
direct
tests
for
the
randomness
of
strings
because
the
Kolmogorov
complexity
is
not
computable
in
the
sense
of
computability
theory.
Leider
lassen
sich
aus
diesem
Konzept
keine
direkten
Tests
für
die
Zufälligkeit
von
Folgen
ableiten,
da
die
Kolmogorov-Komplexität
im
Sinne
der
Berechenbarkeitstheorie
nicht
berechenbar
ist.
EuroPat v2
Central
concerns
are
computability
and
complexity
theory,
the
efficient
use
of
high-power
computing
systems,
the
development,
administration
and
use
of
web-based
information
systems,
and
knowledge
management
in
software
development.
Im
Vordergrund
stehen
dabei
Berechenbarkeit
und
Komplexitätstheorie,
die
effiziente
Nutzung
von
Hochleistungsrechensystemen,
die
Entwicklung,
Administration
und
Nutzung
von
Web-basierten
Informationssystemen
und
das
Wissensmanagement
in
der
Softwareentwicklung.
ParaCrawl v7.1