【離散數學解題指導】王元元等編著科學.pdf

编著离散数学解题指导王元元张桂芸宋丽华仪新莹北京

前言几乎每个学生都知道,做题对于学习数学是非常重要的,课后做练习能使你最大地受益。然而,许多人在学习和复习离散数学的时候,包括有些从事该课程教学的教师,都感觉到离散数学的习题没有明显的规律性,往往缺乏一般的解法,不像高等数学、线性代数、概率论等其他数学习题有章可循,因而常常觉得无从下手,有时做完了也很难找到正确答案。这不能不说是离散数学教学的一大特点或一大难点。因此,很多学习离散数学或打算参加该课程各种各样考试的读者急需一本比较全面、系统的习题题解,以此作为学习和复习离散数学的一种“着落”、一个依据、一名“学习助手”和一位“随身老师”,另外刚刚从事离散数学教学的青年教师也可从中

第一篇数理逻辑论合目第二篇集第一章命题演算及其形式系统 1命题与联结词 1重言式范式命题演算形式系统第二章谓词演算及其形式系统 2个体、谓词和量词谓词演算永真式一阶谓词演算形式系统消解原理斯柯伦标准形 3命题演算消解原理.