- 博客(2)
- 收藏
- 关注
RSS订阅
1原创 数理逻辑：（1）命题逻辑
一，相关介绍，课程名称Foundations of Logic and Model Checking。这门课中，主要内容是命题逻辑和一阶逻辑的相关知识，为之后的NLP课程以及人工智能开发做逻辑基础。文章Overview：1.The syntax of propositional logic2.The semantics of propositional logic and truth table3.Model andLogical consequence4.Syntax andse...
2021-10-18 19:46:08
726
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人