Звездной россыпью пылают галактик триллиарды,

摘要： 2024年秋学期该课程内容涉及的重要单词和短语表 按照字典序排好序了，放在代码框中方便复制 阅读全文

摘要： 笔记包括2025年秋学期该课程的内容 Proposition 命题 要么为真要么为假，且有确切的真假的一个陈述句 简单的命题可以通过逻辑运算符或其他方式组合起来得到复杂的命题 Propositional Logic 命题逻辑 通过逻辑运算符将一些值为真/假的命题组合起来，就得到了一个命题逻辑表达式， 阅读全文