LCF:可计算函数的逻辑
“Logic for Computable Functions”通常缩写为LCF,这一简称便于快速书写和日常使用,尤其常见于涵盖多个领域的综合性研究中,通常被归类在未明确细分的基础理论范畴内。该术语的中文含义是“可计算函数的逻辑”,主要研究可计算函数相关的形式逻辑系统及其数学基础。
Logic for Computable Functions具体释义
Logic for Computable Functions的英文发音
本站英语缩略词为个人收集整理,可供非商业用途的复制、使用及分享,但严禁任何形式的采集或批量盗用
若LCF词条信息存在错误、不当之处或涉及侵权,请及时联系我们处理:675289112@qq.com。