Wörterbücher
Forum
Kontakte

Google | Forvo | +
zu Phrasen

satisfiability modulo theories

Betonungen
KI задача выполнимости формул в теориях (задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми на практике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk); выполнимость формул в теориях (разрешимость логических формул с учётом лежащих в их основе теорий. Примерами таких теорий являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п. Alex_Odeychuk)
satisfiability modulo theories
: 10 Phrasen in 2 Thematiken
Künstliche Intelligenz9
Logik1

Hinzufügen | Fehler melden | Kurzlink auf diese Seite