[人工智能/神经网络/遗传算法] WangHao

说明：命题逻辑中的推理规则可以用来证明一个已经表示成命题公式的定理，但它还不便于机械化实施。因为其中的各条规则都未指明在推导的什麽步骤上应该引入什麽前提或中间结论，这些还有赖于人的经验技巧和才能。1960年王浩提出的算法，可以完全脱离人的经验和技巧，机械地构造每一步推导，证明一个命题逻辑定理的成立。 -Propositional logic in the inference rule can be used to prove that a propositional formula has be
<harveysharp> 在 2026-01-13 上传 | 大小：1.28mb | 下载：0

[数学计算/工程计算] udf-exams

说明：fluent培训教程中的udf例子和说明-training course fluent in udf examples and descr iptions
<tanghao> 在 2026-01-13 上传 | 大小：1.28mb | 下载：1

[matlab例程] matlabchuli

说明：matlab指令讲解，和常见算法分析，，非常具体。。初学者实用-matlab command explanation, and the common algorithm analysis, and very specific. . Useful for beginners
<king> 在 2026-01-13 上传 | 大小：1.28mb | 下载：0

[数值算法/人工智能] 2528

说明：poj 2528解题报告，及不两种不同的离散化方式。-poj 2528 report on problem-solving, and not two different discretization methods.
<米米> 在 2026-01-13 上传 | 大小：1.28mb | 下载：0

[数据结构常用算法] datastruct

说明：数据结构的C#版本，可以看看常用的数据结构在.NET里面是怎么实现的-data structure described by csharp
<洪青霞> 在 2026-01-13 上传 | 大小：1.28mb | 下载：0

[数据结构常用算法] 2013Tencent-programming

说明：这是2013年腾讯公司举办的编程马拉松的比赛题目，大家可以参考学习-This is tencent, 2013 programming marathon of the topic, you can refer to learning
<骆辉德> 在 2026-01-13 上传 | 大小：1.28mb | 下载：0

[数值算法/人工智能] clospan

说明：Clospan闭序列模式挖掘，很好的算法-An algorithm of sequence mining
<weijiao> 在 2026-01-13 上传 | 大小：1.28mb | 下载：0

[matlab例程] 2006

说明：高斯过程回归算法工具箱，很好用的，我用过-Gaussian process regression algorithm toolbox, well used, I used
<晓晓> 在 2026-01-13 上传 | 大小：1.28mb | 下载：0

[matlab例程] double-position-align

说明：对于180度旋转的惯导系统的惯性器件的输出实现位置姿态对准-For output 180 degree rotation of INS inertial devices achieve alignment position and attitude
<张君> 在 2026-01-13 上传 | 大小：1.28mb | 下载：0

[matlab例程] SIMULINK-Module

说明：主要讲解simulink常用模块的名称和用法，包含简单的仿真实例，容易上手。-PPT to explain in detail the name and usage of the simulink module is commonly used, contains a simple simulation instance, easy to use.
<桂马飒> 在 2026-01-13 上传 | 大小：1.28mb | 下载：0

[matlab例程] breast-segmentation

说明：breast cancer detection
<dileepkumartkbh> 在 2026-01-13 上传 | 大小：1.28mb | 下载：0

[数学计算/工程计算] 2DPE_VCPP6.0

说明：抛物方程是由赫姆霍兹方程推导而来，在计算大区域电磁传播有较大的优势，本程序是二维的情况。-Parabolic equation is derived the Herm Holtz equation, in the calculation of large areas of electromagnetic propagation has a greater advantage, the program is a two-dimensional situation.
<lvyf93> 在 2026-01-13 上传 | 大小：1.28mb | 下载：1