¿Cómo quieres hacer uso de PONS.com?

¿Ya estás suscrito a PONS Pur o a PONS Translate Pro?

PONS con publicidad

Visita PONS.com como acostumbras, con seguimiento de anuncios y publicidad.

Encontrarás más detalles sobre el seguimiento en Protección de datos y en Configuración de privacidad.

PONS Pur

Sin publicidad de terceros

Sin seguimiento de anuncios

Suscríbete aquí

Si ya disfrutas de una cuenta de usuario gratuita en PONS.com, suscríbete a PONS Pur .

We process your data to deliver content or advertisements and measure the delivery of such content or advertisements to extract insights about our website. We share this information with our partners on the basis of consent and legitimate interest. You may exercise your right to consent or object to a legitimate interest, based on a specific purpose below or at a partner level in the link under each purpose. These choices will be signaled to our vendors participating in the Transparency and Consent Framework.

Cookies, device or similar online identifiers (e.g. login-based identifiers, randomly assigned identifiers, network based identifiers) together with other information (e.g. browser type and information, language, screen size, supported technologies etc.) can be stored or read on your device to recognise it each time it connects to an app or to a website, for one or several of the purposes presented here.

Advertising and content can be personalised based on your profile. Your activity on this service can be used to build or improve a profile about you for personalised advertising and content. Advertising and content performance can be measured. Reports can be generated based on your activity and those of others. Your activity on this service can help develop and improve products and services.

Aviso legalProtección de datosConfiguración de privacidad
gebliebener
Erfüllbarkeitsproblem der Aussagenlogik

en el diccionario PONS

Entrada de OpenDict

Boolean satisfiability problem SUST.

Boolean satisfiability problem INFORM.
Erfüllbarkeitsproblem der Aussagenlogik nt
en el diccionario PONS

I. Bool·ean [ˈbu:liən] ADJ. atrbv., inv. MAT.

Boolean algebra
boolesche Algebra
Boolean search
boolesche Suche

II. Bool·ean [ˈbu:liən] SUST.

simple Boolean
einfacher boolescher Ausdruck

I. prob·lem [ˈprɒbləm, ingl. am. ˈprɑ:b-] SUST.

1. problem (difficulty):

problem
Schwierigkeit f <-, -en>
problem
Problem nt <-s, -e>
it's not my problem!
das ist [doch] nicht mein Problem!
and you think you've got problems!
deine Probleme möchte ich haben!
stay out of my problems!
halte dich aus meinen Angelegenheiten raus!
he had no problem in getting the job
er bekam die Arbeit ohne Probleme
coloq. no problem (sure)
kein Problem
no problem (don't mention it)
keine Ursache
what's your problem?
was ist [mit dir] los?
family/financial/personal problems
familiäre/finanzielle/persönliche Probleme
main [or principle]problem
Hauptproblem nt <-s, -e>
to face a problem
vor einem Problem stehen
to get involved in sb's problems
sich acus. in jds Probleme einmischen
to have problems at home/school/work
daheim/in der Schule/bei der Arbeit Probleme haben
to have a problem with sb/sth
mit jdm/etw ein Problem haben
to pose [or present] a problem [for sb]
[für jdn] ein Problem sein
to solve/tackle a problem
ein Problem lösen/angehen [o. in Angriff nehmen]

2. problem (task):

problem
Aufgabe f <-, -n>
problem
Problem nt <-s, -e>
that's her problem!
das ist ihre Sache!

3. problem MED.:

problem
Problem nt <-s, -e>
drinking/drug/weight problem
Alkohol-/Drogen-/Gewichtsproblem nt
to have problems with drinking
ein Alkoholproblem haben
to have problems with drinking
[zu viel] trinken
to have a drugs problem [or a problem with drugs]
ein Drogenproblem haben
health problems
gesundheitliche Probleme

4. problem MAT.:

problem
[Rechen]aufgabe f
problem
Problem nt <-s, -e>

II. prob·lem [ˈprɒbləm, ingl. am. ˈprɑ:b-] SUST. modifier

problem (area, family, play):

problem
Problem-
problem day
schwerer Tag

Glosario especializado de biología Klett

problem SUST.

problem
Problem(stellung)

PONS OpenDict

¿Quieres añadir alguna palabra, frase o traducción?

Envíanos una nueva entrada para el PONS OpenDict. La redacción de PONS revisará vuestras sugerencias e incluirá los resultados en el diccionario abierto.

Agregar una entrada
No hay frases con ejemplos de uso disponibles

No hay frases con ejemplos de uso disponibles

Prueba con otra entrada.

Ejemplos monolingües (no verificados por la redacción de PONS)

There are several special cases of the Boolean satisfiability problem in which the formulas are required to have a particular structure.
en.wikipedia.org
The approach to planning that converts planning problems into Boolean satisfiability problems is called satplan.
en.wikipedia.org
This is closely related to the Boolean satisfiability problem, which asks whether there exists "at least one" such assignment.
en.wikipedia.org
There is also a logical content to elimination theory, as seen in the Boolean satisfiability problem.
en.wikipedia.org

Consultar el diccionario