Diccionari anglès-català: «undecidable»

Compartiu

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

Resultats de la cerca per a «undecidable»

undecidable adj 

  1. indecidible
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
For instance, type inference with polymorphic recursion is known to be undecidable. Per exemple, se sap que la inferència de tipus amb recurrència polimòrfica és indeterminable.
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
It is undecidable whether two transducers are equivalent. Saber si dos transductors són equivalents no és decidible.
Font: wikimatrix
Distributed Asynchronous Games With Causal Memory are Undecidable Els jocs asincrònics distribuïts amb memòria causal són indecidibles
Font: AINA
Quantified provability logic is known to be undecidable. Se sap que la lògica de demostrabilitat quantificada és indecidible.
Font: AINA
In fact, many problems in this area are undecidable. De fet, molts problemes en aquesta àrea són indecidibles.
Font: AINA
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