Mathematical logic is an important mathematical foundation and is the only undergraduate course on logic of computer science and technology. The course introduces about:formal axiomatic system of propositional calculus (propositional language and formal infer-ence)､semantics and meta-theory (soundness and completeness of propositional calculus);formal axiomatic system of first order logic (first order language and formal inference)､semantics and me-ta-theory of predicate calculus(including soundness and complete-ness of first order predicate calculus); formal arithmetic and recur-sive function､G·del’s incompleteness theorems and decidable problem.
Mathematics
数学源自于古希腊语，是研究数量、结构、变化以及空间模型等概念的一门学科。透过抽象化和逻辑推理的使用，由计数、计算、量度和对物体形状及运动的观察中产生。数学的基本要素是：逻辑和直观、分析和推理、共性和个性。
