小哈图书下载中心

 小哈图书下载中心 logo

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

计算模型导引
☆☆☆☆☆
简体网页||繁体网页
宋方敏
高等教育出版社
2012-6
151
24.00元
9787040347371

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

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


下载链接在页面底部


点击这里下载
    
linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

发表于2024-11-27

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

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

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


图书描述

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

计算模型导引 下载 mobi epub pdf txt 电子书

著者简介

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

图书目录

计算模型导引 pdf epub mobi txt 电子书 下载
想要找书就要到 小哈图书下载中心
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

用户评价

评分☆☆☆☆☆

全是定义的书，为什么不叫字典呢？

评分☆☆☆☆☆

宋公的书，确实不易自学

评分☆☆☆☆☆

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

评分☆☆☆☆☆

符号使用一塌糊涂，跟国外教材差距实在太大

评分☆☆☆☆☆

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

读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价

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

分享链接

linkedin mastodon messenger pinterest reddit telegram viber vkontakte whatsapp 复制链接




相关图书



服务条款
联系我们
关于我们
隐私政策

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

友情链接

中国国家图书馆
国立台湾图书馆
美国国会图书馆
开放图书馆 openlibrary.org

© 2024 qciss.net All Rights Reserved. 小哈图书下载中心 版权所有