硅谷
硅穀
규곡
SILICON VALLEY
2010年
22期
172-172
,共1页
数理逻辑%命题公式%推理
數理邏輯%命題公式%推理
수리라집%명제공식%추리
数理逻辑是<离散数学>的难点之一,其主要原因是内容比较抽象且方法较独特,加之题型以知识较广的证明题居多.结合适当的例题总结数理逻辑中几种常见的推理证明方法,以期在帮助学生掌握命题逻辑的推理证明方法的同时,又能对学生进行逻辑思维能力的训练,培养学生分析问题和解决问题的能力.
數理邏輯是<離散數學>的難點之一,其主要原因是內容比較抽象且方法較獨特,加之題型以知識較廣的證明題居多.結閤適噹的例題總結數理邏輯中幾種常見的推理證明方法,以期在幫助學生掌握命題邏輯的推理證明方法的同時,又能對學生進行邏輯思維能力的訓練,培養學生分析問題和解決問題的能力.
수리라집시<리산수학>적난점지일,기주요원인시내용비교추상차방법교독특,가지제형이지식교엄적증명제거다.결합괄당적례제총결수리라집중궤충상견적추리증명방법,이기재방조학생장악명제라집적추리증명방법적동시,우능대학생진행라집사유능력적훈련,배양학생분석문제화해결문제적능력.
