semi-entscheidbar oor Engels
semi-entscheidbar
Vertalings in die woordeboek Duits - Engels
semi-decidable
Geskatte vertalings
Vertoon algoritmies gegenereerde vertalings
voorbeelde
Advanced filtering
semi-entscheidbar [auch: semientscheidbar]
semidecidable [also: semi-decidable] [adj][comp.]langbot langbot
Beschreiben Sie dabei die Aktionsfunktion des Agenten durch eine semi-entscheidbare Inferenzprozedur.
It is okay to define the agent's action function in terms of a semidecidable inference procedure.Literature Literature
semi-entscheidbar [auch: semientscheidbar] [adj] [comp.]
semidecidable [also: semi-decidable]langbot langbot
Die resultierende induktive Gültigkeit ist jedoch nicht mehr semi-entscheidbar -- nicht einmal für die Prädikatenlogik erster Stufe.
Proofs are then performed using induction. But, inductive validity is not semi-decidable -- even for first-order logic.ParaCrawl Corpus ParaCrawl Corpus
Die Gültigkeit prädikatenlogischer Formeln erster Stufe ist semi-entscheidbar, sofern man bei der Semantik alle Modelle zugrundelegt.
The validity of formulas w.r.t. a specification over first-order logic with a semantics based on all models is semi-decidable.ParaCrawl Corpus ParaCrawl Corpus
Für die Untersuchungen im Rahmen des zweiten Schwerpunkts werden zusätzlich einige Nachweise bezüglich der (Nicht-)Erkennung von valid-computations Sprachen, sowie einiger nicht-semi-entscheidbarer Eigenschaften geführt.
To obtain results of the second category, several additional proofs concerning (non-)acceptance of valid-computations languages and non-semi-decidable properties are given.ParaCrawl Corpus ParaCrawl Corpus
6 sinne gevind in 4 ms. Hulle kom uit baie bronne en word nie nagegaan nie.