计算模型导引 在线电子书 图书标签: 计算机科学 数学 计算模型 元数学 metamathematics TCS 计算机科学与技术研究生系列教材
发表于2024-11-08
计算模型导引 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024
宋公计算模型导引的教材,前排已经说得很详细了,分成三部分讲解(其实还有算盘机)。整本书中有大量的概念和定义,并不适合自学。
评分全是定义的书,为什么不叫字典呢?
评分宋公大作
评分宋公计算模型导引的教材,前排已经说得很详细了,分成三部分讲解(其实还有算盘机)。整本书中有大量的概念和定义,并不适合自学。
评分人类智慧的结晶
宋方敏,南京大学计算机科学与技术系教授,博士生导师。主要研究领域是数理逻辑和量子计算,曾主持国家自然科学基金项目、863项目和中法合作项目的研究,在国内外核心刊物上发表论文50余篇。曾获国家教委科技进步三等奖、江苏省优秀科技工作者称号和2004年度教育部提名国家科学技术奖。为本科生主讲“离散数学”和“数理逻辑”课程,为研究生主讲“计算理论”课程。
《计算机科学与技术研究生系列教材:计算模型导引》主要介绍了计算模型领域的主要概念,方法和技术,旨在通过介绍递归函数,Lambda演算和Turing机来理解计算理论。本课程讲述如下专题:递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题,供读者选做。
评分
评分
评分
评分
计算模型导引 在线电子书 pdf 下载 txt下载 epub 下载 mobi 下载 2024