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

搜索资源列表

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

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

  3. 所属分类：专业指导

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

  1. 常用集成门电路的逻辑符号对照表

  2. 比较全的两张常用集成门电路的逻辑符号对照表

  3. 所属分类：专业指导

    • 发布日期：2009-05-19
    • 文件大小：114kb
    • 提供者：twinboy315

  1. 离散数学实验 计算逻辑表达式真值

  2. 输入待计算的逻辑表达式及变元的真值，计算该表达式的真值。 支持的逻辑运算包括 否定 ！ 合取 + 析取 － 蕴含 # 等价 $ 输入时用上面相应的符号表示。输入的表达式中每个逻辑运算符及其相应的操作数结合在一起用一对圆括号括起来。 例如： 输入表达式：((!((a+b)#(a-b)))$c) 输入a的真值： 1 输入b的真值： 0 输入c的真值： 0 计算的结果：？ 提示：利用栈完成。

  3. 所属分类：C

    • 发布日期：2009-06-18
    • 文件大小：3kb
    • 提供者：adidi07

  1. 《数理逻辑（修订版·影印版）》

  2. 数理逻辑又称符号逻辑、理论逻辑。它是数学的一个分支，是用数学方法研究逻辑或形式逻辑的学科。其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。

  3. 所属分类：专业指导

    • 发布日期：2009-07-18
    • 文件大小：3mb
    • 提供者：guoln523

  1. 数字电路逻辑符号 书

  2. 是样本数字电路逻辑符号方面的书 欢迎大家来下 一块进步 下午大家来讨论

  3. 所属分类：专业指导

    • 发布日期：2009-08-27
    • 文件大小：168kb
    • 提供者：llshu123

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

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

  3. 所属分类：专业指导

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

  1. 组成原理课程设计：：功能：实现逻辑运算（逻辑非，逻辑加。。）定点整数的单符号位补码加减法，定点整数的原码一位乘法，浮点数的加减运算

  2. 实现逻辑运算（逻辑非，逻辑加。。）定点整数的单符号位补码加减法，定点整数的原码一位乘法，浮点数的加减运算

  3. 所属分类：专业指导

    • 发布日期：2010-01-04
    • 文件大小：34kb
    • 提供者：windy8081

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

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

  3. 所属分类：专业指导

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

  1. 彩灯控制器逻辑电路设计

  2. 数码管显示，自动显示数字队列0、1、2、、、、、、9（自然数列），1、3、5、7、9（奇数列），0、2、4、6、8（偶数列）和0、1、2、3、4、5、6、7、0、1（音乐符号数列），然后又依次显示同上数列，不断循环。

  3. 所属分类：Java

    • 发布日期：2010-03-22
    • 文件大小：125kb
    • 提供者：bingdao4335

  1. 常用集成门电路的逻辑符号对照表（全）

  2. 常用集成门电路的逻辑符号对照表，有2张，比较全的

  3. 所属分类：专业指导

    • 发布日期：2010-03-24
    • 文件大小：114kb
    • 提供者：lw30402048

  1. 门电路逻辑功能测试实验

  2. 1. 验证常用TTL集成门电路. 2. 掌握各种门电路的逻辑符号. 3. 了解集成电路的外引线排列及其使用方法. 4. 熟悉TDH-1型数字实验箱的使用

  3. 所属分类：专业指导

    • 发布日期：2010-03-24
    • 文件大小：93kb
    • 提供者：baoqiuqiu

  1. 常用数字逻辑符号对照表

  2. 逻辑符号对照表，里面包括符号名称：国标符号，常用符号，国际流行符号，IEEE逻辑符号

  3. 所属分类：专业指导

    • 发布日期：2010-04-05
    • 文件大小：57kb
    • 提供者：xiaolangshou

  1. 基本的逻辑门逻辑符号

  2. 基本逻辑门逻辑符号，对电子技术等学科的学生有很大的帮助。可以作为笔记。有与非门，异或门等。

  3. 所属分类：专业指导

    • 发布日期：2010-05-06
    • 文件大小：170kb
    • 提供者：tushurong

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

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

  3. 所属分类：专业指导

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

  1. 符号逻辑资料

  2. 符号逻辑学经典资料，数学计算机相关资料，基础书籍，共计算机相关人员阅读

  3. 所属分类：专业指导

    • 发布日期：2013-01-01
    • 文件大小：27mb
    • 提供者：liyanan0904

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

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

  3. 所属分类：专业指导

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

  1. 命题逻辑(数理逻辑)

  2. 数理逻辑是用数学方法研究思维规律的一门学科。所谓数学方法是指:用一套数学的符号系统来描述和 处理思维的形式与规律。因此, 数理逻辑又称为符号逻辑。本章介绍数理逻辑中最基本的内容命题逻辑。首先引入命题、命题公式等概念。然后,在此基础上研究命题公式间的等值关系和蕴含关系,并给出推理规则,进行命题演绎。

  3. 所属分类：专业指导

    • 发布日期：2009-03-23
    • 文件大小：850kb
    • 提供者：xanthecc

  1. ValidArgumentChecker:通过命令行检查一阶符号逻辑参数的有效性-源码

  2. ValidArgumentChecker 通过命令行检查一阶符号逻辑参数的有效性。 指示 在提示符下键入逻辑自变量或表达式，然后按Enter。 将评估该参数的逻辑有效性（即通过真值表的重言式），并将结果打印到控制台。 句法 aZ -命题( ) -括号~ -不& -和| -或> -if-then = -当且仅当 笔记 运算符优先级如上所示。 可以自由使用空格以提高可读性。 重复 为了方便起见，为此项目存在一个副本。 如果您想查看一下，请点击。

  3. 所属分类：其它

  1. 学习知识图谱推理的符号逻辑规则（来自MILA-唐建）

  2. 在这次演讲中，我将介绍我们在学习知识图推理逻辑规则方面的最新进展。逻辑规则在用于预测和推广到其他任务时提供了可解释，因此是学习的关键。现有的方法要么面临在大搜索空间中搜索的问题(如神经逻辑编程)，要么由于稀疏奖励而无效优化(如基于强化学习的技术)。为了解决这些局限性，本文提出了一个称为RNNLogic的概率模型。

  3. 所属分类：机器学习

    • 发布日期：2021-02-15
    • 文件大小：2mb
    • 提供者：syp_net

  1. helenmeskhidze.github.io:符号逻辑简介| 卡尔纳普文档-源码

  2. helenmeskhidze.github.io:符号逻辑简介| 卡尔纳普文档

  3. 所属分类：其它

    • 发布日期：2021-03-30
    • 文件大小：301mb
    • 提供者：weixin_42129005
« 12 3 4 5 6 7 8 9 10 ... 50 »