📚 逻辑简化技术资料

📦 资源总数：3456
📄 技术文档：1
💻 源代码：4289
🔌 电路图：1

🔥 逻辑简化热门资料

查看全部3456个资源 »

题目：实现一个能进行稀疏矩阵基本运算的运算器。 以“带行逻辑链接信息”的三元组顺序表示稀疏矩阵，实现两个矩阵相加，相乘的运算。稀疏矩阵的输入形式采用三元组表示，而运算结果的矩阵以阵列形式列出。 1、 生成如下两个稀疏矩阵的三元组a和b: 1 0 3 0 3 0 0 0 0 1 0 0 0 4...

📅 👤 ljmwh2000
稀疏 矩阵 三元 运算

命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。...

📅 👤 wxhwjf
逻辑 定理

📄 逻辑简化技术文档

查看更多 »
📄
Xilinx ISE中文简明教程、Xilinx术语中文.pdf、Virtex 系
Xilinx FPGA Virtex

💻 逻辑简化源代码

查看更多 »
💻
进书逻辑.txt
💻
退书逻辑.txt
💻
库存书维护逻辑.txt
💻
发书逻辑.txt
💻
毕业设计数字逻辑电子仿真器.plg
💻
毕业设计数字逻辑电子仿真器.plg
📂 逻辑简化资料分类
🔥 热门资料 查看最受欢迎的资源 📄 技术文档 技术手册与Datasheet 💻 源代码 程序代码与工程文件 🔌 电路图 原理图PCB布局 📚 全部资料 3456 个资源