得书 - 好书推荐、正版图书免费阅读
发现
热门
VIP会员
注册 | 登录
数理逻辑
数理逻辑
汪芳庭
《普通高等学校十一五规划教材·数理逻辑(第2版)》内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。《普通高等...
应用逻辑
尼罗德
这是一本结合逻辑在计算机科学中的应用来介绍数理逻辑的教科书,书中强调了演译作为计算机的一种形的概念。虽然本书覆盖了所有传统的逻辑主题(语法,语义,完备性和紧致性),但是书中大部...
面向计算机科学的数理逻辑系统建模与推理
胡思
数理逻辑是计算机科学的基础之一,在模型与系统的规约与验证等方面有着广泛的应用。随着当今软硬件产品日趋复杂,数理逻辑已经成为越来越多设计开发人员的日常工具。本书适合作为高等院校计...
数学基础
汪芳庭
本书概述了数学基础的历史,介绍了现代数学主体的基础——ZFC集论,重点讲述四种数(自然数、实数、序数和基数)的理论.书中采用一种特殊的构造实数的新方法——非Archimedes...
How to Prove It
DanielJ.Velleman
Manystudentshavetroublethefirsttimetheytakeamathematicscourseinwhichproofsplayasignifica...
数理哲学导论
伯特兰·罗素
数理哲学导论,ISBN:9787100027625,作者:(英)罗素(BertrandRussell)著;晏成书译
递归可枚举集和图灵度
索尔
《递归可枚集合和图灵度:可计算函数与可计算生成集研究(影印版)》主要内容包括:AnInformalDescriptionFormalDefinitionsofComputabl...
数理逻辑
[美]HerbertB.Enderton
本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以...
The Princeton Companion to Applied Mathematics
Higham,Nicholas
Thisisthemostauthoritativeandaccessiblesingle-volumereferencebookonappliedmathematics.Fe...
数理逻辑
[美]HerbertB.Enderton
《数理逻辑(第2版)》适合作为数学、哲学、计算机科学以及其他学科需要学习数理逻辑课程的本科生和研究生的教材。
文章导航
<
1
2
3
4
>
数理逻辑相关书籍
电子书
逻辑新引·怎样判别是非
殷海光
击穿固化思维,逻辑学的入门经典必读。
电子书
从零开始学逻辑
[日] 久保田康司
面对愤怒情绪,我们也是可以“化敌为友”的。
电子书
从零开始学数字电路
刘建清
数字电路初学者的“傻瓜型”教材,深入浅出讲解。
电子书
育儿的逻辑
宋明妮
送给孩子的人生礼物——人见人爱能力、独立生存能力、批判思维能力。
电子书
德国哲学(2017年下半年卷)
戴茂堂 主编
《德国哲学》是由湖北大学哲学学院主办、湖北大学德国哲学研究所协办的专门研究德国哲学及相关问题的学术性刊物。本册是2017年下半年卷。
电子书
问,就对了!用提问掌控人生主动权
任康磊
那些能让你更智慧更成功的答案,你不问,是不会有人告诉你的。
推荐标签
消解
逻辑
教材
高分
商务印书馆
计算复杂性
思维
数学基础
哲学
PrincetonCompanion
小说
文学
青春文学
传记
动漫
经管
管理
金融与投资
经济
励志与成功
人文社科
历史
心理学
法律
社会科学
文化
生活
养生/保健
育儿
科技
科普读物
互联网
意见反馈
我的书架
公众号
关注微信公众号