数学逻辑全部资料下载-4861个数学逻辑技术资源-虫虫下载站

这是硕士生计算机软件专业组合数学的一个序数算法演示，仅供参考。...

📅 2015-03-06

这是硕士生计算机软件专业组合数学的一个字典算法演示，仅供参考。...

📅 2013-12-17

经典的数学问题——百鸡问题的VC源码。...

📅 2014-01-06

通过输入数学公式进行数学计算的源代码，大家下巴...

📅 2013-12-02

高等数学全部公式...

📅 2014-01-20

基于机器学习的自动逻辑推理机。本程序用归结反演策略实现了命题逻辑系统的自动推理。把要解决的问题作为一个要证明的命题，其目标公式被否定并化成子句形，然后添加到命题公式集中去,把消解反演系统应用于联合集，...

📅 2013-11-30

科学文档排版软件Latex教程。包括布局管理、图形排版、数学公式、高级定制等...

📅 2013-12-19

阶乘,一个数学公式...

📅 2013-11-27

一种接口控制板的逻辑电路设计CPLD程序。...

📅 2014-11-16

CVSD语音压缩的算法和程序流程.量阶δ能够自动地随输入信号平均斜率的大小而连续变化,译码输出信号实现了对输入信号的理想逼近,最后在可编程逻辑器件(FPGA)中实现了CVSD调制功能。...

📅 2015-03-12

📚 数学逻辑技术资料