方敏，南京大学计算机科学与技术系教授，博士生导师。主要研究领域是数理逻辑和量子计算，曾主持国家自然科学基金项目、863项目和中法合作项目的研究，在国内外核心刊物上发表论文50余篇。曾获国家教委科技进步三等奖、江苏省优秀科技工作者称号和2004年度教育部提名国家科学技术奖。为本科生主讲“离散数学”和“数理逻辑”课程，为研究生主讲“计算理论”课程。
计算模型导引
宋方敏
评分 7.4分
《计算机科学与技术研究生系列教材:计算模型导引》主要介绍了计算模型领域的主要概念，方法和技术，旨在通过介绍递归函数，Lambda演算和Turing机来理解计算理论。本课程讲述如下专题：递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题，供读者选做。 宋方敏，南京大学计算机科学与技术系教授，博士生导
计算机操作系统
方敏
评分 暂无
《计算机操作系统》全面介绍了计算机系统中的一个重要软件——操作系统(OS)，《计算机操作系统》是第三版，对2001年出版的修订版的各章内容均作了较多的修改，基本上能反映当前操作系统发展的现状，但章节名称基本保持不变。全书仍分为10章，第一章介绍了OS的发展、特征、功能以及OS结构；第二、三章深入地阐述了进程和线程的基本概念、同步与通信、调度与死锁；第四章对连续和离散存储器管理方式及虚拟存储器
企业财税法实务案例与合同管理
方敏霞
本选题从税务视角解析企业经营业务，逐步深入到股权架构、合同管理进阶实战，并在最后配合项目实战案例，重点介绍了税法在实际工作中不同条件的运用，让读者不但可以系统地学习税收的相关知识，而且还能对经营中股权架构、法律形式选择应用、制度配合企业规模的建设、合同细节管控等财、税、法三方面有更为深入的理解和把控。本选题共分为15章，涵盖的主要内容有合伙人与股东；企业内部架构；法律风险；中小微企业制度的设
数理逻辑十二讲(面向CS2013计算机专业规划教材)
评分 3.8分
宋方敏、吴骏编著的《数理逻辑十二讲(面向CS2013计算机专业规划教材)》为数理逻辑的入门教材，主要介绍命题逻辑和一阶逻辑。本书既引入自然推理风格的Gentzen系统，又引入永真推理风格的Hilbert系统，详细证明四个基本定理：完全性定理、紧性定理、Gentzen的Hauptsatz和Herbrand定理。本书最后介绍模态逻辑。 通过本书的学习，学生将掌握数理逻辑的基本
离散数学及其在计算机中的应用
徐洁磐/朱怀宏/宋方敏编
离散数学及其在计算机中的应用（第三次修订），ISBN：9787115132376，作者：徐洁磐等编著
企业级编程与控制理论
［美］菲利普·K.雅内特（Philipp K. Janert） 方敏 朱嵘 译
