发布时间：2026-10-26
时间：2026.11.12/11.19/11.26/12.3/12.10，9:40-12:40
地点: E14-215
报告人：喻良，南京大学
讲座主题：数理逻辑导论
讲座摘要：本课程将覆盖基本的集合论，递归论以及哥德尔不完备性定理。听众需要一定的数理逻辑基础，例如了解谓词演算，以及完全性定理。
