论文部分内容阅读
本文及后续的系列文章,将构造和发展一种以中介逻辑演算ML为形式语言的中介公理集合论系统MS.
中介公理集合论系统(Ⅰ)——两种谓词的划分与定义
【摘 要】
：
本文及后续的系列文章,将构造和发展一种以中介逻辑演算ML为形式语言的中介公理集合论系统MS.
【机 构】
：
南京大学,空军气象学院
【出 处】
：
自然杂志
【发表日期】
：
1986年7期
其他文献
贵州省水城县顺场中学滑坡于2007年列为中央财政补助的特大型地质灾害治理项目，文章通过对滑坡治理工程中多排抗滑桩运用和受力进行分析、计算，为水城县顺场中学滑坡治理工程提
目前，随着我国社会经济的不断发展，科学技术也在日益提高，地质勘查技术也在不断提升。文章主要介绍了我国地质技术装备的现状，以及各种钻探机械的施工工艺。