- 博客(23)
- 收藏
- 关注
原创 正式迁移blog到msn spaces
原因很简单。经常出现“白屏”。无法更新资料。http://spaces.msn.com/members/hbzhuxu
2005-08-01 11:39:00 1393
原创 [组合数学]组合设计泛谈
[组合数学]组合设计泛谈与旋转矩阵相关的数字问题 来源:互联网 日期:2005年2月26日 作者:未知 从寇克曼女生问题讲起 旋转矩阵涉及到的是一种组合设计:覆盖设计。而覆盖设计,填装设计,斯坦纳系,t一设计都是离散数学中的组合优化问题。它们解决的是如何组合集合中的元素以达到某种特定的要求。 为了使读者更容易明白这些问题,下面先从一道相当古老的数学名题讲起: 1
2005-07-31 23:10:00 5010 1
原创 [图论]欧拉圈与哈密顿圈相关
=========================欧拉迹和圈========================= 包含所有边仅一次的迹。 一般图中 欧拉迹 存在的 必要条件:每个顶点度数为偶数。 一般连通图中 欧拉圈 存在的 充要条件:每个顶点度数为偶数。 一般连通图中开迹的个数:设奇数顶点个数m>0,则可以被划分为不少于m/2个开迹。 特殊情况:存在一个开欧拉迹充要条件为仅有2个奇数
2005-07-31 15:33:00 7567 2
原创 [组合数学]容斥原理的初步总结
容斥原理应用于计数集合划分有重叠,无法简单应用加法原理的情况下。主要方法是颠倒计数过程,先计数1组合~~n-1组合数,然后根据容斥性质从总集合|S|中减去或加上相应计数。=一般公式===========---------计算不具有某几个属性 物体个数:公式: =|S|- ∑R-1 + ∑R-2 - ∑R-3 ... +(-1)^mR-m --------- 一种情况的化简 情况:各R-i
2005-07-29 11:02:00 5638
原创 形式邏輯 (台湾大百科智库)
【漢語拼音】xingshi luoji 【中文詞條】形式邏輯 【外文詞條】formal logic 【作 者】張尚水 http://140.128.103.1/web/Content.asp?ID=57840 研究演繹推理及其規律的科學﹐包括對於詞項和命題形式的邏輯性質的研究。它提供檢驗有效的推理和非有效的推理的標準。形式邏輯已經歷了2000多年的歷史﹐19世紀中葉以前的形式邏輯
2005-07-21 17:10:00 1528
原创 面向21世纪系列教材一体化建设研究报告[转]
计算机科学与技术一级学科面向21世纪系列教材一体化建设研究报告(1,2,3)*http://www.ndip.cn/computer/modernCS/yitihua.htm#_ftn1 http://www.ndip.cn/computer/modernCS/yitihua.htm#_ftn1 Research Report on the Textbook Construction and th
2005-07-21 16:53:00 3343
原创 [数理逻辑]经典逻辑的总体思考
=========================经典逻辑的总体思考(未完成)=========================基本概念------------------------------------命题 内容 逻辑形式形式语言:人工构造的符号语言,代替自然语言,能精确表示命题的逻辑形式。语义:符号及符号表达式的含义语法:符号表达式的形式结构经典逻辑------------------
2005-07-16 00:15:00 1799 2
原创 [图论]综述
摘自 http://zh.wikipedia.org/wiki/%E5%9B%BE%E8%AE%BA图论是数学的一个分支,它以图为研究对象,研究节点和边组成的图形的数学理论和方法。图论中的图是由若干给定的点及连接两点的边所构成的图形,这种图形通常用来描述某些事物之间的某种特定关系,用点代表事物,用连接两点的边表示相应两个事物间具有这种关系。图论起源于著名的柯尼斯堡七桥问题。图论的研究对象相当于一维
2005-07-10 18:03:00 2826
原创 [数理逻辑] 定理2.6.10 p65 出错?
数理逻辑 定理2.6.10 p65iii A->(B^C) |-| (A->B)^(A->C)iv A->(BVC) |-| (A->B)^(A->C)iv这个公式是不是有问题啊?iv A->(BVC) |-| (A->B)V(A->C) 吧。。 要不就是iii A->(B^C) |-| (A->B)V(A->C)
2005-07-02 23:06:00 1512 2
原创 道德经八十一章 ⊙老子/文
道德经八十一章 ⊙老子/文--------------------------------------------------------------------------------一章道,可道,非恒道。名,可名,非恒名。无名,天地之始;有名,万物之母。故常无欲,以观其妙;常有欲,以观其徼。此两者同出而异名,同谓之玄。玄之又玄,众妙之门。二章天下皆知美之为美,斯恶已;皆知善之为善,斯不善矣。有
2005-07-02 19:22:00 1869
原创 [数理逻辑]第一篇
本数理逻辑研究范围: 路钟万 面向计算机科学的数理逻辑 中所包含的数理逻辑问题。目的:用数学方法研究逻辑问题 前提-->结论分类: 演绎逻辑:前提真-->结论真(可推导关系)(本书研究的主要类别) 可推导型:前提真与结论真之间的一种关系(由前可推导结) 归纳逻辑:真的前提-->协调的结论(不要求真)(协调:与前提或自身协调)形式语言: 目的:精确的表达命题逻辑形式。 语义:符号、
2005-07-02 01:34:00 2090
原创 [数理逻辑] 例题证明 P59-60 定理2.6.5
数理逻辑 例题证明 P59-60 定理2.6.5(iii)求证 A |- !!AA,!A |- A (+,E)A,!A |- !A (E)A |- !!A (!+)(iv)求证A,!A |- BA,!A,!B |- A (+,E)A,!A,!B |-!A (E)A,!A |- B (!-)(v)求证 A |- !A->BA,!A |- B (!-)----UP
2005-07-01 23:47:00 1364
原创 [数理逻辑] 例题证明 P61 定理2.6.6
数理逻辑 例题证明 P61 定理2.6.6(1)A->B |- !B->!AA->B,!B,A |- B (+,E)A->B,!B,A |- !B (E) A->B,!B |- !A (!+)A->B |- !B->!A (-> +)证毕(3)!A->B |- !B->A!A->B,!B,!A |- !B (+,E)!A->B,!B,!A |- B (E)!A->B,!B |
2005-07-01 23:47:00 1756
原创 [数理逻辑]例题证明 P59 定理2.6.4
数理逻辑 例题证明 P59 定理2.6.4 i 证明 A->B,A |- BA->B,A |- A->B (E)A->B,A |- A (E)A->B,A |- B (-> -) 证毕ii 证明:A |- B -> AA |- A (REF)A,B |- A (+)A |- B->A (-> +) 证毕iv 证明:A->(B->C),A->B |- A->CA-
2005-07-01 23:46:00 1674
原创 [组合数学]第一篇
清华大学课件: 组合数学主要研究满足一定条件的组态(一种安排)的存在性、计数及构造等方面的问题。组合数学大体上可分为组合计数、组合设计、组合矩阵、组合优化等方面。 本课程的前4章讨论基本的组合计数问题。在本课程中我们将组态称为组合模型,我们将从中学数学中已出现的排列、组合的计数着手,一直讨论到用火柴能搭出多少个不同的足球这样的有趣的问题。 第五章介绍区组设计与编码的初步知识。考虑到多数计算机
2005-03-22 15:39:00 1506
原创 基于RUP的应考复习过程管理(三)
1、先启 确定项目的外部环境及内部运行环境,并对此进行评估 RUP中定义此阶段主要目标:规模定义和成本/进度估算中;需求是否确定;风险是否认定 考研过程定义此阶段目标:了解要报考的学校及相关情况;确定复习的规模和需要花费多少时间、精力;认定考试风险; 主要的工作流: 项目管理评估考研复习规模和风险、制定考研复习计划、监测考研复习进度 测试制定考研复习各个过程中的测试计划
2005-03-22 15:32:00 1079
原创 基于RUP的应考复习过程管理(二)
三、实现: 根据先启、精化、构建、产品化4个阶段对比RUP的主要里程碑及活动来构建复习过程的主要里程碑及活动。 根据软件过程9个核心工作流来定义考试过程的9个核心工作流: [项目管理] 考研项目管理:考研项目的管理。 [环境] 考研环境:考研环境的定义和维护。 [业务建模] 考研过程建模:对考研整个过程建立一个业务模型。 [需求] 考研需求:了解要考上研究生(硕
2005-03-14 23:16:00 1170
原创 基于RUP的应考复习过程管理(一)
基于RUP的应考复习过程管理(上)一、序言 提供一个复习管理的过程,帮助复习者(考生)管理自己的复习计划和实施情况。名词解释: RUP:Rational Unified Process的简称,IBM公司的一个规范化软件开发过程,用于软件开发过程的管理和控制。主要是通过将过程划分为时间上的4个阶段和工作方面的9个核心工作流,通过在每个阶段实施特定的工作流管理来实现成功的过程管理。4个主要的阶段:
2005-03-13 18:04:00 1569
原创 ASP 80004005 错误的一些解决思路
Unable to open registry key Temporary (volatile) Jet DSN for process x Thread x DBC 0x21a4004 Jethttp://www.aspfaq.com/show.asp?id=20091、正确的数据库连接字符串2、检查Access版本,〉=20003、设置用户权限,注意iusr_* 在数据库所在目录以及win
2005-03-06 21:13:00 999
原创 自己制作的Asp数据库访问类。
自己制作的Asp数据库访问类。-------------------------------------------------------------------------************************** 数据库-表-模版类 2.0 ************************* 实现数据库中表TableName的 增 删 改 读单条记录 功能******
2005-03-06 20:53:00 1070
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人