- Week 1 - Symbolic Logic/符号逻辑学
- Week 2 - Propositional Logic/命题逻辑
- Week 3 - Propositional Logic - Sequent Calculus/命题逻辑 - 相继式演算
- Week 4 - Propositional Logic - Classical Reasoning/命题逻辑 - 经典逻辑
- Week 5 - Propositional Logic - Semantics/命题逻辑 - 语义
- Week 6-0 - Propositional Logic - Equivalences & Normal Forms/命题逻辑 - 等价与范式
- Week 6-1 - Propositional Logic - SAT/命题逻辑 - 布尔可满足性问题
- Week 7 - Predicate Logic - Syntax/谓词逻辑 - 语法
- Week 8 - Predicate Logic - Natural Deduction Proofs/谓词逻辑 - 自然演绎
Logic
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||