广义谓词演算
_
расширенное исчисление предикатов
пословный:
广义 | 谓词演算 | ||
1) широкое значение, в широком значении; свободное толкование, в широком смысле слова, широкий (общий) смысл; расширенный
2) широко толкован, (комментировать); [дать] распространённый комментарий
3) мат. обобщённый
4) Куангнгай (провинция и город в Вьетнаме)
|