刘勇
LIU Yong
讲师 · 数理逻辑与可计算性理论
南京晓庄学院信息工程学院
我生于南京，先后就读于南京师范大学附属中学和南京师范大学，后赴新加坡国立大学深造，并获得硕士、博士学位。此后，我先后在新加坡国立大学和南洋理工大学从事研究工作。回国后，我曾在南京大学数学系（今数学学院）从事科研工作，现任南京晓庄学院信息工程学院讲师。
研究方向
数理逻辑与递归论（可计算性理论），主要关注可计算度结构、Ershov 层级、归纳强度及优先方法。
“Isolated d.c.e. Degrees and Σ₁ Induction.” Annals of Pure and Applied Logic, 2026, 177(3): 103678.
“Robinson Splitting Theorem and Σ₁ Induction.” Journal of Symbolic Logic, 2026.
“Weak Density and Nondensity among Transfinite Levels of the Ershov Hierarchy.” Notre Dame Journal of Formal Logic, 2020, 61(4): 521–536.
教学
现在主要讲授组合数学、离散数学、点集拓扑、高等数学II。曾讲授微积分、线性代数、概率论与数理统计。
组合数学
Combinatorics
计数方法，递推关系与生成函数
离散数学
Discrete Mathematics
命题逻辑、一阶逻辑初步、集合与关系
点集拓扑
Point-Set Topology
度量空间、拓扑空间、连续映射、连通性与紧致性。
高等数学II
Advanced Mathematics II
多元微积分、常微分初步