资源列表
xcthulhu-Int_Logic-838502a.tar
- Intuitionistic Logic developed in Isabelle/HOL, using a shallow embedding of the lambda-calculus by way of the Curry-Howard isomorphism
cPP
- 题目：有1、2、3、4个数字，能组成多少个互不相同且无重复数字的三位数？都是多少？ 1.程序分析：可填在百位、十位、个位的数字都是1、2、3、4。组成所有的排列后再去 掉不满足条件的排列。 -Title: There are numbers 1,2,3,4, how many can be composed of distinct three-digit numbers without repetition? Is how much? 1. Program Analysi
ABC
- POJ 1006 1017 1028 1799 2262源码 简单的算法-POJ 1006 1017 1028 1799 2262 Source simple algorithm
PID
- 作为工业控制中的一种常用控制算法PID运算-As a common industrial control PID control algorithm computation
K-means
- k-means均值聚类分析代码可以实现二维文件的读入，以及文件的输出，还可以根据需要选择聚类中心数-k-means clustering analysis of two-dimensional code can read the file, and document output, but also can select the number of cluster centers
SimpleSurveyFunction
- 改程序是测绘程序中会用到的所有小函数的集合，包括了方位角的计算，角度的计算等。-Reform program is used in surveying and mapping program will be the set of all small functions, including the calculation of azimuth, the angle of the calculation.
bank_code
- 关于银行家的经典算法，希望对此感兴趣的朋友学习-Classical algorithm on the bankers, I hope interested friends to learn
three-step
- 三步搜索法帧间预测匹配算法的源文件很全很完美的源文件-Three-step search method
Dynamic_Programming
- 利用动态规划来完成找零钱问题 计一个动态规划算法如何解决找零问题，对1≤j≤L，计算出所有的C( n,j )。算法中只允许实用一个长度为L的数组。找出用钱的最小个数。 （2） 0<=k<=j i>=1 i<=n,maxint c（i，k）硬币枚数 -Dynamic programming problems to complete the count to keep the change a dynamic programming algorithm to so
rapid-reaction-solution-algorithm.
- 基于九叉树分割的曲面片上点的快速反解算法.caj-Tree based on nine separate points of the surface film on the rapid reaction solution algorithm. Caj
gaussian-elimination-serial
- gaussian elimination method serial
jiugongtu
- 使用递归方法计算九宫图，虽然程序很小，但很精确。值得一看。-Jiugong map using the recursive method, although the program is small, but very accurate. Worth a visit.