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

搜索资源列表

  1. 数理逻辑基础（希尔柏脱 阿克曼）

  2. 理论逻辑。又名数理逻辑或符号逻辑，是把数学上的开式方法应用到逻辑争议领域上去的结果。它在逻辑上使用一种形式语言，这语言在表示数学关系关系时早已使用。

  3. 所属分类：专业指导

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

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

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

  3. 所属分类：专业指导

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

  1. 数理逻辑基础（上册）

  2. 数理逻辑基础（上册）数理逻辑基础（上册）数理逻辑基础（上册）数理逻辑基础（上册）数理逻辑基础（上册）数理逻辑基础（上册）数理逻辑基础（上册）数理逻辑基础（上册）

  3. 所属分类：专业指导

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

  1. 数理逻辑基础（希尔柏脱++阿克曼）

  2. 数理逻辑基础（希尔柏脱++阿克曼）.pdf

  3. 所属分类：专业指导

    • 发布日期：2009-12-02
    • 文件大小：7mb
    • 提供者：firestar001

  1. 数理逻辑基础习题解答

  2. 数理逻辑基础习题解答数理逻辑基础习题解答数理逻辑基础习题解答数理逻辑基础习题解答数理逻辑基础习题解答数理逻辑基础习题解答数理逻辑基础习题解答

  3. 所属分类：专业指导

    • 发布日期：2010-02-28
    • 文件大小：106kb
    • 提供者：yecaca

  1. 数理逻辑基础（希尔柏脱 阿克曼）中译版

  2. 数理逻辑基础（希尔柏脱 阿克曼）的中译版。

  3. 所属分类：专业指导

    • 发布日期：2008-01-10
    • 文件大小：7mb
    • 提供者：howardxue

  1. 数理逻辑基础

  2. 数理逻辑基础 数理逻辑基础 数理逻辑基础

  3. 所属分类：专业指导

    • 发布日期：2008-01-26
    • 文件大小：2mb
    • 提供者：itbright

  1. 数理逻辑基础，数理逻辑基础

  2. 数理逻辑基础数理逻辑基础数理逻辑基础数理逻辑基础数理逻辑基础

  3. 所属分类：专业指导

    • 发布日期：2011-04-11
    • 文件大小：2mb
    • 提供者：liao_feixiong

  1. 数理逻辑基础,主要介绍逻辑推理方法。

  2. 数理逻辑又称符号逻辑、理论逻辑。它既是数学的一个分支，也是逻辑学的一个分支。是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。数理逻辑是数学基础的一个不可缺少的组成部分。虽然名称中有逻辑两字，但并不属于单纯逻辑学范畴。

  3. 所属分类：专业指导

    • 发布日期：2011-04-20
    • 文件大小：3mb
    • 提供者：yanguangchao

  1. 数理逻辑基础（希尔柏脱 阿克曼）

  2. 希尔柏脱 阿克曼 数理逻辑基础 命题演算 类演算 狭义谓词演算 广义谓词演算

  3. 所属分类：专业指导

    • 发布日期：2011-04-26
    • 文件大小：6mb
    • 提供者：judy0608

  1. 计算机基础4 图论 数理逻辑

  2. 计算机编程必备的数学基础知识！图论 数理逻辑

  3. 所属分类：专业指导

    • 发布日期：2011-05-07
    • 文件大小：5mb
    • 提供者：btx1296

  1. 面向科学的数理逻辑

  2. 这是中科院研究生院开展数理逻辑所使用的课本。讲解数理逻辑中的基础知识，很有参考价值。

  3. 所属分类：专业指导

    • 发布日期：2011-11-19
    • 文件大小：33mb
    • 提供者：account152878

  1. 数理逻辑基础

  2. 关于数理逻辑的基础知识，适合对数理逻辑基本知识需要了解的人

  3. 所属分类：专业指导

    • 发布日期：2011-12-16
    • 文件大小：2mb
    • 提供者：tw_310

  1. 数理逻辑基础（希尔柏脱+阿克曼）

  2. 数理逻辑基础教程 大师的经典之作 值得一读

  3. 所属分类：专业指导

    • 发布日期：2008-10-17
    • 文件大小：7mb
    • 提供者：wyh1215

  1. 数理逻辑基础（上册)

  2. 数理逻辑基础（上册数理逻辑基础（上册数理逻辑基础（上册

  3. 所属分类：讲义

    • 发布日期：2014-07-10
    • 文件大小：3mb
    • 提供者：sinat_17488815

  1. 数理逻辑基础

  2. 数理逻辑基础 希尔伯特 阿克曼

  3. 所属分类：讲义

    • 发布日期：2016-04-27
    • 文件大小：7mb
    • 提供者：qq_31458131

  1. 数理逻辑与范畴论应用（王世强）

  2. 数理逻辑是基础工具，研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注，擦除掉也不影响解释执行。类型标志就像xx编程规范，可以增强可读性正确性，减少bug。但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。

  3. 所属分类：其它

    • 发布日期：2017-12-04
    • 文件大小：4mb
    • 提供者：easterdev

  1. 通俗数理逻辑（符号逻辑）

  2. 一部不错的数理逻辑的书，讲的通俗易懂，是成为计算机顶级高手的必学书

  3. 所属分类：专业指导

    • 发布日期：2009-03-06
    • 文件大小：3mb
    • 提供者：feynman_canon

  1. 数理逻辑基础（希尔柏脱 阿克曼）

  2. 数理逻辑方面很好的参考书和教学用书,希望对大家有所帮助

  3. 所属分类：专业指导

    • 发布日期：2009-03-30
    • 文件大小：7mb
    • 提供者：amlixi

  1. 数理逻辑基础

  2. 数理逻辑课程的入门课件。讲解了数理逻辑这门课程的基础概念。

  3. 所属分类：讲义

    • 发布日期：2018-09-28
    • 文件大小：1mb
    • 提供者：qq_39114710
« 12 3 »