[离散数学解题指导]王元元等编著科学

【離散數學解題指導】王元元等編著科學.pdf编著 离散数学解题指导 王元元张桂芸 宋丽华仪新莹 北京前言 几乎每个学生都知道,做题对于学习数学是非常重要的,课后做练习能使你最大地 受益。然而,许多人在学习和复习离散数学的时候,包括有些从事该课程教学的教师,都 感觉到离散数学的习题没有明显的规律性,往往缺乏一般的解法,不像高等数学、线性代 数、概率论等其他数学习题有章可循,因而常常觉得无从下手,有时做完了也很难找到正 确答案。这不能不说是离散数学教学的一大特点或一大难点。因此,很多学习离散数学 或打算参加该课程各种各样考试的读者急需一本比较全面、系统的习题题解,以此作为学 习和复习离散数学的一种“着落”、一个依据、一名“学习助手”和一位“随身老师”,另外刚 刚从事离散数学教学的青年教师也可从中第一篇数理逻辑 论 合 目第二篇集 第一章命题演算及其形式系统 1命题与联结词 1重言式范式命题演算形式系统 第二章谓词演算及其形式系统 2个体、谓词和量词 谓词演算永真式 一阶谓词演算形式系统 消解原理 斯柯伦标准形 3命题演算消解原理.
———— 文字由OCR识别(未校验)，可能存在错字；请以原始完整版为准。