LCF:可计算函数的逻辑

“Logic for Computable Functions”通常缩写为LCF,这一简称便于快速书写和日常使用,尤其常见于涵盖多个领域的综合性研究中,通常被归类在未明确细分的基础理论范畴内。该术语的中文含义是“可计算函数的逻辑”,主要研究可计算函数相关的形式逻辑系统及其数学基础。

Logic for Computable Functions具体释义

  • 英文缩写:LCF
  • 英语全称:Logic for Computable Functions
  • 中文意思:可计算函数的逻辑
  • 中文拼音:kě jì suàn hán shù de luó jí
  • 相关领域lcf 未分类的

Logic for Computable Functions的英文发音