搜索结果
找到约 4,861 项符合
数学逻辑 的查询结果
按分类筛选
数学计算 这是硕士生计算机软件专业组合数学的一个序数算法演示
这是硕士生计算机软件专业组合数学的一个序数算法演示,仅供参考。
数学计算 这是硕士生计算机软件专业组合数学的一个字典算法演示
这是硕士生计算机软件专业组合数学的一个字典算法演示,仅供参考。
数学计算 经典的数学问题——百鸡问题的VC源码。
经典的数学问题——百鸡问题的VC源码。
数学计算 通过输入数学公式进行数学计算的源代码
通过输入数学公式进行数学计算的源代码,大家下巴
人工智能/神经网络 基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题
基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题,其目标公式被否定并化成子句形,然后添加到命题公式集中去,把消解反演系统应用于联合集,并推导出一个空子句(NIL),产生一个矛盾。 ...
其他书籍 科学文档排版软件Latex教程。包括布局管理、图形排版、数学公式、高级定制等
科学文档排版软件Latex教程。包括布局管理、图形排版、数学公式、高级定制等
VHDL/FPGA/Verilog 一种接口控制板的逻辑电路设计CPLD程序。
一种接口控制板的逻辑电路设计CPLD程序。
matlab例程 CVSD语音压缩的算法和程序流程.量阶δ能够自动地随输入信号平均斜率的大小而连续变化,译码输出信号实现了对输入信号的理想逼近,最后在可编程逻辑器件(FPGA)中实现了CVSD调制功能。
CVSD语音压缩的算法和程序流程.量阶δ能够自动地随输入信号平均斜率的大小而连续变化,译码输出信号实现了对输入信号的理想逼近,最后在可编程逻辑器件(FPGA)中实现了CVSD调制功能。