中英▼
go top

Skolemization

  • n. 斯科勒姆化：数理逻辑和计算机科学中的一种技术，用于消除存在量词，将逻辑公式转换为等价的斯科勒姆标准形。这个技术是由挪威数学家阿克塞尔·斯科勒姆（Axel Skolem）提出的。

网络释义

  斯科林化

...表达和解释并详释第二 章已经介绍过的变数、量词和辖域等概念，由此引入逻辑依存 (logical dependency)、斯科林化(Skolemization)、分枝量词(branching quantifiers) 等概念。

基于12个网页-相关网页

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

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

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