本本书屋

 本本书屋 logo

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

计算模型导引
☆☆☆☆☆
简体网页||繁体网页

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

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

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

下载链接在页面底部


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

发表于2024-12-27

计算模型导引 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 电子书

分享链接

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




相关图书



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

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

友情链接

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

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