上课用石墨文档做的笔记,csdn写标题和插入图片不是很方便
结合的是北大的课程和电子科技大学的教程
1 预备知识(集合命题逻辑)
https://shimo.im/docs/TJtHPhwJG9ghR8xQ
2 预备知识(一阶谓词逻辑)
https://shimo.im/docs/D6TCPYd8g8Jry6Tw
3 范式
https://shimo.im/docs/8YpHqG6XGk3tHPkg
4 谓词
https://shimo.im/docs/3YtCgDwVGhWqyGCD
二元关系
https://shimo.im/docs/JdcVXR8XtPRWv6yr