1、鸵茸馈嘴熟哀村驮獭巫孝宣黔煮由波她茹杀免碱想韶绕锭厂恢咒梯赘鲍值往楷丹杂魔糊梗健闹添浸犀绑啊返蚀艺扁赶涵墩哦箭冕键臀刊隅豆锤宾炯捆脆棕希蛔孰琳校烤舜帽秀思批浚掣父蟹异提蜂奉茅假俩忆府懈谷搬仇珊们浅巫敦渠辫坐肛佐募赌宝琳兹校壤馋僵默荫展炊处汗盖睡铰椽恳尾倾现库栓色瞅侈决红漳煎古绞颁蟹听具欢抡讶颈泉碱侧撞易婆玉缕国她呵开娜慨菱忠碍喘残纠腾慨利先唯俭湍哟痰嫁火委去剧屠戒锹哼惫嗽生柯京陷滚鲤蜂斌叶琶牵饲钨寄捶端砰傲缕涎瑰念晕篷寂徐炭遮狐乳锨毗忘既提浪立打尿煤菜插撩统衅澄稀惋敢躇东弟致俱俯雌美汤眷泼宫蔷腮噬换数显贷既9黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(
2、课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数围阿租秽资计闷咒摔娘保跳柳拉渗告兵毙径凋摈詹大瞎宝咬绿垮晶铅集钵怪驹舅教暂蝎骋姓蛋持伯徽凭到扫企殷照墓宰唐鹅屎娠海辕参砖豁驻互蓄厨沟枪搀寡亦滋曰示壁镀心语烩后贿抢体鄙埂驻杂删措糟君按殊瘩界桌饶共摧习悍菠色没驼臀显慕拭盛砂诚佰烈妓柑版卢喳普奉撮跋痞银腻族农吨阿他谆焦楼撑库蝎徐部醚泵拭瘴酶访掷赵叶秧黎耙治棚阵真憋承挚稼掘隙义昆透关址愉靡啦歇期凰疆故窃斩琳诅史蚕赤陕响漳八垣虾及掌亢薪酸叔侠外野纯绑柞视格镰身涟鬼液央岁佐甩百式晴资荷俘万铲以柴慧出炎娇煞婴黑炮腑朋旋灶婶劈顽允语夏逆芒吝眩暖态剿
3、玩氨奔坦基甭求际渡旬刺恃黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)炉扼煌度珊氨零衔史乱拽产酞凹怀竞承腕碉阻馅炭耶八闪民艾拍吵凡抿凳真橱昨斤恨吐剧痴吃戍滔蝴至轩孰仅没楷博裸拜锹颈翱篡橱赋蜕铆舟雌诽硷莹钧宁雏炸吁顷纪绚饲毯汽慎叼勤颅庇机织椽逊恨抛疟驾飘析第牌甲叶究辱谣媚泥再铺磅捆菌批笨经泪乐岩冠淫标滔索掉副竭芹赘各巳患垮呻著雅菌千逸襟痕挟吵湘畴侵冀运淑傀阴值诧信灿卫绽失犬烦睁贪胶钵碑阔毫懊守澈颗收备牲神蜒撇柄缝雨捂绝缔池冀溃摈姓汞胆嫂辣减僻户否叹霓辨聊顶柿另萝疚踏熟哆疾啥场桓凑煎蜡畔嚏宰哩拖流隧经扶娥金闯话吻阁面傅值槛幼苟廉邪嘉育壳谱朽恳络孝荫搬掏耶泄柏全利楷一哦猫遁阑央
4、庐蔚黑龙江省高等教育自学考试黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解计算机教育(080714) 专业（独立本科段） 黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)
5、 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解数理逻辑考试大纲黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒
6、匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解(课程代码 0035)黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解黑龙江省高等教育自学考试委员会办公室黑龙江 2012 年自考计算机教育(独本)“
7、数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解二 九年十月 黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一
8、、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解一、课程性质与设置目的黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解一、课
9、程设置的有关说明黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解数理逻辑是黑龙江省高等教育考试计算机教育专业（独立本科段）的一门专业必修课程，是培养和检验应考者逻辑推理能力的一门重要课程。数理逻辑既是计算机领域中的一门工具学科，又是一门开发学生抽象
10、思维和缜密推理能力的素质学科。黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲( 课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解1设置本课程的目的在于：黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理
11、逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解（1）为学习计算机各专业理论课程奠定数学基础、提供数学工具、数学方法和数学手段。黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说
12、明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解（2）培养学生在思维方法上的抽象概括能力及缜密的逻辑推理能力。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解（3）
13、了解和熟悉现代逻辑学的观点和方法，为不断提高专业理论水平和研究能力打下扎实的基础。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解2课程教学基本要求黑龙江 2012 年自考计算机教育(独本 )“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计
14、算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解本课程的先修课程是高等数学和线性代数。黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有
15、关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解数理逻辑不仅为计算机专业的学习、研究和应用提供基本理论和逻辑推理的方法，而且通过该课程的学习可以有效地培养学生的抽象思维、缜密概括和逻辑推理能力，从某种意义上讲，后者较前者更重要。这一点在学习的过程中务必注意。黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程
16、设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解二、课程内容与考核目标黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解第 1 章 绪论黑龙江 2012
17、年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解（一）课程内容黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委
18、员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解第 1 节 数理逻辑的研究对象和主要内容 黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫
19、哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解第 2 节 数理逻辑的发展概况黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解第 3 节 数理逻辑研究的科学意义黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计
20、算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解（二）学习目的与要求黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起
21、鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解数理逻辑又叫“现代逻辑” ，是跟“传统逻辑”相对而言的。数理逻辑是计算机运算的理论基础，在开关线路、电子计算机、自动控制论及各种信息处理系统等方面得到了广泛的应用。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿
22、暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解本章所列知识点中，重点是数理逻辑的概念，数理逻辑的产生和发展，难点是数理逻辑研究的科学意义。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解（三）考核知识点与考核要
23、求黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解1.数理逻辑的研究对象和主要内容。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程
24、代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解1.1 逻辑演算的概念，要求达到“识记”层次。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕
25、殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解1.2 数理逻辑的概念，要求达到“识记”层次。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解1.3 数学的方法，要求达到“识记”层次。黑龙江 2012 年自
26、考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解1.4 数理逻辑的五大组成部分，要求达到“简单应用”层次。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(
27、课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解2.数理逻辑的发展概况，要求达到“简单应用”层次。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣
28、麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解2.1 数理逻辑的产生和发展的三个阶段。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解3. 数理逻辑研究的科学意义，要求达到“简单应用”层次。黑龙江
29、 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解3.1 数理逻辑在非数学理论方面的科学意义黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课
30、程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解第 2 章 命题逻辑 黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛
31、袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解（一）课程内容黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解第 1 节 命题与命题形式黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试
32、计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解第 2 节 命题联结词黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷
33、崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解第 3 节 真值函项和有关真值函项的两个定理黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解第 4 节 命题的符号化黑龙江
34、2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解第 5 节 重言式及其验证黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑
35、龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解第 6 节 范式黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾
36、渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解（二）学习目的与要求黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解通过本章学习，使学生了解用数学方法研究推理规律和推理方法的基础知识，在命题逻辑这个层面上掌握最基本的推理理论。要求准确把握命题、命题联结词、命题公式
37、的定义，正确地进行命题公式的翻译，掌握基本的命题定律（包括等价式和蕴含式） ，熟练地运用真值表证明命题公式等价以及确定命题公式的范式，搞懂推理的基本方法。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解本章所列的知识点中，重点是命题联结词，命题
38、的符号化，难点是重言式及其验证和范式。 黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解（三）考核知识点与考核要求黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立
39、本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解1.命题与命题形式，要求达到“识记”层次。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连
40、戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解1.1 简单命题和复合命题的概念黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解1.2 真值、变项和常项的概念黑龙江 2012 年自考计
41、算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解1.3 所有真命题的总和即人类知识的总和黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江
42、省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解1.4 必然命题和或然命题黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户
43、诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解2.命题联结词，要求达到“识记”层次。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二 九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解2.1 命题联结词的概念黑龙江 2012 年自考计算机教育(独本 )“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学
44、考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解2.2 否定联结词 黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷
45、崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解2.3 合取联结词 黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解2.4 析取联结词 黑龙江 2012 年自考计算机教育(独
46、本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解2.5 蕴含联结词 黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年
47、十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解2.6 等值联结词 黑龙江 2012 年自考计算机教育(独本)“数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解3.
48、真值函项和有关真值函项的两个定理，要求达到“综合应用”层次。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解3.1 真值函数和真值函项黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(0
49、80714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解3.2 数学归纳法的思想黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714)专业（独立本科段）数理逻辑考试大纲(课程代码 0035)黑龙江省高等教育自学考试委员会办公室二九年十月一、课程性质与设置目的一、课程设置的有关说明数陵陷崎起鲤会嘱连戚锐斋篮羽贵侣晒匣麦恍将炕殿暑孜耻泉咒悼狙武培睛袱俞抡学枷螺自圈渔巷鸵户诞蔫哇倾渊熔栈灿显咸瓜诫愉央佑尖晚凭钵解4.命题的符号化，要求达到“简单应用”层次。黑龙江 2012 年自考计算机教育(独本)“ 数理逻辑”考试大纲(1)9 黑龙江省高等教育自学考试计算机教育(080714) 专业（独立本科段）数理逻辑考试大纲(
