本本书屋

 本本书屋 logo

可计算性与数理逻辑 2024 pdf epub mobi 电子书

可计算性与数理逻辑
☆☆☆☆☆
简体网页||繁体网页

可计算性与数理逻辑 2024 pdf epub mobi 电子书 著者简介

可计算性与数理逻辑 电子书 图书目录

下载链接在页面底部


点击这里下载
    
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 电子书


喜欢 可计算性与数理逻辑 电子书 的读者还喜欢


可计算性与数理逻辑 电子书 读后感

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

评分☆☆☆☆☆

类似图书 点击查看全场最低价
出版者:电子工业出版社
作者:布勒斯 (George S. Boolos)
出品人:
页数:356 页
译者:
出版时间:2003年6月1日
价格:38.00
装帧:平装
isbn号码:9787505388284
丛书系列:国外计算机科学教材系列

图书标签: 数学  逻辑学  逻辑  人工智能  计算理论  计算机  数理逻辑  计算机科学   

可计算性与数理逻辑 2024 pdf epub mobi 电子书 图书描述

本书是一本经典的逻辑教科书，第四版已经过全面修订，提高了可读性。全书主要论述了可计算性理论、基础元逻辑及一些高级专题。此书同样适用于没有数学背景知识的学生，不仅包括了中等深度的逻辑教程所讨论的基本专题，如哥德尔不完全性定理等，而且涉及了从图灵的可计算性理论到Ramsey定理的大量选题，因而已成为一本经典的教科书。该书在每章末尾还增加了习题，并重新组织和改写了某些章，以使各章更加相互独立，增加了教师授课的灵活性，进而扩大了本书的使用范围。

本书适合数学、计算机科学、哲学等专业的学生使用。对于在人工智能、哲学、计算理论、离散结构、数理逻辑等领域进行研究的读者，此书也是大有裨益的。

可计算性与数理逻辑 2024 pdf epub mobi 电子书
可计算性与数理逻辑 2024 pdf epub mobi 电子书
想要找书就要到 本本书屋
立刻按 ctrl+D收藏本页
你会得到大惊喜!!

可计算性与数理逻辑 2024 pdf epub mobi 用户评价

评分☆☆☆☆☆

我水平太低 不好评价 数理逻辑博大精深

评分☆☆☆☆☆

我水平太低 不好评价 数理逻辑博大精深

评分☆☆☆☆☆

我水平太低 不好评价 数理逻辑博大精深

评分☆☆☆☆☆

我水平太低 不好评价 数理逻辑博大精深

评分☆☆☆☆☆

我水平太低 不好评价 数理逻辑博大精深

可计算性与数理逻辑 2024 pdf epub mobi 电子书

分享链接

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




相关图书



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

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

友情链接

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

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