您的位置:首页 > moxinglun
  • 模型论

    模型论

    模型论,模型论,moxinglun,模型论,moxinglun,[拼音]:moxinglun[外文]:model theory数理逻辑的一个分支,是研究形式语言及其解释(模型)之间的关系的理论。在20世纪20年代,A.T.斯科朗等人在数理逻辑研究中就已得到模型论性质的重要结果;但作为系统的理论,模型论的奠基人应推A.塔尔斯基;后来A.鲁宾...

    2023-12-28 4990 百科大全
  • 模态模型论

    模态模型论

    模态模型论,模态模型论,motai moxinglun,模型论,模态,moxinglun,motai,[拼音]:motai moxinglun[外文]:modal model theory模态逻辑的模型论。特别是指量词模态逻辑即一阶模态谓词逻辑的模型论。它从属于模态逻辑的三个主要研究方向,即公理学、语义学和代数学方向之一的语义学方向。模态...

    2023-12-21 4242 百科大全