您的位置:首页 > xingshihua
  • 公理化和形式化

    公理化和形式化

    公理化和形式化,公理化和形式化,gonglihua he xingshihua,公理化,形式化,xingshihua,gonglihua,[拼音]:gonglihua he xingshihua[外文]:axiomatization and formalization研究演绎科学理论和构造演绎系统的两种方法。它们被广泛应用于现代逻辑和数学...

    2023-04-28 5498 百科大全