形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动，从根本上讲，软件设计过程就是一个建立形式化规约，软件设计的最终产物--程序在进行形式化的过程中涉及到三中系统模型：现实世界，模型表示和计算机系统。软件规格说明是对软件系统对象，对象的操作系统以及...
分类：
其他好文 时间：
2015-02-15 23:07:10
阅读次数：
144
1.形式化方法 (1)广义上：将离散数学的方法用于解决软件工程领域的问题。 包括:建立精确的数学模型、对模型的分析活动。 狭义上：进行形式化的规格说明、模型推理、验证。 (2)作用：解决规格说明的二义性、提高精确性、提高确认手段。 (3)根本上，软件的设计过程就是一个建立形式规约的过程。 程序---...
分类：
其他好文 时间：
2015-02-08 16:50:46
阅读次数：
195
同样的方法应该也使用在《【Java】Java中的Collections类——Java中升级版的数据结构》（点击打开链接）中提及到Java中的各类集合，这里拿各位编程最常用的ArrayList做例子。这个东西除了用来做可变形数组以外，有时候还会出现要在两个ArrayList之间进行集合运算，我在这里举出最常见的求交并补的例子，其余的复杂的集合运算，请自己打开《离散数学》或者《数理逻辑》一书慢慢推导吧...
分类：
编程语言 时间：
2015-02-03 17:12:11
阅读次数：
274
从广义上讲，形式化方法是指将离散数学的方法用于解决软件工程领域的问题，主要包括建立精确的数学模型以及对模型的分析活动。狭义的讲，形式化方法是运用形式化语言，进行形式化的规格描述、模型推理和验证的方法。软件规格说明是软件对软件系统对象，对象的操作方法，以及对象行为的描述。软件的设计过程就是一个建立.....
分类：
其他好文 时间：
2015-02-02 14:04:02
阅读次数：
127
基本概念：
1：什么是生成树？
对于图G,如果其子图G'满足V'=V，且G'是一棵树，那么G'就是图G的一颗生成树。生成树是一棵树，按照树的定义，每个顶点都能访问到任何一个其它顶点。（离散数学中的概念），其中V是顶点，E是边，通俗来讲生成树必须包含原图中的所有节点且是连通的
比如
2：最小
一个无向连通图G=(V,E)，最小生成树就是联结所有顶点的边的权值和最小时的子图T，此时...
分类：
其他好文 时间：
2015-01-18 21:13:41
阅读次数：
548
【来信】 我是一名大二学生，专业与计算机无关。自从大一学了C语言便对计算机产生了兴趣，我打算今后从事这方面工作或考计算机专业的研究生，现在起步晚吗？怎样缩小与专业学生的差距？我现在已经开始自学，不过只学了《c primer plus》,《汇编语言》，准备假期学习《离散数学》和《数据结构》，这样安排是否妥当？希望您给点建议。【回复】 一位年轻人，能清楚地知道自己的兴趣在哪里，并且为之付出努力去追...
分类：
其他好文 时间：
2015-01-05 09:28:46
阅读次数：
146
说起闭包这个概念，其实是离散数学中的一种定义，而很程序员们耳熟能详但不一定能说清楚它的含义和用途。本文先简单地介绍下离散数学中的闭包，然后再探讨一下Javascript语言中的闭包是如何创建和应用的。Closure 闭包1、闭包的定义-离散数学一个关系不具有自反, 对称, 传递这3种基本性质之一,但...
分类：
编程语言 时间：
2014-12-31 14:20:56
阅读次数：
254
1、复习数学保持清晰的逻辑思维。（高等数学、线性代数、概率论与数理统计、离散数学、组合数学） 完成情况：高等数学、线性代数、概率论与数理统计，大学学过了。离散数学自修过，组合数学没接触过，但是高中学过排列与组合，也算是一部分。所以总体上这些都是学过的，算是复习。2、学习基础写作教程和科技文章写作教程...
分类：
其他好文 时间：
2014-12-23 22:26:26
阅读次数：
210
离散数学的定义及其在各学科领域的重要作用。离散数学(Discrete mathematics)是研究离散量的结构及其相互关系的数学学科，是现代数学的一个重要分支。它在各学科领域，特别在计算机科学与技术领域有着广泛的应用，同时离散数学也是计算机专业的许多专业课程，如程序设计语言、数据结构、操作系统、编译技术、人工智能、数据库、算法设计与分析、理论计算机科学基础等必不可少的先行课程。通过离散数学的学习，不但可以掌握处理离散结构的描述工具和方法，为后续课程的学习创造条件，而且可以提高抽象思维和严格的逻辑推理能力，...
分类：
其他好文 时间：
2014-12-18 22:25:59
阅读次数：
320
看到一段话：先去usaco刷！然后uva，hdu，poj各种刷
要看的书：
算法导论！ lrj黑书！ 周大虾的计算几何！组合数学！离散数学！数据结构！图论！数论概论！
（C++ for ）STL！（Java for）大数！
最后把dp两字的精华理解了，综合在每个算法；
再体会一下网络流的各种神奇，基本上就完成了regional赛的水平了。...
分类：
其他好文 时间：
2014-12-13 01:02:30
阅读次数：
128
