寻找这个寒假一起学习数理逻辑的友友φ(゜▽゜*)♪
本人之前暑假读到Section2.2就放弃了QAQ
希望这个寒假能和感兴趣和有想法的小伙伴一起再次学习这本书
书籍：Enderton的 A Mathematical Introduction to Logic
时间（暂定）：12月下旬至2月上旬，肯定会考虑到大家过年的需求QAQ
形式：主要是自己阅读书籍、相互交流，以网络会议的方式讨论遇到的疑惑和困难的习题
目标：
1）坚持学习完前二/三章（Sentential Logic&First Order Logic/Undecidaibility）
2）完成一定的课后习题
3）对数理逻辑中的基本概念和想法有一个较好的认识
希望你：
1）了解基础的命题逻辑（Propositional Logic）和一阶逻辑（First Order Logic）
2）对数理逻辑感兴趣并能坚持下来
3）积极参与学习计划和学习内容的讨论
联系方式：ZC.Wang2003@outlook.com