计算模型导引 2024 pdf epub mobi 电子书


计算模型导引

简体网页||繁体网页

计算模型导引 2024 pdf epub mobi 电子书 著者简介

宋方敏,南京大学计算机科学与技术系教授,博士生导师。主要研究领域是数理逻辑和量子计算,曾主持国家自然科学基金项目、863项目和中法合作项目的研究,在国内外核心刊物上发表论文50余篇。曾获国家教委科技进步三等奖、江苏省优秀科技工作者称号和2004年度教育部提名国家科学技术奖。为本科生主讲“离散数学”和“数理逻辑”课程,为研究生主讲“计算理论”课程。


计算模型导引 电子书 图书目录




点击这里下载
    


想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-24

计算模型导引 2024 pdf epub mobi 电子书

计算模型导引 2024 pdf epub mobi 电子书

计算模型导引 2024 pdf epub mobi 电子书



喜欢 计算模型导引 电子书 的读者还喜欢


计算模型导引 电子书 读后感

评分

评分

评分

评分

评分

类似图书 点击查看全场最低价
出版者:高等教育出版社
作者:宋方敏
出品人:
页数:151
译者:
出版时间:2012-6
价格:24.00元
装帧:
isbn号码:9787040347371
丛书系列:

图书标签: 计算机科学  数学  计算模型  元数学  metamathematics  TCS  计算机科学与技术研究生系列教材   


计算模型导引 2024 pdf epub mobi 电子书 图书描述

《计算机科学与技术研究生系列教材:计算模型导引》主要介绍了计算模型领域的主要概念,方法和技术,旨在通过介绍递归函数,Lambda演算和Turing机来理解计算理论。本课程讲述如下专题:递归函数、算盘机、Lambda演算、Turing机和Church论题。计算理论是计算机科学的理论基础。 书中每章附有适量习题,供读者选做。

计算模型导引 2024 pdf epub mobi 电子书

计算模型导引 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

计算模型导引 2024 pdf epub mobi 用户评价

评分

从三个方面讲了可计算理论:递归函数论、Lambda演算、图灵机。是上课用的讲义,不太适合自学。另外书中使用的符号其实完全遵循“经典”教材中采用的那一套——也就是Church、Turing、Kleene他们当年在Princeton用的那些,跟现在流行的教材中的用法有一定出入。

评分

宋公的书,确实不易自学

评分

宋公计算模型导引的教材,前排已经说得很详细了,分成三部分讲解(其实还有算盘机)。整本书中有大量的概念和定义,并不适合自学。

评分

宋公的书,确实不易自学

评分

提升内力~

计算模型导引 2024 pdf epub mobi 电子书


分享链接









相关图书




本站所有内容均为互联网搜索引擎提供的公开搜索信息,本站不存储任何数据与内容,任何内容与数据均与本站无关,如有需要请联系相关搜索引擎包括但不限于百度google,bing,sogou

友情链接

© 2024 onlinetoolsland.com All Rights Reserved. 本本书屋 版权所有