CCU Course Intro
Course Introduction
本課程將探討古典遞迴理論(Classical Recursion Theory),此理論主要是研究自然數上的可計算函數。我們將追蹤在此理論發展過程中的一些重要的結果,建立對這理論的基本認識,並將討論一些相關的後設邏輯的課題,例如與可被決定性(decidability)有關的一些定理。
Document of syllabus2019-12研究所教學大綱(蔡).doc
Please respect to the intellectual property rights, do not photocopy the textbooks which assigned by professors.