切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
计算机数理逻辑命题演算软件的研究
计算机数理逻辑命题演算软件的研究
来源 :鞍山钢铁学院学报 | 被引量 : 0次 | 上传用户:slb135
【摘 要】
:
用计算机解决数理逻辑命题演算中的部分命题表达式的证明问题。
【作 者】
:
胡一之
刘恩久
【出 处】
:
鞍山钢铁学院学报
【发表日期】
:
1996年2期
【关键词】
:
计算机
命题演算
软件开发
数理逻辑
computer
setting questions calculaton
software
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
用计算机解决数理逻辑命题演算中的部分命题表达式的证明问题。
其他文献
提高自身修养,教好语文课
我国基础教育经历了长期改革,基础教育的发展面临着新的任务。而语文教育在整个基础教育中,占有极其重要的地位。轰轰烈烈的教材改革、新“大纲”的推行以及考试制度的调整,都为我们指明了方向。 一、要不断提升自己的审美品位 美,无所不在,关键是要善于发现,善于审读;天下并不缺少美,而是缺少发现美的眼睛,缺少感悟美的心灵。美,有自然美也有人工美,有文学美也有艺术美,有优美也有壮美。既要能够审美也要善于“审
期刊
自身修养
语文课
《林黛玉进贾府》
审美品位
基础教育
教材改革
《红楼梦》
教育经历
高层建筑基础砼底板防裂的探讨
针对高层建筑大层基础砼底板易开裂的问题,介绍了砼裂缝产生的原因以及预防措施。
期刊
高层建筑
基础底板
混凝土
温度应力
concrete
tall--building
basement
cracks
肝硬化患者肝功能损害与胃粘膜病变的关系
对86例肝硬化合并门脉高压胃病(PHG)患者的肝功能改变与PHC病变程度进行了回顾性分析。肝功能按Child分级,与PHG病变程度及并发胃粘膜出血的发生率进行统计分析,结果表明随着肝硬化肝功能损害的加
期刊
肝硬化
门脉高压性胃病
上消化道出血
关于毕业生就业方式改革的初步探讨
随着社会主义市场经济的深入发展,由国家“统包统配”的大学生就业方式已难以适应时代的要求。发迹这种就业方式,推行“双向选择”、“自主择业”的就业方式已成为必然趋势。本
期刊
市场经济
就业方式
高等学校
改革
market economy
employment form reform
solution.
现浇混凝土一次压光施工
介绍了采用一次压光工艺提高大面积砼地面工程施工质量的措施。
期刊
一次压光
养护期
混凝土
浇筑
现浇
onle-rolling
concrete
maint-period
final set
rift
维拉帕米对FK506肾毒性的防治作用与肾脏P—450的关系
通过对大鼠应用FK506及维拉帕米从而观察其对肝、肾P-450的影响。结果:FK506及CsA均使Bun和Scr升高,使用维拉帕米后BUN及Scr较FK506组低。FK506和CsA均致肾脏P-450含量升高,使用维
期刊
肾毒性
肾脏
维拉帕米
P-450
FK506
低压线路允许长度和电压损失的估算方法
根据线路的允许电压损失和导线的允许电流,得出了不同截面导线所允许的输电距离的估算方法,并按此方法计算了不同截面常用导线的允许输电距离。
期刊
允许电压
损失
输电
距离
估算
Permissive Voltage loss
Line Distance
Evaluation Method
传热理论在钢锭传搁时间计算上的应用
在分析钢锭凝固传热的基础上,结合对天津钢厂2.7吨矩形弧边钢锭的技术改造,对钢锭的凝固传热及传搁时间进行了数值计算,通过计算了改进了现有的传搁时间表,并应用于天钢初轧厂,取得的
期刊
差分法
传搁时间
钢锭
凝固传热
传热理论
rectangle curve slab
difference method
transport time
动力加压钢板内固定治疗儿童股骨干骨折
期刊
动力加压钢板
内固定
儿童
治疗
股骨干骨折
鞍钢2^#连铸机设备基础大体积混凝土的施工
大体积钢筋混凝土施工防止产生有害裂缝及保证预埋螺栓安装精度的技术措施。
期刊
滑动层
缓冲层
水化热
膨胀剂
冷缝
连铸机
slipage layer
buffer cushion
hydration heat
expanding age
与本文相关的学术论文