decidable

(形容词) 可决定的

我们是否继续举办户外活动可以根据明天的天气预报来决定。

(adjetivo) Que puede ser decidido.

Si continuamos con el evento al aire libre se puede decidir basándose en el pronóstico del tiempo de mañana.

(adjectif) décidable; tranchable; qui peut être décidé; déterminable [Dont on peut décider ; qui peut être tranché.]

La question de savoir si nous organisons l'événement en plein air est decidable en fonction des prévisions météorologiques de demain.

(Adjektiv) entscheidbar [In der Lage, entschieden oder geklärt zu werden; einer Entscheidung zugänglich.]

Ob wir die Veranstaltung im Freien durchführen, ist **decidable** und hängt vom morgigen Wetterbericht ab.

(形容詞) 決定することができるさま。

明日の天気予報次第で、屋外イベントを実施するかどうかは決定できる。

(adjetivo) decidível; resolvível; solucionável [Capaz de ser decidido.]

Se prosseguiremos com o evento ao ar livre depende da previsão do tempo de amanhã.

(形容词) 可判定的

在计算理论中，素数集合是可判定的，因为存在一种算法可以在有限时间内确定素性。

(adjetivo) Que describe un conjunto para el cual existe un algoritmo que determinará si cualquier elemento está o no dentro del conjunto en una cantidad finita de tiempo.

En teoría computacional, el conjunto de números primos es decidible porque existe un algoritmo para determinar la primalidad en tiempo finito.

(adjectif) décidable [En théorie de la calculabilité, se dit d'un ensemble pour lequel il existe un algorithme déterminant en un temps fini si un élément donné appartient ou non à cet ensemble.]

En théorie computationnelle, l'ensemble des nombres premiers est decidable car il existe un algorithme pour déterminer leur primalité en temps fini.

(Adjektiv) entscheidbar [Beschreibt eine Menge, für die ein Algorithmus existiert, der in endlicher Zeit bestimmen kann, ob ein beliebiges Element zu dieser Menge gehört oder nicht.]

In der Berechenbarkeitstheorie ist die Menge der Primzahlen **decidable**, da es einen Algorithmus gibt, der in endlicher Zeit die Primzahleigenschaft prüft.

(形容詞) 計算機科学において、ある集合の任意の要素がその集合に属するかどうかを有限時間内で判定するアルゴリズムが存在する集合であること。

計算理論では、素数の集合は決定可能である。なぜなら素数性を有限時間で判定するアルゴリズムが存在するからだ。

(adjetivo) decidível [Que descreve um conjunto para o qual existe um algoritmo que determinará se qualquer elemento está ou não dentro do conjunto em um tempo finito.]

Na teoria computacional, o conjunto de números primos é decidível porque existe um algoritmo para determinar a primalidade em tempo finito.

(形容词) 可判定的

在这个逻辑系统中，命题'2+2=4'是可判定的，因为我们可以证明其真或假。

(adjetivo) En lógica intuicionista, una proposición P es decidible en una teoría dada si se puede demostrar a partir de la teoría que «o P o no P», es decir, en símbolos: P∨¬P.

En este sistema lógico, la proposición '2+2=4' es decidible, ya que podemos demostrar su verdad o su falsedad.

(adjectif) décidable [En logique intuitionniste, se dit d'une proposition P lorsqu'on peut démontrer à partir de la théorie que « P ou non P », soit formellement P∨¬P.]

Dans ce système logique, la proposition « 2+2=4 » est decidable car on peut prouver soit sa vérité, soit sa fausseté.

(Adjektiv) entscheidbar [In der intuitionistischen Logik eine Aussage *P*, für die in einer gegebenen Theorie bewiesen werden kann, dass entweder *P* oder nicht *P* gilt (formal: *P* ∨ ¬*P*).]

In diesem logischen System ist die Aussage '2+2=4' **decidable**, da wir entweder ihre Wahrheit oder ihre Falschheit beweisen können.

(形容詞) 直観主義論理において、ある理論から命題Pの真偽のどちらか一方を証明できる場合、その命題はその理論において決定可能である（記号で表すと P∨¬P）。

この論理体系では、「2+2=4」という命題は決定可能である。なぜならその真偽のいずれかを証明できるからだ。

(adjetivo) decidível [Em lógica intuicionista, uma proposição P é decidível em uma dada teoria se pode ser provado a partir da teoria que 'ou P ou não P', ou seja, em símbolos: P∨¬P.]

Neste sistema lógico, a proposição '2+2=4' é decidível, pois podemos provar sua verdade ou sua falsidade.