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

搜索资源列表

  1. 形式化方法 计算机中的逻辑学原理ppt

  2. 个人讲课时做的ppt，涵盖动态逻辑主要内容

  3. 所属分类：专业指导

    • 发布日期：2010-04-05
    • 文件大小：3145728
    • 提供者：ccyndi

  1. IT生活 逻辑的引擎

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

  3. 所属分类：专业指导

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

  1. 逻辑学导论

  2. 掌握逻辑学必备的书籍，学习计算机科学，如果不看逻辑学，你会后悔的。正是有了逻辑学的发展，才有有今天计算机科学的进步！

  3. 所属分类：专业指导

    • 发布日期：2011-12-20
    • 文件大小：47185920
    • 提供者：mengtnt

  1. GCT逻辑学课件

  2. 逻辑学是现代生活中必不可少的知识，对于数学、计算机等学科更是如此。我特地找到一份比较好的参考资料，供各位爱好者使用。

  3. 所属分类：教育

    • 发布日期：2012-10-24
    • 文件大小：7340032
    • 提供者：billroomly

  1. GCT逻辑学课件之分析推理

  2. 逻辑学是现代生活中必不可少的知识，对于数学、计算机等学科更是如此。我特地找到一份比较好的参考资料，供各位爱好者使用。

  3. 所属分类：教育

    • 发布日期：2012-10-24
    • 文件大小：2097152
    • 提供者：billroomly

  1. GCT逻辑学课件之论证推理

  2. 逻辑学是现代生活中必不可少的知识，对于数学、计算机等学科更是如此。我特地找到一份比较好的参考资料，供各位爱好者使用。

  3. 所属分类：教育

    • 发布日期：2012-10-24
    • 文件大小：7340032
    • 提供者：billroomly

  1. 穿越计算机的迷雾

  2. 本书从最基本的电学知识开始，带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读本书，读者可以很容易地理解自动计算实际上是如何发生的，而现代的计算机又是怎么工作的。

  3. 所属分类：其它

    • 发布日期：2012-12-05
    • 文件大小：17825792
    • 提供者：wongkakui520

  1. 穿越计算机的迷雾

  2. 从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读本书，读者可以很容易地理解自动计算实际上是如何发生的，而现代的计算机又是怎么工作的。

  3. 所属分类：桌面系统

    • 发布日期：2013-01-04
    • 文件大小：17825792
    • 提供者：yuzengyuan

  1. 穿越计算机的迷雾

  2. 《穿越计算机的迷雾》从最基本的电学知识开始，带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读《穿越计算机的迷雾》，读者可以很容易地理解自动计算实际上是如何发生的，而现代的计算机又是怎么工作的。以此为基础，在《穿越计算机的迷雾》的后面集中介绍了现代计算机的组成和主要功能，以及计算机核心与外部设备的接口，并对以操作系统为核心的软件进

  3. 所属分类：互联网

    • 发布日期：2013-03-27
    • 文件大小：17825792
    • 提供者：pclove57

  1. 穿越计算机的迷雾

  2. 《穿越计算机的迷雾》从最基本的电学知识开始，带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读《穿越计算机的迷雾》，读者可以很容易地理解自动计算实际上是如何发生的，而现代的计算机又是怎么工作的。

  3. 所属分类：其它

    • 发布日期：2013-04-05
    • 文件大小：17825792
    • 提供者：devil_fox

  1. 穿越计算机的迷雾

  2. 本书从最基本的电学知识开始，带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读本书，读者可以很容易地理解自动计算实际上是如何发生的，而现代的计算机又是怎么工作的。 以此为基础，在本书的后面集中介绍了现代计算机的组成和主要功能，以及计算机核心与外部设备的接口，并对以操作系统为核心的软件进行了介绍。

  3. 所属分类：硬件开发

    • 发布日期：2013-11-14
    • 文件大小：17825792
    • 提供者：zz1601620281

  1. 逻辑学导论

  2. 逻辑学导论，计算机离散数学的前提辅助课程。本教程字体清晰，内容翔实，对个人逻辑思维能力的培养有比较重要的作用。

  3. 所属分类：外包

    • 发布日期：2014-04-08
    • 文件大小：2097152
    • 提供者：u013555913

  1. 计算机中的逻辑学

  2. 课程《计算机中的逻辑学》，结课论文。摘要：近年来, 随着计算机技术的不断发展, 计算机科学的发展日新月异。在计算机科学巨大成就的背后, 逻辑学在计算机科学中的作用是巨大的。本文将从逻辑学在计算机科学中的应用问题进行分析, 阐述逻辑学在计算机产生和发展中奠定基础及对计算机发展所起的促进作用。

  3. 所属分类：网络管理

    • 发布日期：2015-03-19
    • 文件大小：30720
    • 提供者：as62298961

  1. 计算机科学的基础

  2. 本书以传统计算机科学课程的方式，将数据结构方面的初级课程（也就是CS2课程）与离散数学课程结合在一起。我们相信，出于如下两个原因，这些主题的整合是十分必要的。 1. 把数学与计算科学更加紧密地联系起来，有助于激发对数学的兴趣。 2. 计算科学与数学是相辅相成的。这样的例子包括，第2章中递归程序设计与数学归纳法之间的关系，第14章，逻辑学中自由/约束变量的区别与程序设计语言中变量范围之间的关系。此外，与启发性程序设计作业有关的建议纵贯全书。

  3. 所属分类：专业指导

    • 发布日期：2015-08-27
    • 文件大小：13631488
    • 提供者：gongzaiwenzi

  1. 计算机科学中的现代逻辑学

  2. 计算机科学中的现代逻辑学王元元，非常经典

  3. 所属分类：教育

    • 发布日期：2016-07-24
    • 文件大小：11534336
    • 提供者：mark_tanlixing

  1. 穿越计算机的迷雾-思维导图

  2. 从最基本的电学知识开始，带领读者一步一步、从无到有地制造一台能全自动工作的计算机。在这个过程中，读者可以学习到大量有趣的电学、数学和逻辑学知识，了解到它们是如何为电子计算机的产生创造条件，并促使它不断向着更快、更小、更强的方向发展。通过阅读本书，读者可以很容易地理解自动计算实际上是如何发生的，而现代的计算机又是怎么工作的。

  3. 所属分类：讲义

    • 发布日期：2017-09-05
    • 文件大小：631808
    • 提供者：shanchuan2012

  1. 计算机逻辑学PDF及PPT

  2. 研究生计算机逻辑学课程中文PDF以及英文PPT 研究生计算机逻辑学课程中文PDF以及英文PPT

  3. 所属分类：讲义

    • 发布日期：2018-01-05
    • 文件大小：13631488
    • 提供者：u014276869

  1. 计算机科学中的现代逻辑学王元元

  2. 计算机科学中的现代逻辑学王元元，适合研究生博士生学习

  3. 所属分类：其它

    • 发布日期：2018-01-11
    • 文件大小：24117248
    • 提供者：u011314012

  1. 一种求解Ramsey数的DNA计算机算法

  2. Ramsey理论是组合数学中一个庞大而又丰富的领域,在集合论、逻辑学、分析以及代数学上具有极重要的应用.Ramsey数的求解是非常困难的,迄今为止只求出9个Ramsey数的准确值.探讨了DNA生物分子超级计算在求解这一困难数学问题的可能性.将Adleman-Lipton模型生物操作与粘贴模型解空间相结合的DNA计算模型进行扩展,在许进等人提出来的位序列编码方法的基础上,提出一种用于求解Ramsey数的DNA计算模型与算法.从下界开始,直到上界,每次产生问题的解空间,然后根据Ramsey数的定义,

  3. 所属分类：其它

    • 发布日期：2021-02-24
    • 文件大小：913408
    • 提供者：weixin_38670707

  1. 计算机科学逻辑项目：计算机科学逻辑学的最终项目-源码

  2. 计算机科学逻辑项目 计算机科学逻辑学的最终项目； main.py中的算法。 分行：主要 对： 雷南·罗丝诺·多斯·桑托斯 通知 原始项目：在巴西的尼加拉瓜，墨西哥的最高人民法院。 阿塞米·克·塞里亚·卡达斯特拉多·塞梅斯特·波兹 观察：哥斯达黎加执行长不列颠哥伦比亚省，哥斯达黎加人遗嘱，阿斯达科省德斯科布里岛或科多哥或米哈基纳省。 没有任何遗言，没有任何证据。 Alémdisso，acredito que seja porque estou trabalhando com字符串，利用est e

  3. 所属分类：其它

    • 发布日期：2021-02-08
    • 文件大小：39936
    • 提供者：weixin_42099116
« 12 »