Como queres utilizar PONS.com?

Já és subscritor do PONS Pur ou do PONS Translate Pro?

PONS com publicidade

Visita PONS.com como de costume com localização de publicidade e publicidade

Pormenores sobre o rastreamento encontram-se nas informações sobre Política de privacidade e nas Definições de privacidade .

PONS Pur

Sem publicidade de terceiros

Sem rastreio de anúncios

Subscreve agora

Caso já tenhas uma conta grátis de utilizador para PONS.com, podes fazer a subscrição para 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.

Informação legalProteção de dadosDefinições de privacidade
позавчерашняя
Erfüllbarkeitsproblem der Aussagenlogik

no Dicionário PONS

Entrada OpenDict

Boolean satisfiability problem SUBST

Boolean satisfiability problem COMPUT
Erfüllbarkeitsproblem der Aussagenlogik nt
no Dicionário PONS

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

Boolean algebra
boolesche Algebra
Boolean search
boolesche Suche

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

simple Boolean
einfacher boolescher Ausdruck

I. prob·lem [ˈprɒbləm, americ ˈprɑ:b-] SUBST

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, americ ˈprɑ:b-] SUBST modifier

problem (area, family, play):

problem
Problem-
problem day
schwerer Tag

Vocabulário Técnico de Biologia Klett

problem SUBST

problem
Problem(stellung)

PONS OpenDict

Deseja acrescentar uma palavra, uma frase ou uma tradução?

Envie-nos um novo registo para o PONS OpenDict. Os projetos apresentados são analisados pela equipa editorial da PONS e incluídos nos resultados em conformidade.

Insira a entrada
Não há frases de exemplo à disposição.

Não há frases de exemplo à disposição.

Experimente com outra entrada.

Exemplos unilingues (não verificados pela redação)

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

Consulte o dicionário