离散数学

CSAPP LAB-1 位操作
CSAPP LAB-1 位操作
发表于|更新于|CSAPP LABS|CSAPP•C•实验•离散数学
位级理解我们的代码
「蕴含」与「等价」自然语言表达的理解
「蕴含」与「等价」自然语言表达的理解
发表于|更新于|数学与算法|离散数学•命题逻辑
里面解释了「当」和「仅当」的区别
为什么个体域变化引入特性谓词时，不同量词的命题变化不一样？
为什么个体域变化引入特性谓词时，不同量词的命题变化不一样？
发表于|更新于|数学与算法|离散数学•谓词逻辑
对于全称量词，特性谓词常作为蕴含的前件；对于存在量词，特性谓词常作为合取项。