Diccionari anglès-català: «indecidible»

Compartiu

Introduïu la paraula que voleu cercar i feu clic en el botó de cerca.

cerca
Resultats de la cerca per a «indecidible»

català → anglès

indecidible adj 

  1. undecidable
Exemples d’ús (fonts externes)
Otherwise, the problem is called undecidable. D’altra manera, el problema s’anomena indecidible.
Font: Covost2
On the other hand the problem is undecidable. D’altra banda, el problema és indecidible.
Font: Covost2
They often extend their work from unresolved historical narratives that demand forms of approach that are materially, temporally and aesthetically undecidable. Sovint eixamplen la seva obra a partir de narracions històriques no resoltes, les quals exigeixen un tractament material, temporal i estètic indecidible.
Font: MaCoCu
There has been a lot of work on automated reasoning procedures for checking satisfiability but it is well known that the problem of reasoning with integrity constraints and derivation rules in its full generality is undecidable. Hi ha hagut molta feina en procediments de raonament automatitzats per comprovar la satisfacció, però és ben sabut que el problema del raonament amb restriccions d’integritat i regles de derivació en la seva generalitat és indecidible.
Font: MaCoCu
Unfortunately, this problem is undecidable in general. Malauradament, aquest problema és indecidible en general.
Font: AINA
Quantified provability logic is known to be undecidable. Se sap que la lògica de demostrabilitat quantificada és indecidible.
Font: AINA
For example, the property "halt for the input 0" is undecidable. Per exemple, el problema de decisió "aquest algorisme pararà per l’entrada 0" és indecidible.
Font: wikimatrix
Standard (non-probabilistic) reachability is undecidable even for linear hybrid systems. L’accessibilitat estàndard (no probabilística) és indecidible fins i tot per als sistemes híbrids lineals.
Font: AINA
We say that the halting problem is undecidable over Turing machines. Es diu que el problema de la parada és indecidible amb màquines de Turing.
Font: NLLB
The existence of an undecidable statement within a formal system is not in itself a surprising phenomenon. L’existència d’una afirmació indecidible dins d’un sistema formal no és en si mateixa un fenomen sorprenent.
Font: NLLB
Mostra més exemples

Índex de paraules en anglès que comencen per:
A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z

Índex de paraules en català que comencen per:
A - B - C - D - E - F - G - H - I - J - K - L - M - N - O - P - Q - R - S - T - U - V - W - X - Y - Z

Diccionari anglès-català de Softcatalà – Presentació i crèdits – Publicat amb llicència Creative Commons CC-BY 4.0