当前位置:首页 > 逻辑自学参考相关PDF电子书下载
-
面向计算机科学的数理逻辑 系统建模与推理 modelling and reasoning about systems
(德)Michael Huth,(英)Mark Ryan著;何伟,樊磊译2007 年出版277 页ISBN:7111213971本书对计算机科学方面的数理逻辑进行了综合介绍,涵盖了命题逻辑、谓词逻辑、模态逻辑与代理、二叉判定图、模型检测和程序验证等内容。本书主要讨论有关软件和硬件规范和验证这一主题,反映了计算机科学中数理...
-
孵化未来 移动互联时代的孵化器运营逻辑
梅晨斐著2018 年出版242 页ISBN:9787308177283在当前的创业与投资热潮中,作为互联网创业背后最有力的助推者,互联网品牌孵化器开始进入人们的视野,但是大部分人都远远低估了做好一个孵化器的难度!如今,市面上虽然已有一些关于孵化器的读物,但大多停留在理论.....
-
知识逻辑下的企业组织设计与优化
王皓著2018 年出版173 页ISBN:9787513649971知识经济已经成为现实,其对企业生存与发展、企业管理理论和实践的影响是全方位的。知识日益成为决定企业生存与发展、企业市场竞争力的决定性因素,企业的可持续竞争优势的源泉不再由物质资产决定,而转由与知识...
-
中老年人学英语 零基础自学入门与提高 大字版
优尼创新外语研发中心编著2016 年出版225 页ISBN:9787517044482本书以老年人的日常生活为背景,讲述了老年人在交往、出行、闲暇时间以及打电话、生病、意外和乘飞机回国等各个场景下最常用的单词、句子和对话,每个篇章下有多个主题,每个主题下也都有必备的关键单词。本书使...
-
TArch 2014天正建筑设计完全自学手册 第2版
李波等编著2014 年出版389 页ISBN:9787111479000本书以TArch 2014 版本为基础,共分为两个部分12章节,包括TArch 2014天正建筑软件概述,轴网和柱子的绘制与编辑,墙体和门窗的创建与编辑,房间和屋顶的绘制与编辑,楼梯与附属构件的创建,文字与表格的创建与编辑,尺寸...