原创力文档可计算性与数理逻辑
ComputabilityandLogic
刖百
本讲稿是阅读研究生教材“可计算性理论与数理逻辑（第四版及第五版，英文版，以下简称教
材）叫?］的笔记，并结合刘咏梅老师的讲稿（以下简称讲稿）而撰写，供研究生数理逻辑课程学习参
考或供教师讲课时参考。
可计算性与数理逻辑
ComputabilityandLogic
刖百
本讲稿是阅读研究生教材“可计算性理论与数理逻辑（第四版及第五版，英文版，以下简称教
材）叫?］的笔记，并结合刘咏梅老师的讲稿（以下简称讲稿）而撰写，供研究生数理逻辑课程学习参
考或供教师讲课时参考。
文档评论（0）