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

搜索资源列表

  1. 高级数理逻辑 教案 北京邮电

  2. 逻辑是探索、阐述和确立有效推理原则的学科，最早由古希腊学者亚里士多德创建的。用数学的方法研究关于推理、证明等问题的学科就叫做数理逻辑。也叫做符号逻辑。 数理逻辑的内容： 1、 命题逻辑系统 2、 一阶谓词逻辑系统 命题演算是研究关于命题如何通过一些逻辑连接词构成更复杂的命题以及逻辑推理的方法。命题是指具有具体意义的又能判断它是真还是假的句子。

  3. 所属分类：专业指导

    • 发布日期：2009-11-23
    • 文件大小：783360
    • 提供者：haha0832

  1. 高级数理逻辑课件下载

  2. 高级数理逻辑课件下载，包含7章内容和绪论，含丰富的例题

  3. 所属分类：专业指导

    • 发布日期：2009-12-30
    • 文件大小：8388608
    • 提供者：lzjstxd1

  1. 高级数理逻辑 模糊逻辑

  2. 高级数理逻辑相关的课程中的模糊逻辑，对模糊逻辑有了大致的分析

  3. 所属分类：网络管理

    • 发布日期：2012-04-10
    • 文件大小：430080
    • 提供者：whqneptune

  1. 高级数理逻辑课件PPT

  2. 西交大的课件。不错 很好的 课件哦 有时间看看啊看看阿奎

  3. 所属分类：专业指导

    • 发布日期：2012-05-03
    • 文件大小：45088768
    • 提供者：ymecho

  1. 高级数理逻辑第一章

  2. 高级数理逻辑的第一章，介绍了高级数理逻辑的发展，及相关应用~

  3. 所属分类：专业指导

    • 发布日期：2012-12-30
    • 文件大小：352256
    • 提供者：mibunuo

  1. 高级数理逻辑第二章

  2. 高级数理逻辑第一章，数理逻辑划分，及现代逻辑体系

  3. 所属分类：专业指导

    • 发布日期：2012-12-30
    • 文件大小：6291456
    • 提供者：mibunuo

  1. 高级数理逻辑第三章

  2. 高级数理逻辑第三章：命题演算，及其在计算机中的应用

  3. 所属分类：专业指导

    • 发布日期：2012-12-30
    • 文件大小：1048576
    • 提供者：mibunuo

  1. 高级数理逻辑第四章

  2. 高级数理逻辑第四章：谓词演算和一阶逻辑，一阶逻辑谓词

  3. 所属分类：专业指导

    • 发布日期：2012-12-30
    • 文件大小：13631488
    • 提供者：mibunuo

  1. 高级数理逻辑第五章

  2. 高级数理逻辑第五章：讲述模态逻辑，可能、必然与任意、存在的关系

  3. 所属分类：专业指导

    • 发布日期：2012-12-30
    • 文件大小：3145728
    • 提供者：mibunuo

  1. 高级数理逻辑第六章

  2. 高级数理逻辑第六章：时态逻辑的发展历史及详细内容

  3. 所属分类：专业指导

    • 发布日期：2012-12-30
    • 文件大小：717824
    • 提供者：mibunuo

  1. 高级数理逻辑第七章

  2. 高级数理逻辑第七章：λ-演算（Lambda 演算）；λ-演算是一套用于研究函数定义、函数应用和递归的形式系统

  3. 所属分类：专业指导

    • 发布日期：2012-12-30
    • 文件大小：575488
    • 提供者：mibunuo

  1. 高级数理逻辑第八章

  2. 高级数理逻辑第八章：模糊逻辑；并不是说逻辑本身是模糊的，而是指用来描述模糊的逻辑。模糊逻辑是模糊集的理论，模糊集能够校正含糊的知识

  3. 所属分类：专业指导

    • 发布日期：2012-12-30
    • 文件大小：7340032
    • 提供者：mibunuo

  1. 高级数理逻辑第八章（续）

  2. 高级数理逻辑第八章（续）：模糊逻辑的基本思想是任何事情都允许有一定的程度。

  3. 所属分类：专业指导

    • 发布日期：2012-12-30
    • 文件大小：15728640
    • 提供者：mibunuo

  1. 高级数理逻辑

  2. 高级数理逻辑课件，有关公式公理什么的~学计算机的同学可能用到，研究生阶段的课程

  3. 所属分类：C/C++

    • 发布日期：2013-11-07
    • 文件大小：129024
    • 提供者：lylingjs

  1. 高级人工智能，数理逻辑

  2. 国科大高级人工智能，数理逻辑，形式推演。台湾大学 于天立教授 “人工智慧”课程

  3. 所属分类：深度学习

    • 发布日期：2018-11-14
    • 文件大小：4194304
    • 提供者：zhangyuhui110

  1. 高级数理逻辑

  2. 北京邮电大学学硕和专硕的高级数理逻辑课件（学硕是word文档错误较多难度较大）（专硕是ppt比较实用容易理解）

  3. 所属分类：机器学习

    • 发布日期：2019-01-02
    • 文件大小：49283072
    • 提供者：qq_34419607

  1. 北邮-高级数理逻辑全套资料

  2. 北邮全套的研究生高级数理逻辑资料哦，还有个人整理的部分试卷答案，资源丰富。

  3. 所属分类：讲义

    • 发布日期：2019-01-24
    • 文件大小：62914560
    • 提供者：qq_22839875

  1. “累值制”数理逻辑及其编码、组合编码之研究

  2. “累值制”数理逻辑及其编码、组合编码之研究，张启斌，，“累值制”是人类初年使用的一种近乎自然的、形象的计数体制，现在通行的“位值制”即是在累值制基础上建立起来的一种高级的、抽

  3. 所属分类：其它

    • 发布日期：2020-02-18
    • 文件大小：389120
    • 提供者：weixin_38682406

  1. 高级数理逻辑试卷参考答案-附件资源

  2. 高级数理逻辑试卷参考答案-附件资源

  3. 所属分类：互联网

  1. 高级数理逻辑试卷参考答案-附件资源

  2. 高级数理逻辑试卷参考答案-附件资源

  3. 所属分类：互联网

« 12 »