L14 – Counting with Generating Functions: Combinations, Permutations, and Partitions本文主要探讨利用生成函数解决组合数学中的计数问题。文章详细阐述了如何使用普通生成函数计算组合与整数分拆的数量,以及如何使用指数生成函数处理排列问题。通过具体例题,展示了生成函数在解决限制性分布问题中的...Discrete Mathematics# 卡塔兰数# 整数分拆# 斯特林数2026年4月19日7014.9K
L9 – Subgroups, Cyclic Groups, DLOG, CDH, Diffie-Hellman Key Exchange, and Cardinality本文主要研究群论中子群与循环群的性质,解析离散对数及计算性Diffie-Hellman问题的数学基础,揭示其如何支撑Diffie-Hellman密钥交换的安全性,并简述组合数学与集合基数的概念。Discrete Mathematics# 密码学基础# 密钥交换# 循环群2026年4月2日3914.7K
L16 – Logic I: Languages and Automata本文主要介绍了形式语言与自动机的基础理论,涵盖字母表、字符串与形式语言的定义。内容涉及正则语言、确定性与非确定性有限自动机(DFA/NFA)及其等价性,以及正则文法和正则表达式。最后探讨了上下文无关文...Discrete Mathematics# 上下文无关文法# 形式语言# 正则表达式2026年5月6日5812.7K
L15 – Recurrence Relations, Inclusion-Exclusion, and Pigeonhole Principle本文主要讲解利用生成函数求解线性递推关系的方法。文章详细阐述了容斥原理的公式推导及其在欧拉函数计算中的应用,并介绍了鸽巢原理的简单与一般形式,通过工作站与服务器连接问题展示了其在组合优化中的实际应用。Discrete Mathematics# 容斥原理# 生成函数# 递推关系2026年4月23日4311.8K
L17 – Logic II: Propositional logic本文主要介绍命题逻辑的形式化体系,涵盖语法、语义、演绎与归结四个核心部分。内容涉及原子命题、公式构建、真值表、逻辑等价及可满足性判定。同时讲解了语义表法、希尔伯特与根岑演绎系统,并重点探讨了合取范式转...Discrete Mathematics# SAT算法# 命题逻辑# 形式语言2026年5月19日6111.3K