切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
命题逻辑与数学证明方法(Ⅱ)
命题逻辑与数学证明方法(Ⅱ)
来源 :泰山学院学报 | 被引量 : 0次 | 上传用户:sheeperds
【摘 要】
:
简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括推理、推理格式、数学证明、数学证明方法.
【作 者】
:
孙宗明
梁凤鸣
【机 构】
:
泰山学院数学与统计学院,泰山学院学报编辑部
【出 处】
:
泰山学院学报
【发表日期】
:
2013年6期
【关键词】
:
推理
推理格式
数学证明
数学证明方法
deductiondeduction formmathematical proofmethods of mathemat
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
简单地讨论了命题逻辑,用命题逻辑全面地研究了推理格式和数学证明方法,形成一个完整的系统.内容包括推理、推理格式、数学证明、数学证明方法.
其他文献
坎地沙坦酯胶囊治疗老年高血压病临床疗效观察
目的观察坎地沙坦酯对老年中度高血压病的临床疗效和安全性。方法选择60岁以上老年原发性轻、中度高血压患者92例。随机分为2组:治疗组46例服用坎地沙坦酯4~8mg/d;对照组46例服用
期刊
老年高血压
血管转换酶受体拮抗剂
坎地沙坦酯
卡托普利
关于山东中医药大学体育场馆向公众开放的研究
学校体育场馆在满足体育教学和学生课余校内体育活动使用之外,能够有组织地向社区居民开放,对缓解广大人民群众日益高涨的体育健身需求与体育场地设施严重不足的矛盾具有重要
期刊
山东中医药大学
体育场馆
社区
开放
Shandong University of Traditional Chinese Medicine sports ve
高温盐浆泵用新型不锈钢的研制
采用金相显微镜和X射线衍射相结合的方法,观察与分析了高温盐浆泵用新型不锈钢的金相组织,并通过多种腐蚀试验方法,研究了不同热处理制度对钢的耐腐蚀性能的影响。试验结果表明,这
期刊
盐浆泵
不锈钢
热处理
化学成分
金相分析
brine pumpstainless steel heat treatment chemical composit
元代汉人世候行唐邸氏家族探究
行唐邸氏是元代重要的汉人世候之一.学界对其虽有一些研究,然并无专文对其进行全面探讨.该家族从第三代邸显常、邸顺、邸常、邸琮归顺蒙古开始显世,在蒙古对金、宋战争中立下
期刊
元代
行唐邸氏
归德万户
颍州万户
Yuan Dynasty Zhi Family in Xingtang Guitle Wan -Hu Yingzhou Wa
反危机政策中的历史政治烙印
从目前美国应对危机的政策看,美国仍然走不出格林斯潘通过制造泡沫医治泡沫破灭的老路,在此政策思路下新一轮通胀周期是不可避免的。 2009年3月18日,美联储声明将购买3000亿美元的国债并额外购买8500亿美元的按揭债,使美联储购买的债券总额达到1.75万亿美元,现在看来这大多数需通过印钞来支付。尽管美联储的政策目标是缓解信贷市场的紧缩状况,但市场的解读认为这是货币扩张。按照货币主义理论,
期刊
政策
反危机
政治
历史
信贷市场
货币扩张
美联储
通货膨胀
桐叶封弟新辨
桐叶封弟的真伪历来是学术界的公案,学者们大都对故事的真实性持否定态度.然而只要从故事的本身出发,注意分析当时故事核心人物间的关系以及权力对比,就不难发现,桐叶封弟故
期刊
桐叶封弟
成王
周公
借口
配合
Tong Ye Feng Di Cheng Wang Zhou Gong Excuse Coordinate with C
实事求是,与时俱进,稳步推进农村改革发展
中共十一届三中全会以后,改革的大幕在全国各个领域逐渐拉开。此时,在中国最广大的农村,打破"平均主义"、"吃大锅饭",改变忽略农村生产力实际、忽视农民利益的人民公社制度的呼声
期刊
农村改革
与时俱进
农民利益
农村生产力
经营方式
凤阳县
邓小平
中国
盐酸曲马多缓释片生产工艺的改进
缓释片具有药效时间长、释放平稳等特点,该剂型的工艺研究中,释放度是关键,也是骨架型缓释片比较难控制的质量指标。通过对盐酸曲马多缓释片处方和制备工艺的改进,经过反复的试制
期刊
盐酸曲马多缓释片
制备工艺
释放度
Tramadol Hydrochloride Sustained Release Tablets
Preparation
VB访问端口方法
本文讨论了使用VB访问端口的方法,论述了如何突破Windows NT/2000端口访问的限制,并给出了详细的编程实现.
期刊
VB
访问端口
驱动程序
内嵌机器码
参数信息
小儿高热惊厥复发和转为癫痫危险因素分析
目的探讨高热惊厥(FC)复发和转为癫痫的危险因素。方法对139例FC患儿的临床资料进行分析并跟踪随访。结果其中66例复发,复发率47.78%,复发危险因素与有无FC或癫痫家族史、复杂热性
期刊
高热惊厥
癫痫
危险因素
复发
与本文相关的学术论文