逻辑与、逻辑或、逻辑非是对boolean值得操作，属于离散数学范畴。按位与、按位或、按位非是对计算机位的操作，属于计算机二进制位运算范畴。逻辑与 都是真才真 c中区分&、&&的区别。逻辑或 有真就是真 c中区分|、||的区别。逻辑非 假才真 c中为！。按位与、按位或、按位非按照上面的规则对每一位进行...
分类：
其他好文 时间：
2015-03-15 18:10:18
阅读次数：
258
最近在实施算法的时候，感觉数学知识不足了，在此大补一哈
--------------------------------------------------微积分----------------------------------------------------------
微积分公开课：
麻省理工学院：单变量微积分
http://ocw.mit.edu/courses/mathematics/18-01sc-single-variable-calculus-fall-2010/
http...
分类：
编程语言 时间：
2015-03-13 12:47:52
阅读次数：
170
离散数学Discrete Mathematics数据结构Data Structure数字电路与逻辑设计Digital Circuit and Logic Design汇编语言程序设计Assembly Language Programming数值分析Numerical Analysis操作系统原理Op...
分类：
其他好文 时间：
2015-03-07 11:30:15
阅读次数：
163
从广义上讲，形式化方法（Formal Method）是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。将形式化方法运用于软件工程实践当中的主要目的是保证软件的正确性。软件开...
分类：
其他好文 时间：
2015-03-05 16:18:59
阅读次数：
173
顺便，奉劝一下那些想要好好学习算法导论的同学们，你们最好有点以下课程的基础：1.离散数学（主要针对计算机科学的数学，学好离散数学，大学四年的计算机课程基本数学的需求已经满足一半了）2.概率论（证明算法效率的关键，如果算法导论不涉及到概率问题，那就不叫算法导论了，那就只是算法或者数据结构，因此，想.....
分类：
编程语言 时间：
2015-03-04 18:28:12
阅读次数：
125
这一章运用的离散数学的知识很多。从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模 型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。运用形式化方法，主要是为了保证软件的正确性。 这一章主要介绍了三....
分类：
其他好文 时间：
2015-03-01 11:44:28
阅读次数：
116
第五章、软件过程中的形式化方法1、 广义上讲，形式化方法是指将离散数学中的方法用于解决软件工程领域的问题。 狭义上讲、形式化方法是运用形式化语言进行形式化的规格描述，模型推理和验证的方法。 形式化的方法运用于软件工程的目的主要是为了确保软件的正确性。
分类：
其他好文 时间：
2015-02-28 20:16:14
阅读次数：
161
课程体系（分为内功和外功） 1.内功（每个同学都要学好的） 数学基础 高数-------线性------- 概率 英语基础 大英--------专业英语 专业基础:电子电路----数字逻辑---------离散数学----汇编语言--------程序设计 （一定要掌握一门编程语言） 专...
分类：
其他好文 时间：
2015-02-28 18:02:52
阅读次数：
140
1955年我国从“运筹帷幄之中，决策千里之外”（见《史记》）这句话摘取“运筹”二字，将O.R.正式译作运筹学。
运筹学师哥的解释就是“利用数学工具进行的预测”，运筹学是一门综合性比较强的学科。
它涵盖了
线性代数（第五章 线性规划）
离散数学（第七章 网络计划技术、第八章图论方法）
这三章还都是重点，这不就好说了吗，回顾一下，在寻找一下当初学习这些知识的感觉。然后这三章就不用再给大块的时间去学习...
分类：
其他好文 时间：
2015-02-28 10:17:41
阅读次数：
150
