公式论文

摘要：括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同，它是一种整体表示法。以命题逻辑的形式语言为例，可以证明括号表示法的唯一性定理。在...

摘要：STIT理论作为刻画主体能动性的一类哲学逻辑，近来受到了多主体系统研究者们的关注。由于群体STIT逻辑被证明不可判定且无法有穷公理化，相关研究者们转而寻找其中可判定且可有...

摘要：模态逻辑是基于命题逻辑的一门逻辑学科。它早在亚里士多德时期就被广泛研究和探讨。在之后的发展过程中，美国逻辑学家刘易斯在无意间创造了现代模态逻辑。而刘易斯在继前人的基础上注...

摘要：阿尔都塞是恩格斯历史合力论的主要诘难者，他认为合力本质上是无意识的、“合力论公式”会陷入认识论的真空、合力的结果不可能是历史事件以及“合力论公式”跌入了资产阶级意识形态。...

导读:本文包含了阻力估算论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:阻力,公式,船舶,潜热,雷诺,函数,格林。阻力估算论文文献综述王楠,周旭[1]（201...

导读:本文包含了过程辨识论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:危险源,过程,公式,模型,危险,因素,参数。过程辨识论文文献综述任振华,邵恩泽,雎刚[...

导读:本文包含了实用公式论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:斜拉桥,桥梁工程,公式,频率,椭球,基频,强度。实用公式论文文献综述宋宏旭,冉志红,熊...

导读:本文包含了近场波动论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:边界,介质,有限元,公式,隔振,弹性,两相。近场波动论文文献综述谢志南,郑永路,章旭斌...

导读:本文包含了人工挖孔承力盘桩论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:挖孔,承载力,载荷,公式,经验,论文,承力盘。人工挖孔承力盘桩论文文献综述葛会...

导读:本文包含了完全相关论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:梁柱,公式,古希腊,素数,可靠,荷载,相关性。完全相关论文文献综述范文亮,李杰[1]（...

导读:本文包含了局部叁维模型论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:模型,局部,水印,网格,特征,洪水,公式。局部叁维模型论文文献综述张建明,周小梅,...

导读:本文包含了随机波浪力论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:波浪,公式,沉箱,线性化,动力,接触面,微分方程。随机波浪力论文文献综述巫志文,梅国...

导读:本文包含了拉拔仪论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:拉拔,混凝土,锚杆,强度,不确定,误差,公式。拉拔仪论文文献综述郑卫华,熊良[1]（20...

导读:本文包含了微型无人自主飞行器论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:飞行器,控制器,公式,电力设备,自主,距离,旋翼。微型无人自主飞行器论文文献...

导读:本文包含了计时法论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:时计,时间,知识,情境,公式,周期,课堂。计时法论文文献综述李媛媛[1]（2019）在《...

导读:本文包含了水势差论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:水势,公式,思维,形式,概念,论文,泊肃叶。水势差论文文献综述雍化年[1]（1983）在...

导读:本文包含了公式解析论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:公式,待定系数法,纹板,沉箱,高斯,等比数列,各向异性。公式解析论文文献综述时学海[1...

导读:本文包含了数字化设计手册论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:手册,曲线,模具,建模,公式,模具设计,特征。数字化设计手册论文文献综述袁浩旭[...

导读:本文包含了导水裂隙带论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:裂隙,数值,含水层,高度,煤层,钻孔,公式。导水裂隙带论文文献综述冯超,代革联[1]...

导读:本文包含了估算公式论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:公式,肾小球,滤过,高血压,血清,氯乙烯,肾脏病。估算公式论文文献综述孙晗,赵卫红,吴...