СловариФорумКупитьСкачатьКонтакты

   Английский Русский
Google | Forvo | +
к фразам
satisfiability modulo theoriesударения
ИИ. задача выполнимости формул в теориях (задача выполнимости логической формулы, выраженной в классической логике первого порядка с равенством, при наличии дополнительных соотношений, заданных при помощи определенных теорий; часто используемыми на практике примерами теорий являются теории вещественных и целых чисел, а также теории поведения различных структур данных, таких как списки, массивы, битовые вектора и т.д. Alex_Odeychuk); выполнимость формул в теориях (разрешимость логических формул с учётом лежащих в их основе теорий. Примерами таких теорий являются: теории целых и вещественных чисел, теории списков, массивов, битовых векторов и т. п. Alex_Odeychuk)
satisfiability modulo theories: 10 фраз в 1 тематике
Искусственный интеллект10