摘要： 昨天加今天学完了离散数学第五章加第六章，其中分别为命题逻辑和谓词逻辑。 两者基本内容大致相同， 都是由已知，通过逻辑推理，得到结论。 只是，命题逻辑针对的对象是命题，谓词逻辑更加细化。 谓词逻辑可以反映出命题中的一些关系等。 需要注意的也就更多一点，但大体内容相同。 阅读全文

摘要： 在练习算法题时遇到了一个没见到的写法，求一个int型变量的逆序，例子：1234的倒序4321 其中代码如下 int Reverse(int j){ int remain,reverse = 0; while(j>0) { remain = j%10; j = j/10; reverse = reve 阅读全文