数理逻辑部分

数理逻辑部分Tag内容描述：<p>1、形成性考核作业 姓 名： 学 号： 得 分： 教师签名： 电大离散数学作业7电大离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程。</p><p>2、形成性考核作业 姓 名： 学 号： 得 分： 教师签名： 电大离散数学作业7电大离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程。</p><p>3、形成性考核作业 姓 名： 学 号： 得 分： 教师签名： 电大离散数学作业7电大离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程。</p><p>4、形成性考核作业 姓 名： 学 号： 得 分： 教师签名： 电大离散数学作业7电大离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程。</p><p>5、形成性考核作业 姓 名： 学 号： 得 分： 教师签名： 电大离散数学作业7电大离散数学数理逻辑部分形成性考核书面作业本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程。</p><p>6、数理逻辑作业讲评1理解命题联结词概念，掌握命题公式的翻译及判断语句是不是命题的方法2熟练掌握求给定公式真值表的方法3掌握基本等值式以及用真值表法和等值演算法判别公式类型和公式等值的方法4熟练掌握用基本等值式或真值表将公式化为主析取(合取)范式的方法5掌握命题公式的的直接证明方法与间接证明方法6理解谓词、量词、个体词、个体域、全域、原子公式、谓词公式和变元等概念掌握谓词公式的翻译7掌握在有限个体域下消去公式的量词和求公式在给定解释下真值的方法8掌握谓词演算的等值式和重言蕴含式9了解前束范式的概念，会求谓词公。</p><p>7、第1章 命题逻辑的基本概念一：基本概念：1.称能判断真假而不是可真可假的陈述句为命题。2.真值为真的命题称为真命题。3.真值为假的命题称为假命题。4.简单命题(原子命题)。5.由简单命题通过联结词而成的陈述句，称这样的命题为复合命题。 例1 判断下列句子是否为命题。 (1)4是素数。 (2)x大于y。(3)充分大的偶数等于两个素数之和。(4)北京是中国的首都。(5)请不要吸烟！(6)我正在说假话。6.合式公式: 命题符号与联结词组成不是合式公式的例子：pqr；(p(rq)7.公式的类型：重言式、永真式、可满足式重言式(永真式)：都是1矛盾式(永假式)：都。</p><p>8、一、命题逻辑3将下列命题符号化。（3）如果公用事业费用增加或者增加基金的要求被否定，那么当且仅当现有计算机设不适用的时候，才需购买一台新计算机；（5）虽然天气很好，老王还是不来；（7）停机的原因在于语法错误或程序错误；解：（3）设P：公用事业费用增加； Q：要求增加基金；R：现有计算机设备适用； S：购买一台计算机；则命题可符号化为：。（5）设P：天气很好；Q：老王来；则命题可符号化为：。（7）设P：停机的原因在于语法错误； Q：停机的原因在于程序错误。则命题可符号化为：。4设命题P：这个材料很有趣；Q：这些习题很。</p><p>9、离散数学形成性考核作业（四）数理逻辑部分本课程形成性考核作业共4次，内容由中央电大确定、统一布置。本次形考作业是第四次作业，大家要认真及时地完成数理逻辑部分的形考作业，字迹工整，抄写题目，解答题有解答过程。第6章 命题逻辑1判断下列语句是否为命题，若是命题请指出是简单命题还是复合命题（1）8能被4整除（2）今天温度高吗？（3）今天天气真好呀！（4）6是整数当且仅当四边形有4条边（5）地球是行星（6）小王是学生，但小李是工人（7）除非下雨，否则他不会去（8）如果他不来，那么会议就不能准时开始解：此题即是教材P.184。</p><p>10、离散数学作业6 数理逻辑部分概念及性质 单项选择题 1 设P 我将去打球 Q 我有时间 命题 我将去打球 仅当我有时间时 符号化为 A B C D 答 B 2 设命题公式G 则使公式G取真值为1的P Q R赋值分别是 A 0 0 0 B 0 0 1 C 0 1。</p>