Введите слово для поиска

uninterpreted functions

Переводы

неинтерпретированные функции

In formal logic, uninterpreted functions can be used to simplify expressions.

В формальной логике неинтерпретированные функции могут использоваться для упрощения выражений.