第41讲 逻辑、理与证明、复数、框图.docVIP

第四十一讲 —逻辑、推理与证明、复数、框图 一．课标要求： 1．常用逻辑用语（1）命题及其关系① 了解命题的逆命题、否命题与逆否命题② 理解必要条件、充分条件与充要条件的意义，会分析四种命题的相互关系（2）简单的逻辑联结词通过数学实例，了解或、且、非逻辑联结词的含义（3）全称量词与存在量词① 通过生活和数学中的丰富实例，理解全称量词与存在量词的意义② 能正确地对含有一个量词的命题进行否定。2．推理与证明（1）合情推理与演绎推理①结合已学过的数学实例和生活中的实例，了解合情推理的含义，能利用归纳和类比等进行简单的推理，体会并认识合情推理在数学发现中的作用②结合已学过的数学实例和生活中的实例，体会演绎推理的重要性，掌握演绎推理的基本模式，并能运用它们进行一些简单推理③通过具体实例，了解合情推理和演绎推理之间的联系和差异（2）直接证明与间接证明①结合已经学过的数学实例，了解直接证明的两种基本方法：分析法和综合法；了解分析法和综合法的思考过程、特点②结合已经学过的数学实例，了解间接证明的一种基本方法--反证法；了解反证法的思考过程、特点（3）数学归纳法了解数学归纳法的原理，能用数学归纳法证明一些简单的数学命题（4）数学文化①通过对实例的介绍（如欧几里德《几何原本》、马克思《资本论》、杰弗逊《独立宣言》、牛顿三定律），体会公理化思想②介绍计算机在自动推理领域和数学证明中的作用3．数系的扩充与