逻辑论文

2024-05-12《鬼谷子》逻辑思想探析

2024-05-11基于DNA和限制酶的逻辑计算模型的研究

2024-05-11命题投影时序逻辑的判定性和表达性

2024-05-11命题投影时序逻辑的完备公理系统与形式验证

2024-05-10逻辑学视域的类比推理研究

2024-05-10SaaS系统动态业务逻辑与数据库解耦机制的设计与实现

2024-05-09模糊逻辑系统在企业知识管理绩效评价中的运用

2024-05-09LNG冷剂压缩机逻辑控制系统研究

2024-05-08尼采价值虚无主义的内在逻辑

2024-05-08基于语料库的莎士比亚戏剧汉译本逻辑关系显化研究

2024-05-07现代国家建构逻辑下的中国事业单位体制改革

2024-05-07中学数学逻辑教学的实践与探索

2024-04-25亲属关系逻辑推理专家系统的研究

2024-04-24基于一阶逻辑的知识表示与自动提取

2024-04-24本体逻辑差的研究

2024-04-24A、E、I、O和真值表对现实和可能世界的反映程度

2024-04-23韩国文化产业政策对韩剧产业发展的影响——以产业链为逻辑的分析

2024-04-23基于腔辅助相互作用的量子纠缠和量子逻辑门

2024-04-22改进差分进化算法及其在可逆逻辑综合中的应用

2024-04-21选举民主研究的新趋向——从模态逻辑的角度看

2024-04-21吉拉·谢尔的学术背景及其早期研究——陈波与吉拉·谢尔的对话

2024-04-20切尔尼科夫的机器主义构成逻辑研究

2024-04-20结构平衡理论的时态模型:形式系统与程序实现

2024-04-19重型非公路矿用混合动力自卸车控制策略优化研究

2024-04-18简洁形式后的设计逻辑及其建造实现——以江苏省产业技术研究院建设项目为例

2024-04-16态度、行动与结构：福利中国的演进逻辑

2024-04-15二碲化钨晶体管输运特性及其构建逻辑电路研究

2024-04-15人的逻辑与物的逻辑——重新理解辩证法和形式逻辑的关系

2024-04-14论经典命题逻辑公理系统L中的证明技巧

2024-04-14高中历史教学中逻辑思维培养研究