/Index
/Publications
/Teaching
/Tutorial
/Software
/Contact
符号学习简介(2025)
南京大学苏州校区,本研共修课程
任课教师:
戴望州
课程信息
地点:南雍-西410
时间:周三 5-6节 1-18周
课程考核
大作业实践 + 报告
课程课件
00-证明、计算以及它们的边界(上)
00-证明、计算以及它们的边界(下)
01-绪论
02-命题规则学习(上)
03-命题规则学习(下)
04-逻辑程序(上)
05-逻辑程序(下)