下载 >  课程资源 >  专业指导 > 逻辑的引擎 讲述逻辑的东西

逻辑的引擎 讲述逻辑的东西 评分:

马丁·戴维斯的书 pdf格式 10M 逻辑的美妙
2009-10-12 上传大小:10.32MB
想读
分享
收藏 (2) 举报
逻辑引擎

讲述的是现代计算机背后的哪些基本概念和发展出这些概念的人

立即下载
逻辑引擎 Engines of Logic

逻辑的引擎 Engines of Logic 马丁・戴维斯(Martin Davis)

立即下载
逻辑引擎 马丁·戴维斯

本书介绍了现代计算机背后的那些基本概念和发展这些概念的人,描写了莱布尼茨、布尔、费雷格、康托尔、希尔伯特、哥德尔、图灵等天才的生活和工作,讲述了数学家们如何在成果付诸应用之前很久就已经提出了其背后的思想。

立即下载
经典书籍---逻辑引擎

本书讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物,逐渐演变成今天轻巧而强大的能够完成各种任务的机器,在这整个过程中,其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中,我将讲述这些人的生活故事,并解释他们的部分思想。这些故事本身是引人入胜的,我希望读者们不仅能够喜欢它们,而且在读完之后能够更加了解计算机内部的秘密,同时对抽象思想的价值多一份敬意。    本书作者马丁·戴维斯是计算机科学发展史上的先区人物,曾对希尔伯特第十问题有过深入的研究。本书被誉从逻辑角度讲述计算机发展的最好的通俗

立即下载
逻辑引擎》[美]马丁·戴维斯著 张卜天译

本书讲述的是我们的现代计算机所基于的那些基本概念和发展出这些概念的人。计算机从二十世纪五十年代的塞满整个房间的庞然大物,逐渐演变成今天轻巧而强大的能够完成各种任务的机器,在这整个过程中,其背后的逻辑始终保持如一。这些逻辑概念是几个世纪以来数位天才思想家一步步发展出来的。在本书中,我将讲述这些人的生活故事,并解释他们的部分思想。这些故事本身是引人入胜的,我希望读者们不仅能够喜欢它们,而且在读完之后能够更加了解计算机内部的秘密,同时对抽象思想的价值多一份敬意。

立即下载
数字逻辑十字路口交通灯控制系统

1. 设计内容 十字路口交通灯规则为: 1) 初始状态为4个方向的红灯全亮,时间1s。 2) 东西方向绿灯亮,南北方向红灯亮,南北和东西方向右转向绿灯亮,时间30s。 3) 东西方向黄灯亮,南北方向红灯亮,南北和东西方向右转向红灯亮,时间5s。 4) 东西方向红灯亮,南北方向红灯亮,南北和东西方向右转向绿灯亮,南北左转向灯亮,时间20s。 5) 东西方向红灯亮,南北方向绿灯亮,南北和东西方向右转向绿灯亮,时间25s。 6) 东西方向红灯亮,南北方向黄灯亮,南北和东西方向右转向红灯亮,时间5s。 7) 东西方向红灯亮,南北方向黄灯亮,南北和东西方向右转向红灯亮,,东西方向左转向灯亮,时间20s。

立即下载
服务器引擎逻辑功能的相互调用

服务器引擎与逻辑功能之间通过相互的指针调用功能。 最近才开始写。希望能帮助到更多的人。 更新比较慢,可以先收藏下地址:http://blog.csdn.net/abc2258

立即下载
顶级推荐--逻辑编程大全

该书为逻辑方面的最权威的书籍,涵盖了一阶逻辑,时态逻辑,模态逻辑和描述逻辑等。 深入讲述了面向逻辑的编程语言,如Prolog等。 该书对于学习逻辑编程人员具有极大的帮助。

立即下载
逻辑封装规格 逻辑封装规格

逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格逻辑封装规格

立即下载
数字逻辑课件数字逻辑

数字逻辑数字逻辑数字逻辑数数字逻辑字逻辑数字数字逻辑逻辑

立即下载
会议室项目需求分析

会议室项目需求文档,主要讲述需求创建过程,功能描述,代码逻辑,数据库逻辑,整体开发过程等,极具参考价值

立即下载
数字逻辑 数字逻辑 数字逻辑

数字逻辑 数字逻辑 数字逻辑 数字逻辑 数字逻辑

立即下载
EXCEL函数应用方法大全

详细讲述了EXCEL中常用函数,包括逻辑函数,数学函数等等。

立即下载
程序员的思维修炼 开发认知潜能的九堂

讲述程序的编程逻辑思想,思维缜密性培养

立即下载
IOS开发神秘之物

很实用的东西,虽然实现过程复杂,锁屏的代码逻辑

立即下载
java核心逻辑pdf

讲述java核心逻辑 提升对java的理解

立即下载
IT笔试面试逻辑

逻辑题 逻辑题 逻辑题 逻辑题 逻辑题 逻辑题

立即下载
牛牛逻辑牛牛逻辑

主要实现牛牛的代买逻辑

立即下载
逻辑电平转换逻辑电平转换逻辑电平转换逻辑电平转换

逻辑电平转换逻辑电平转换逻辑电平转换逻辑电平转换

立即下载
数字逻辑实验和课程设计

数字逻辑实验数字逻辑实验数字逻辑数数字逻辑实验字逻辑实验实验数字逻辑实验

立即下载
img

spring mvc+mybatis+mysql+maven+bootstrap 整合实现增删查改简单实例.zip

资源所需积分/C币 当前拥有积分 当前拥有C币
5 0 0
点击完成任务获取下载码
输入下载码
为了良好体验,不建议使用迅雷下载
img

逻辑的引擎 讲述逻辑的东西

会员到期时间: 剩余下载个数: 剩余C币: 剩余积分:0
为了良好体验,不建议使用迅雷下载
VIP下载
您今日下载次数已达上限(为了良好下载体验及使用,每位用户24小时之内最多可下载20个资源)

积分不足!

资源所需积分/C币 当前拥有积分
您可以选择
开通VIP
4000万
程序员的必选
600万
绿色安全资源
现在开通
立省522元
或者
购买C币兑换积分 C币抽奖
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
为了良好体验,不建议使用迅雷下载
确认下载
img

资源所需积分/C币 当前拥有积分 当前拥有C币
3 0 0
为了良好体验,不建议使用迅雷下载
VIP和C币套餐优惠
img

资源所需积分/C币 当前拥有积分 当前拥有C币
5 4 45
您的积分不足,将扣除 10 C币
为了良好体验,不建议使用迅雷下载
确认下载
下载
您还未下载过该资源
无法举报自己的资源

兑换成功

你当前的下载分为234开始下载资源
你还不是VIP会员
开通VIP会员权限,免积分下载
立即开通

你下载资源过于频繁,请输入验证码

您因违反CSDN下载频道规则而被锁定帐户,如有疑问,请联络:webmaster@csdn.net!

举报

  • 举报人:
  • 被举报人:
  • *类型:
    • *投诉人姓名:
    • *投诉人联系方式:
    • *版权证明:
  • *详细原因: