中英▼
go top

Skolemization

  • n. 斯科勒姆化：数理逻辑和计算机科学中的一种技术，用于消除存在量词，将逻辑公式转换为等价的斯科勒姆标准形。这个技术是由挪威数学家阿克塞尔·斯科勒姆（Axel Skolem）提出的。
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定