共找到 11213 与可计算性与数理逻辑 相关的结果,耗时3 ms
标签:数理逻辑,逻辑学,数学,逻辑,哲学,教材,符号学,语义,
原作名:
作者:邢滔滔
出版年月:2020-02-20 …
页数: 274页
最新访问:2020-05-31 …
网友评分: 7.2
经典好书《数理逻辑》读书内容简介: 本书脱胎于北京大学哲学系本科“数理逻辑”课程的讲义,针对逻辑学的初学者,尤其是初学逻辑的学生,介绍一阶逻辑的最基本的知识和技术,包括一阶语言的语形和语义、一阶推演系统、一阶逻辑的完全性定理等。作者简介邢滔滔,北京大学哲学系副教授
详情
标签:证券,公司治理,金融,【精研】观火,Invest,管理,曾斌,商业,
原作名:
作者:无
出版年月:2020-02-20 …
页数:None页
最新访问:2020-08-05 …
网友评分: 8.8
经典好书《资本治理的逻辑》读书内容简介: 作者简介
详情
标签:逻辑,思维方式,思维,自我成长,方法论,哲学,认知,成长,
原作名:
作者:孟云剑
出版年月:2020-02-20 …
页数: 272页
最新访问:2020-08-24 …
网友评分: 6.4
经典好书《你对我讲道理,我对你讲逻辑》读书内容简介:p>“有书”金牌领读人孟云剑教你识破思维谬误,打造完整的逻辑分析结构,做自己大脑的主人。……………………◎ 编辑推荐★ 在信息社会,思维能力越来越重要。严密的逻辑思维结构能帮助我们建立良好的人际关系,也...
详情
标签:数理逻辑,数学,逻辑,逻辑学,计算机,入门,阅读,高分,
原作名:
作者:汪芳庭
出版年月:2020-02-20 …
页数: 273页
最新访问:2021-03-23 …
网友评分: 9.3
标签:数理逻辑,数学,逻辑,逻辑学,计算机科学,计算机,哲学,计算理论,
原作名:A Mathematical Introduction to Logic, Second Edition
作者:(美)Herbert B. Enderton 著
出版年月:2020-02-20 …
页数: 317页
最新访问:2021-05-13 …
网友评分: 9.2
经典好书《数理逻辑》读书内容简介:逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含本书是数理逻辑方面的经典教材。书中涵盖了命题逻辑、一阶逻辑、不可判定性以及二阶逻辑等方面的内容,并且包含了与计算机科学有关的主题,如有限模型。本书特点是:内容可读性强;组织结构更灵活,授课教...
详情
标签:游戏改变行为,产品经理,产品,异步社区,互联网,2020,1月,
原作名:
作者:管俊睿
出版年月:2020-02-20 …
页数: 228页
最新访问:2020-03-03 …
网友评分: 6.4
经典好书《产品经理游戏化设计思维70计》读书内容简介:兼顾多领域的知识和原理● 辅以大量的日常游戏为例● 专业资源整合的典范之作本书通过论述游戏设计原理、管理学原理等方法论,结合具体的游戏实例及产品实例,向读者引申出对互联网产品的设计思路和实践结论,以启发互联网...
详情
标签:计算机,计算机系统设计原理,体系结构,计算机科学,编程,系统设计,操作系统,mit,
原作名:Principles of Computer System Design: An Introduction
作者:Jerome H. Saltzer
出版年月:2020-02-20 …
页数: 375页
最新访问:2020-03-08 …
网友评分:
经典好书《计算机系统设计原理》读书内容简介:》介绍了计算机系统中相当广泛的原理和抽象,并深入介绍了它们。《世界著名计算机教材精选:计算机系统设计原理》使用伪代码介绍核心概念,使得读者可以测试他们对于该概念的具体实例的理解。通过使用伪代码,《世界著名计算机教材精选:计算机系统设计原理》将客户端—...
详情
标签:系统架构,计算机工程,计算机科学技术,计算机,⎋系统架构,操作系统,计算机科学,英文原版,
原作名:Principles of Computer System Design: An Introduction
作者:萨特泽/Saltzer
出版年月:2020-02-20 …
页数: 526页
最新访问:2020-03-14 …
网友评分: 8.6
经典好书《计算机系统设计原理》读书内容简介:设计的权威专家、美国麻省理工学院Saltzer和Kaashoek教授编写。《计算机系统设计原理(影印版)》是第一本阐述计算机系统设计中的基本原理和抽象的教材,是麻省理工开放式课程计划(MIT Open Courseware)中“计算机系统工程”课程的...
详情
标签:计算机科学,计算机,CS,计算机科学导论,计算机科学丛书,计算,科普,计算思维,
原作名:Great Principles of Computing
作者:Peter J. Denning
出版年月:2020-02-20 …
页数:None页
最新访问:2020-06-05 …
网友评分: 9.3
经典好书《伟大的计算原理/计算机科学丛书》读书内容简介:类计算原理(计算、通信、协作、记忆、评估和设计),旨在构建起一个框架帮助读者认识计算思维,领会其核心思想──计算原理的相互影响以及问题有效解决的思维方式,并将计算思维运用到计算机科学以外的其他领域。本书适合作为高等学校非计算机专业计算思维课程以及计算...
详情
标签:哲学,法国,梅洛-庞蒂,
原作名:
作者:莫里斯·梅洛-庞蒂
出版年月:2020-02-20 …
页数:None页
最新访问:2020-09-08 …
网友评分:
经典好书《可见的与不可见的》读书内容简介: 作者简介
详情