L17 – Logic II: Propositional logic
本文主要介绍命题逻辑的形式化体系，涵盖语法、语义、演绎与归结四个核心部分。内容涉及原子命题、公式构建、真值表、逻辑等价及可满足性判定。同时讲解了语义表法、希尔伯特与根岑演绎系统，并重点探讨了合取范式转...
排序
L16 – Logic I: Languages and Automata
本文主要介绍了形式语言与自动机的基础理论，涵盖字母表、字符串与形式语言的定义。内容涉及正则语言、确定性与非确定性有限自动机（DFA/NFA）及其等价性，以及正则文法和正则表达式。最后探讨了上下文无关文...