黄山学院学报
黃山學院學報
황산학원학보
JOURNAL OF HUANGSHAN UNIVERSITY
2004年
3期
21-22
,共2页
数理逻辑是应用数学方法引进一套符号系统来研究抽象思维的形式结构和规律的一门年轻的应用学科,它要求学生要具有高度的抽象思维能力和严谨的数学推理功底.学生反映学习起来比较困难,特别是对推理理论的习题总是感到无从下手,没有解题思路.本文结合教学实践工作给出谓词推理的几种思路.
數理邏輯是應用數學方法引進一套符號繫統來研究抽象思維的形式結構和規律的一門年輕的應用學科,它要求學生要具有高度的抽象思維能力和嚴謹的數學推理功底.學生反映學習起來比較睏難,特彆是對推理理論的習題總是感到無從下手,沒有解題思路.本文結閤教學實踐工作給齣謂詞推理的幾種思路.
수리라집시응용수학방법인진일투부호계통래연구추상사유적형식결구화규률적일문년경적응용학과,타요구학생요구유고도적추상사유능력화엄근적수학추리공저.학생반영학습기래비교곤난,특별시대추리이론적습제총시감도무종하수,몰유해제사로.본문결합교학실천공작급출위사추리적궤충사로.
