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

搜索资源列表

  1. 数理逻辑-精确化 数学化的形式逻辑

  2. 数理逻辑：是计算机科学的基础，应熟练掌握将现实生活中的条件化成逻辑公式，并能做适当的推理，这对程序设计等课程是极有用处的。

  3. 所属分类：专业指导

    • 发布日期：2009-08-19
    • 文件大小：486kb
    • 提供者：liujingyangfan

  1. 面向计算机科学的数理逻辑.pdf

  2. 面向计算机科学的数理逻辑.pdf 面向计算机科学的数理逻辑.pdf

  3. 所属分类：专业指导

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

  1. 面向计算机科学的数理逻辑系统建模与推理

  2. 面向计算机科学的数理逻辑系统建模与推理，(英文版) 介绍的内容包括逻辑表达，模型检测，程序验证等

  3. 所属分类：专业指导

    • 发布日期：2009-11-13
    • 文件大小：2mb
    • 提供者：yuxizi1987

  1. 计算机科学与技术专业计划

  2. 1、《模拟电子电路》 2、《数字逻辑电路》 3、《电路分析》 3、《计算机组成原理》 4、《程序设计基础》 5、《汇编语言课程》 6、《计算机导论》 7、《计算机辅助设计》 8、《人工智能》 9、《数据库系统原理课程》 10、《算法设计与分析》 11、《计算机网络原理》 12、《计算机网络实用技术》 13、《计算机图形学》 14、《面向对象程序设计》 15、《数据结构课程》 16、《网络互连技术》 17、《编译技术》 18、《操作系统》 19、《软件工程》

  3. 所属分类：网络基础

    • 发布日期：2010-01-08
    • 文件大小：316kb
    • 提供者：wandersss

  1. 面向计算机科学的数理逻辑

  2. 面向计算机科学的数理逻辑 陆钟万 PDF

  3. 所属分类：专业指导

    • 发布日期：2010-01-14
    • 文件大小：3mb
    • 提供者：wheniwasaboy

  1. 面向计算机科学的数理逻辑.

  2. 面向计算机科学的数理逻辑. 经典数理逻辑教程

  3. 所属分类：专业指导

    • 发布日期：2010-01-25
    • 文件大小：3mb
    • 提供者：liuwhy

  1. 面向计算机科学的数理逻辑

  2. 面向计算机科学的数理逻辑 logic in computer science

  3. 所属分类：专业指导

    • 发布日期：2010-01-27
    • 文件大小：11mb
    • 提供者：irobert0126

  1. 麻省理工的时序逻辑讲义

  2. 麻省理工的时序逻辑讲义。形象，深入，科学。

  3. 所属分类：专业指导

    • 发布日期：2010-01-29
    • 文件大小：2mb
    • 提供者：xjin2006

  1. 描述逻辑手册中文版的第一章和第二章加个人PPT

  2. 描述逻辑是一种知识表示的形式化语言，是一阶逻辑的可判定子集。作为一种知识表示的有效机制，描述逻 辑被广泛地应用到计算机科学的许多领域中。

  3. 所属分类：专业指导

    • 发布日期：2010-03-02
    • 文件大小：533kb
    • 提供者：wofy2008

  1. 面向计算机科学的数理逻辑

  2. 前言 绪论 第一章 预备知识 第二章 经典命题逻辑 第三章 经典一阶逻辑 第四章 可靠性和完备性 第五章 公理推演系统 第六章 构造性逻辑 第七章 模态命题逻辑 第八章 模态一阶逻辑 附录 自然推演中形式证明的简明形式 参考文献 符号表 名词表

  3. 所属分类：专业指导

    • 发布日期：2010-03-03
    • 文件大小：5mb
    • 提供者：r_iver

  1. 面向计算机科学的数理逻辑

  2. 相当全的关于计算机科学的数理逻辑，从入门到精通。从基本概念的解释，到熟练应用。

  3. 所属分类：专业指导

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

  1. 面向计算机科学的数理逻辑

  2. 面向计算机科学的数理逻辑 中国科学院 经典命题逻辑

  3. 所属分类：专业指导

    • 发布日期：2010-06-14
    • 文件大小：3mb
    • 提供者：qcaisuda

  1. 数字逻辑课程设计三路抢答器

  2. 一、设计题目 三路抢答器设计 二、设计目的 数字系统课程设计是一门独立课程、有独立学分的实践性教学环节，同“数字逻辑与数字系统”理论讲授课程有密不可分的关系，起着相辅相成的作用，也是在“数字逻辑与数字系统”课的基础上，进一步深化的实践环节。其主要目的是通过指导学生循序渐进地独立完成数字电路的设计任务，加深学生对理论知识的理解，提高学生的动手能力，独立分析、解决问题能力，协调能力和创造性思维能力。提高学生在数字电路应用方面的实践技能，树立严谨的科学作风，培养学生综合运用理论知识解决实际问题的能力

  3. 所属分类：专业指导

    • 发布日期：2010-07-04
    • 文件大小：598kb
    • 提供者：iijhy

  1. 北京大学数理逻辑课件

  2. 北京大学信息科学学院的数理逻辑课件全套，很详细地讲解了数理逻辑知识

  3. 所属分类：专业指导

    • 发布日期：2010-10-24
    • 文件大小：1mb
    • 提供者：Tuphie

  1. 数理逻辑PDF中科院

  2. 中科院 陆钟万老师的 面向计算机科学的数理逻辑

  3. 所属分类：专业指导

    • 发布日期：2010-11-13
    • 文件大小：3mb
    • 提供者：jiangtao2761

  1. 面向计算机科学的数理逻辑系统建模与推理 中文版 logic in computer science

  2. 面向计算机科学的数理逻辑系统建模与推理（原书第二版） 绝对中文版

  3. 所属分类：专业指导

    • 发布日期：2010-11-21
    • 文件大小：11mb
    • 提供者：tianshuo001

  1. 概率论--科学逻辑

  2. 不错的资料. 概率论方面很好的书籍，看了以后可以增加对概率论的理解，从而更好地掌握相关知识

  3. 所属分类：专业指导

    • 发布日期：2011-12-19
    • 文件大小：7mb
    • 提供者：gsmcy

  1. 《科学发现的逻辑》波珀与《科学发现的逻辑》

  2. 目　录 波珀与《科学发现的逻辑》 第一部分 科学逻辑导论 第一章　对于若干基本问题的考察 第二章　论科学方法理论问题 第二部分 经验理论的若干结构要素 第三章　理论 第四章　可证伪性 第五章　经验基础问题 第六章　可检验度 第七章　简单性 第八章　概率(一) 第八章　概率(二) 第八章　概率（三） 第九章　对量子论的若干意见 第十章　验证或理论如何经受住检验

  3. 所属分类：专业指导

    • 发布日期：2008-09-23
    • 文件大小：518kb
    • 提供者：xueyeyangpp

  1. 计算机科学逻辑题

  2. 计算机科学逻辑题汇总，总结了离散数学里面用到的逻辑。作为自考素材

  3. 所属分类：讲义

    • 发布日期：2018-10-09
    • 文件大小：829kb
    • 提供者：qq_43364570

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

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

  3. 所属分类：其它

    • 发布日期：2021-02-08
    • 文件大小：39kb
    • 提供者：weixin_42099116
« 12 3 4 5 6 7 8 9 10 ... 30 »