离散数学

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