1 The Foundations: Logic and Proofs 2 Basic Structures: Sets, Functions, Sequences, Sums, and Matrices 3 Algorithms 4 Number Theory and Cryptography 5 Induction and Recursion 6 Counting 7 Discrete Probability 8 Advanced Counting Techniques 9 Relations 10 Graphs 11 Trees 12 Boolean Algebra 13 Modeling Computation

一、函数的定义 二、函数定义 三、从4到B的函数 四、函数的像 五、函数的性质 六、函数的单射、满射、双射性 七、构造双射函数

◼ 10.1 加法法则和乘法法则 加法法则与乘法法则 应用实例 ◼ 10.2 基本排列组合的计数方法 排列组合问题的分类 集合的排列与组合 多重集的排列与组合

第一章 命题逻辑 第二章 谓词逻辑 第三章 集合论初步 第四章 二元关系 第六章 函数 第六章 代数系统 第七章 格与布尔代数 第八章 图论

⚫内容：推理形式和推理演算是数理逻辑研究的基本内容。 ⚫推理演算要用正确的推理：推理形式由前提和结论经蕴涵词联接而成。我们关注正确的推理形式 。正确的推理形式可由逻辑关系符表达。 ⚫非形式描述：本章对命题等值和推理演算进行的讨论，是以语义的观点进行的非形式的描述

1.集合与元素 集合是个最基本的概念。 集合：是由确定的对象(客体)构成的集体。用 大写的英文字母表示。 这里所谓“确定”是指：论域内任何客体， 要么属于这个集合，要么不属于这个集合，是 唯一确定的

一. 填空(共计 26 分) 1. (每空 1 分) 令 P: 天气好. Q: 我有时间. R: 我在家. S: 我上街. 将下面各个命题的符号表达式填在各个命题后面的括号内.. ⑴. 或者我上街,或者我在家. ( ) ⑵ 仅当天气好, 我才上街. ( ) ⑶ 如果天气好, 我就上街, 否则在家.( )

主要内容：一阶逻辑等值式与基本的等值式、置换规则、换名规则、代替规则、前束范式、自然推理系统NL 及其推理规则。 第一节：等值式与置换规则 第二节：前束范式 第三节：推理理论

2-1 基本概念 2-2 谓词公式及命题符号化 2-3 谓词演算的等价式与蕴涵式 2-4 前束范式 2-5 谓词演算的推理理论

❑主要内容 ❑二元运算及其性质 ⚫ 一元和二元运算定义及其实例 ⚫ 二元运算的性质 ❑代数系统 ⚫ 代数系统定义及其实例 ⚫ 子代数 ⚫ 积代数 ❑代数系统的同态与同构