非解析定理求解
_
non-resolution theorem proving
пословный:
非 | 解析 | 定理 | 求解 |
1) не есть, не является; не-; без-; анти-; де-
2) без
3) неправда, ложь; ошибка
4) упрекать; осуждать
5) сокр. Африка
|
1) анализировать; аналитический
2) см. 解析度
3) разрешение (выяснение), резолвиться (от. англ. resolve)
|
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|