Come desideri usare PONS.com?

Hai già un abbonamento a PONS Pur o PONS Translate Pro?

PONS con annunci

Visita come di consueto PONS.com con tracking e annunci pubblicitari.

Puoi trovare informazioni più dettagliate sul tracking nelle Informazioni sulla privacy e nelle Impostazioni sulla privacy.

PONS Pur

Senza pubblicità di fornitori terzi

Senza tracking pubblicitario

Abbonati ora

Se hai già un account utente gratuito per PONS.com puoi abbonarti 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.

Note legaliProtezione dei datiImpostazioni sulla privacy
web-offset web-offset printing
Erfüllbarkeitsproblem der Aussagenlogik

nel dizionario PONS

Voce OpenDict

Boolean satisfiability problem SOST

Boolean satisfiability problem INFORM
Erfüllbarkeitsproblem der Aussagenlogik nt
nel dizionario PONS

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

Boolean algebra
boolesche Algebra
Boolean search
boolesche Suche

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

simple Boolean
einfacher boolescher Ausdruck

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

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
colloq 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 acc 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-] SOST modifier

problem (area, family, play):

problem
Problem-
problem day
schwerer Tag

Glossario di Biologia Klett

problem SOST

problem
Problem(stellung)

PONS OpenDict

Vuoi aggiungere una parola, una frase o una traduzione?

Inviaci un nuovo contributo per il PONS OpenDict. I suggerimenti inviati vengono esaminati dalla redazione di PONS e inseriti di conseguenza nei risultati.

Aggiungi voce
Nessuna frase d'esempio disponibile

Nessuna frase d'esempio disponibile

Prova con un'altra voce.

Esempi monolingue (non verificati dalla Redazione di 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

Cerca nel dizionario