注册会员 | 设为首页 | 加入收藏夹
您好，欢迎光临本网站！[请登录] ！[注册会员]！  

搜索资源列表

  1. A.G.汉密尔顿数理逻辑

  2. 每位数学家必定知道，对于不懂数学的人提出的关于他的工作的性质的询问。他的回答如何使谈话难以继续，逻辑学家在和数学家交往中，也认识到他的职业也会招致类似的对待。

  3. 所属分类：专业指导

    • 发布日期：2009-05-16
    • 文件大小：4mb
    • 提供者：lcxs138

  1. 逻辑的引擎00000

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

  3. 所属分类：专业指导

    • 发布日期：2009-08-21
    • 文件大小：4mb
    • 提供者：l3167038

  1. 训练逻辑思维的100道趣题

  2. 本书仅涉及逻辑趣题。其中的趣题都经过仔细筛选或精心设计（有许多是由作者或插图画家原创），使得其中没有一道会难得让那些并非数学家的普通读者解决不了，但同时也没有一道会太容易。这些题目叙述简明清晰，书后有准确的答案。不管你是否解决了它们，在解题过程中都会有很多的乐趣。

  3. 所属分类：专业指导

    • 发布日期：2009-09-13
    • 文件大小：3mb
    • 提供者：fengdavid

  1. 给讨厌数学的人（PDF）

  2. 讲述数学的历史 很有趣，但是为中国古代的数学家 遗憾，缺少逻辑分析、证明，更重要的是 没有指导生产实践

  3. 所属分类：专业指导

    • 发布日期：2009-09-30
    • 文件大小：4mb
    • 提供者：sunjiankirk

  1. 训练逻辑思维的100道趣题

  2. 《训练逻辑思维的100道趣题》是一本既有刺激性又有娱乐性的迷人趣题的结集。本书仅涉及逻辑趣题。其中的趣题都经过仔细筛选或精心设计（有许多是由作者或插图画家原创），使得其中没有一道会难得让那些并非数学家的普通读者解决不了，但同时也没有一道会太容易。这些题目叙述简明清晰，书后有准确的答案。不管你是否解决了它们，在解题过程中都会有很多的乐趣。

  3. 所属分类：专业指导

    • 发布日期：2010-04-10
    • 文件大小：3mb
    • 提供者：ap0203904

  1. 数学家的逻辑-hamilton

  2. 数学家的逻辑-hamilton, 老版经典

  3. 所属分类：专业指导

    • 发布日期：2010-08-26
    • 文件大小：7mb
    • 提供者：iddv

  1. IT生活 逻辑的引擎

  2. 这是一本适合数学系或计算机系本科生阅读的书，它会让你在乏味的学习之余体会到很多乐趣。对于我而言更是有“相逢恨晚”的感觉。它讲出了一些我所知道的东西，所以能看懂，也讲出了一些我不知道的东西，所以很有趣；但最重要的是，它引导我思考，让我明白了程序员“是谁，从哪里来”，但遗憾的是对“到哪里去” 讲的不多，毕竟这是一本关于逻辑学（数学）发展的历史的小书。全书以传记章节的形式介绍了从莱布尼茨、布尔等一直到图灵这些伟大人物的思想，到最终的冯. 诺依曼计算机结构的产生，这些数学家们已经为之准备了300多年。

  3. 所属分类：专业指导

    • 发布日期：2010-11-02
    • 文件大小：4mb
    • 提供者：loneleaf1

  1. 图灵机的演示ppt和软体示范

  2. 图灵机，又称确定型图灵机，是英国数学家阿兰·图灵于1936年提出的一种抽象计算模型，其更抽象的意义为一种数学逻辑机，可以看作等价于任何有限逻辑数学过程的终极强大逻辑机器。

  3. 所属分类：专业指导

    • 发布日期：2011-01-07
    • 文件大小：1003kb
    • 提供者：akacd

  1. 数学计算逻辑 卢汝铃

  2. 数学 计算 逻辑 计算机基础，讲的是有关计算机的数学基础知识。一个数学家写的。关于NP问题

  3. 所属分类：教育

    • 发布日期：2011-08-03
    • 文件大小：4mb
    • 提供者：bigfool_2011

  1. 数学家的逻辑

  2. 详细介绍了数理逻辑与集合论的相关知识，是一个很好的参考资料，能够培养个人的逻辑意识，使自己的思想更具有逻辑条理性

  3. 所属分类：教育

    • 发布日期：2012-02-25
    • 文件大小：7mb
    • 提供者：pcwyjm

  1. ACM图灵奖演讲集：前20年

  2. ACM图灵奖演讲集：前20年（1966-1985），感受大师的风采！ 图灵奖以伟大的英国数学家、逻辑学家图灵名字命名，是计算机科学届的最高奖项。

  3. 所属分类：教育

    • 发布日期：2013-01-06
    • 文件大小：16mb
    • 提供者：jieyuhumark

  1. java中集合容器的详细介绍

  2. 在常见用法中，集合（collection）和数学上直观的集（set）的概念是相同的。集是一个唯一项组，也就是说组中没有重复项。实际上，“集合框架”包含了一个 Set 接口和许多具体的 Set 类。但正式的集概念却比 Java 技术提前了一个世纪，那时英国数学家 George Boole 按逻辑正式的定义了集的概念。大部分人在小学时通过我们熟悉的维恩图引入的“集的交”和“集的并”学到过一些集的理论。

  3. 所属分类：Java

    • 发布日期：2009-03-07
    • 文件大小：119kb
    • 提供者：ewgfh

  1. 训练逻辑思维的100道趣题

  2. 本书仅涉及逻辑趣题。其中的趣题都经过仔细筛选或精心设计（有许多是由作者或插图画家原创），使得其中没有一道会难得让那些并非数学家的普通读者解决不了，但同时也没有一道会太容易。这些题目叙述简明清晰，书后有准确的答案。不管你是否解决了它们，在解题过程中都会有很多的乐趣。

  3. 所属分类：专业指导

    • 发布日期：2009-04-08
    • 文件大小：2mb
    • 提供者：yuanfencj

  1. 训练逻辑思维的100道趣题

  2. 训练逻辑思维的100道趣题》是一本既有刺激性又有娱乐性的迷人趣题的结集。本书仅涉及逻辑趣题。其中的趣题都经过仔细筛选或精心设计（有许多是由作者或插图画家原创），使得其中没有一道会难得让那些并非数学家的普通读者解决不了，但同时也没有一道会太容易。这些题目叙述简明清晰，书后有准确的答案。不管你是否解决了它们，在解题过程中都会有很多的乐趣。 --------------------------------------------------------------------------------

  3. 所属分类：专业指导

    • 发布日期：2009-04-24
    • 文件大小：2mb
    • 提供者：weidong15987

  1. 布尔代数和逻辑门

  2. 数字运算是由二进制数制系统完成的，而在二进制系统中变量 X的值只能为0或1。本章将 采用1 9世纪英国数学家乔治・布尔发展起来的开关代数来研究二进制数的行为。 此数学分支 包含在布尔代数的理论中，它是现代逻辑设计的基础

  3. 所属分类：其它

    • 发布日期：2018-08-01
    • 文件大小：931kb
    • 提供者：lemon_2014

  1. 北大tensorflow课程笔记

  2. Tensorflow 笔记：第一讲 概 述 一、 基本概念 1、什么是人工智能 人工智能的概念：机器模拟人的意识和思维 重要人物：艾伦·麦席森·图灵（Alan Mathison Turing） 人物简介：1912 年 6 月 23 日－1954 年 6 月 7 日，英国数学家、逻辑学家，被称 为计算机科学之父，人工智能之父。

  3. 所属分类：机器学习

    • 发布日期：2018-10-25
    • 文件大小：9mb
    • 提供者：lelr987

  1. 逻辑的引擎 马丁·戴维斯

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

  3. 所属分类：深度学习

    • 发布日期：2018-12-25
    • 文件大小：10mb
    • 提供者：mindhacklzx

  1. 高观点下的数学分析.pdf

  2. 数学分析的主要内容是微积分学，微积分学的理论基础是极限理论，极限理论的理论基础是实数理论。微积分学是微分学(Differential Calculus)和积分学(Integral Calculus)的统称，英语简称Calculus，意为计算，这是因为早期微积分主要用于天文、力学、几何中的计算问题。后来人们也将微积分学称为分析学（Analysis)，或称无穷小分析，专指运用无穷小或无穷大等极限过程分析处理计算问题的学问。 早期的微积分，已经被数学家和天文学家用来解决了大量的实际问题，但是由于无法对

  3. 所属分类：专业指导

    • 发布日期：2020-07-26
    • 文件大小：307kb
    • 提供者：weixin_47312141

  1. Algorithms-in-JavaScript-Design-techniques:udemy课程中的算法-源码

  2. Javascr ipt中的算法设计技术 算法复杂度取决于函数/算法处理多少数据以及算法随着输入大小增加而运行的速度。 用于分析复杂度的单位是： 基本操作数（时间复杂度） 内存插槽数量（空间复杂度） 大O表示法用于根据算法的运行时间或空间要求随输入大小的增长而对其进行分类。 示例复杂度值 O（1）恒定时间复杂度 O（log（N））对数时间复杂度 O（N）线性时间复杂度 O（N ** 2）二次时间复杂度 O（2 ** N）指数时间复杂度 O（N！）阶乘时间复杂度 当解决复杂性时，使用渐近分

  3. 所属分类：其它

  1. 基本逻辑运算

  2. 在分析和设计数字电路时，需要使用的一个数学工具是逻辑代数。逻辑代数也称为布尔代数，由英国数学家G.Boole提出。逻辑代数是按一定逻辑规律进行运算的代数。和普通代数一样也是用字母表示变量。逻辑代数中变量的含义与普通代数有着本质区别。　　逻辑代数中的变量通常称作逻辑变量。　　逻辑变量只有两个值(二元常量)，即0和1，没有中间值。　　0和1并不表示数量的大小，而是表示两种对立的逻辑状态，也就是逻辑零和逻辑壹。在逻辑代数中，有与、或、非三种基本逻辑运算。运算是一种函数关系，可以用语句、逻辑表达式描述、

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：57kb
    • 提供者：weixin_38696196
« 12 »