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

搜索资源列表

  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. 常用集成门电路的逻辑符号对照表，有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. 单片机c语言逻辑汇总

  2. 51系列单片机c语言程序设计、c语言逻辑符号汇总。希望对大家有用！！

  3. 所属分类：C

    • 发布日期：2010-07-19
    • 文件大小：17kb
    • 提供者：czc568

  1. 数字逻辑实验教程的一些方法

  2. 有关实验的教程 2． 负边沿JK触发器功能测试 双负边沿JK触发器74LS112芯片的逻辑符号如下图所示，通过实验填写下表。 1 -Sd -Rd CP J K Qn Qn+1 0 1 X X X X 1 0 X X X X 1 1 ↓ 0 X X 1 1 ↓ 1 X 0 1 1 ↓ X 0 1 1 1 ↓ X 1 1 五、实验报告 1． 记录、整理实验内容并填表； 2． 总结各类触发器的特点。

  3. 所属分类：嵌入式

    • 发布日期：2008-11-26
    • 文件大小：86kb
    • 提供者：zfjjj0

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

  2. 常用集成门电路的逻辑符号对照表,里面包括各种逻辑门电路符号

  3. 所属分类：专业指导

    • 发布日期：2009-03-10
    • 文件大小：61kb
    • 提供者：lw30402048

  1. Multisim数字逻辑电路符号

  2. Multisim下与或非等数字逻辑符号的元件名称及逻辑转换器的使用方法，对数电的逻辑学习很有帮助。

  3. 所属分类：硬件开发

    • 发布日期：2018-04-14
    • 文件大小：1mb
    • 提供者：qq_41995282

  1. 数字电路逻辑符号大全

  2. 本文主要对数字电路逻辑符号进行了汇总，希望对你的学习有所帮助。

  3. 所属分类：其它

    • 发布日期：2020-07-15
    • 文件大小：110kb
    • 提供者：weixin_38601878

  1. 关于三态门电路逻辑符号

  2. 本文主要讲了一下关于三态门电路逻辑符号，希望对你的学习有所帮助。

  3. 所属分类：其它

    • 发布日期：2020-07-20
    • 文件大小：15kb
    • 提供者：weixin_38592502

  1. 不同类型触发器逻辑功能的函数描述方法

  2. 在数学上，我们有三种描述函数的方法：公式、表格和图形。同样，我们有三种描述触发器逻辑功能的方法，一是特性方程，二是特性表，三是状态转换图【图1，2， 3，4】 图1 RS触发器的状态转换图 图2 JK触发器的状态转换图 图3 T触发器的状态转换图和逻辑符号 图4 D触发器的状态转换图 　　特性表实际上是一种特殊的真值表，它对触发器的描述十分具体。这种真值表的输入变量（自变量）除了数据输入外，还有触发器的初态，而输出变量（因变量）则是触发器的次态。特性方程是从特性表归纳出

  3. 所属分类：其它

    • 发布日期：2020-11-06
    • 文件大小：61kb
    • 提供者：weixin_38551749

  1. 元器件应用中的基本逻辑门电路实验原理

  2. 1．正负逻辑的概念 　　在数字电路中，逻辑“1”与逻辑“0”可表示两种不同电平的取值，根据实际取值的不同，有正、负逻 辑之分。正逻辑中，高电平用逻辑“1”表示，低电平用逻辑“0”表示；负逻辑中，高电平用逻辑“0” 表示，低电平用逻辑“1”表示。 　　2．门电路的基本功能 　　数字电路中的四种基本操作是与、或、非及触发器操作，前三种为组合电路，后一种为时序电路。与非 、或非和异或的操作仍然是与、或、非的基本操作。与、或、非、与非、或非和异或等基本逻辑门电路为 常用的门电路，它们的逻辑符号、逻

  3. 所属分类：其它

    • 发布日期：2020-11-17
    • 文件大小：206kb
    • 提供者：weixin_38534444

  1. 基于时态认知逻辑的Web服务模型检测

  2. 传统模型检测技术主要采用时态逻辑描述被验证的规范,人们较少注意多智能体认知逻辑的模型检测问题。而在分布式系统领域,系统和协议的规范很适合用认知逻辑来描述。Web服务是一个典型的分布式系统。把Web服务组合建模为多智能体系统,并成功采用我们实现的时态认知逻辑符号模型检测工具MCTK验证了SAS股票分析服务实例。同时采用WSAT,WS-Engineer和SPIN 3个模型检测工具在相同实验环境下验证了该实例,实验结果表明我们的Web服务模型检测方法不仅比这3个模型检测工具更高效,而且支持认知逻辑规范

  3. 所属分类：其它

    • 发布日期：2021-02-23
    • 文件大小：424kb
    • 提供者：weixin_38641876

  1. 基本逻辑运算

  2. 在分析和设计数字电路时，需要使用的一个数学工具是逻辑代数。逻辑代数也称为布尔代数，由英国数学家G.Boole提出。逻辑代数是按一定逻辑规律进行运算的代数。和普通代数一样也是用字母表示变量。逻辑代数中变量的含义与普通代数有着本质区别。　　逻辑代数中的变量通常称作逻辑变量。　　逻辑变量只有两个值(二元常量)，即0和1，没有中间值。　　0和1并不表示数量的大小，而是表示两种对立的逻辑状态，也就是逻辑零和逻辑壹。在逻辑代数中，有与、或、非三种基本逻辑运算。运算是一种函数关系，可以用语句、逻辑表达式描述、

  3. 所属分类：其它

    • 发布日期：2021-02-03
    • 文件大小：57kb
    • 提供者：weixin_38696196
« 12 3 4 5 6 7 8 9 10 ... 50 »