只为小站
首页
域名查询
文件下载
登录
《逻辑的引擎》[美]
马丁·戴维斯
著 张卜天译
本书讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物,逐渐演变成今天轻巧而强大的能够完成各种任务的机器,在这整个过程中,其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中,我将讲述这些人的生活故事,并解释他们的部分思想。这些故事本身是引人入胜的,我希望读者们不仅能够喜欢它们,而且在读完之后能够更加了解计算机内部的秘密,同时对抽象思想的价值多一份敬意。
2019-12-21 20:10:50
10.33MB
逻辑
思维
马丁·戴维斯
1
个人信息
点我去登录
购买积分
下载历史
恢复订单
热门下载
毕业设计:基于Python的网络爬虫及数据处理(智联招聘)
安卓开发期末大作业----单词本(源码,任务书,大报告,apk文件)(基于andord studio)
MAC OS.X.10.8.iso 镜像文件
DBSCAN算法Matlab实现
MPC 模型预测控制matlab仿真程序
新型冠状病毒疫情_2020年东三省数学建模A题_论文展示
机械臂碰撞检测 八组逆解碰撞检测 机械臂避障路径规划
股票价格预测-LSTM-TCN-GBDT:使用四种算法(LSTM,TCN,GRU,GBDT)进行股票价格的预测和预测结果的检验。有四种算法(LSTM,TCN,GRU,GBDT)用于预测股价并检验预测结果-源码
android开发期末大作业.zip
房价预测的BP神经网络实现_python代码
DS证据理论的MATLAB案例程序源代码
Vivado永久激活license(亲测可用)包(搜集的全部可用LICENSE)
Academic+Phrasebank+2021+Edition+_中英文对照.pdf
多智能体的编队控制matlab程序(自己编写的,可以运行)
西门子逻辑控制设计开发_3部10层
最新下载
管调通V2.15.apk
IPv4 CIDR地址计算器
虚拟声卡 Virtual Audio Cable V4.10(无女trail音+原理说明)
Matlab 薛定宇教授 Ctrllab3.1 工具箱
中国科学院大学模式识别期末考试复习资料+题目
《魔塔》游戏c++源代码
2ASK数字调制、解调系统的设计
深入浅出的GB28181.pdf
EasyDarwin-linux-8.1.0-1901141151.tar.gz.zip
OPAC4.0版本完成编译软件包,包含opac.exe,可直接使用
其他资源
算法导论全套PPT(含答案)讲义
WPF 与 WinForm 调用系统右键菜单/资源管理器右键菜单/桌面右键菜单示例
Qt5实现的一个mvc的例子
电力系统继电保护课件
unity3d做的3dmax人物模型(有走,跑等动作)
ofdm系统matlab仿真源代码
html模仿微信支付页面
javase基础和知识点总结包含xmind文件
三种可用spd编辑软件,内存维修、超频工具
scrapy_settings.py
MATLAB源码集锦-动态聚类或迭代自组织数据分析算法(ISODATA)
可行性研究报告模板.doc
arduino1602屏幕滚动显示
WCF分布式事务配置(文档+Demo)
傀儡扫描注入
java社区医院挂号系统Java实用源码整理learns
Seamless R and C++ Integration with Rcpp
Time Series Analysis With Applications in R (Springer)
分页插件--pagination
24小时365天不间断服务:服务器基础设施核心技
一种基于直方图的可逆数字水印算法
算法I-IV(C++)
ios-animations by tutorails