计算机数学基础复习指导

来源 :当代电大 | 被引量 : 0次 | 上传用户：jonathanwu

【摘要】

：

1命题逻辑1.1学习要点(1)命题与联结词:命题,命题真值,真命题,假命题,联结词( ,∧,V, ,→, )及其真值表.(2)命题公式:赋值与解释,公式的分类,命题公式的等值.(3)范式:析取(合

【作者】

：

冯泰

【机构】

：

中央电大

【出处】

：

当代电大

【发表日期】

：

2002年11期

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

1命题逻辑1.1学习要点(1)命题与联结词:命题,命题真值,真命题,假命题,联结词( ,∧,V, ,→, )及其真值表.(2)命题公式:赋值与解释,公式的分类,命题公式的等值.(3)范式:析取(合取)范式,极小项,极大项,主析取(合取)范式.(4)命题演算的推理理论:有效结论和构造推理证明法(直接证法、附加前提证法和间接证法),三个规则(P规则、T规则和CP规则).

其他文献

高等数学学习要点与练习

【正】本学期高等数学(多元函数微积分)包括空间解析几何与向量代数、多元函数微分学、重积分与曲线曲面积分和傅里叶级数等部分。本文根据课程的基本要求,列述各章要点,并

期刊

第二类曲线积分高等数学学习要点偏导数二重积分傅里叶级数方向向量平面方程练习题答案旋转抛物面

孕妇患急性脂肪肝三个娃早产母子四人病危

记者2011年10月17日获悉，山东潍坊高密姜庄镇25岁的小伙张增凯与济宁汶上的姑娘田丽去年喜结连理。今年2月份田丽怀孕了，在高密和潍坊两家医院检查的结果都是三胞胎。

期刊

急性脂肪肝病危母子早产孕妇医院检查三胞胎潍坊

刑法学(2)综合练习Ⅰ

1填空题1)刑法分则通常由＿＿＿和＿＿＿两部分组成。2)由于叙述的方式不同，罪状一般可分为＿＿＿、＿＿＿、＿＿＿和＿＿＿四种。3)勾结外国或者＿＿＿，危害中华人民共和国的＿＿＿、领土完整和＿＿＿的行为，构成背叛国家罪。

期刊

美味猕猴桃根提取物对小鼠急性肝损伤的保护作用

目的研究美味猕猴桃根提取物对小鼠急性肝损伤的保护作用。方法分别采用CCl4和D-半乳糖胺作为化学毒物制成急性肝损伤模型,采用赖氏法测定各组动物血清丙氨酸氨基转移酶（ALT

期刊

美味猕猴桃肝损伤四氯化碳D-半乳糖胺Acitinidia delicilsa Hepatic injury Carbon tetrachlori

电路及磁路期末复习

本课程本学期学习内容从第十章至第十三章.考试方法仍为闭卷,填空题与计算题各约占50%.

期刊

慢性重症肝炎的中西医结合护理

慢性重症肝炎是肝病发展过程中最危重的阶段，祖国医学认为是热毒壅盛，邪入营血，内陷心包所致，表现为黄疸迅速加深、其色如金，神昏谵语或见衄血、便血及苔厚腻，脉弦数等；西医认为肝性

期刊

慢性重症肝炎中西医结合护理

现代汉语(下)期末自测题

注:第一,为了能真实地检测学习及复习情况,同学们应在期末复习结束后做这套自测题;第二,自测题只是参考性的,不是划定复习范围,切忌根据本套自测题涉及到的内容作为复习依据,

期刊

纳伪概率可控的四舍五入法及其在RTK模糊度固定中的应用

RTK模糊度固定通常采用序贯四舍五入方法,该方法只固定能可靠固定的部分模糊度,因此控制四舍五入的纳伪概率是实现RTK可靠性的关键。从含多个备选假设的假设检验理论出发,研究纳伪概率可控的四舍五入方法,根据风险水平和实数解的质量自适应地确定四舍五入取整区域,从而有效地控制整数固定的纳伪概率。并结合GNSS应用中两种特殊情况,发展两种简单实用的应用策略。采用基线长94.6 km的CORS站GPS双频数据

期刊

实时动态定位四舍五入纳伪概率多个备选假设假设检验RTK integer rounding type II error multiple hypo

计算机系统结构复习指导2

3存储系统3.1基本概念3.1.1存储系统的定义:存储系统是指两个或两个以上速度、容量和价格各不相同的存储器用硬件、软件、或软件与硬件相结合的方法连接起来而成的系统.这个

期刊

计算机数学基础(A)练习题

本课程期末考试采用闭卷笔试形式,卷面满分为100分,普通专科生60分为及格,开放教育专科生的卷面成绩加平时作业成绩满60分为及格.考试时间均为120分钟.

期刊

计算机数学基础复习指导

与本文相关的学术论文