离散数学

三天时间大致学习离散数学相关知识

在此帖记录印象较深的几处概念

写两句?

谓词常项，谓词变项，多元谓词，0元谓词。谓词是个体到真值的映射/函数。n元谓词的定义域为论域Dn ，值域为{0，1}

函数的结果是个体词

全称量词和特称量词，指导变元、约束变元与自由变元，辖域，命题函数与命题

主范式：主合取范式和主析取范式

https://blog.csdn.net/rxy_66/article/details/80719604

偶图欧拉图哈密顿图平面图

在数学中，群表示一个拥有满足封闭性、满足结合律、有单位元、有逆元的二元运算的代数结构，包括阿贝尔群、同态和共轭类。

NEXTVim