排序方式： 共有12条查询结果，搜索用时 31 毫秒
1.
黄万徽 《高等函授学报(自然科学版)》1996,(3):46-51
本文论述了群论在纠错码中的应用,从而说明计算机科学具有牢固的数学基础。同时,也使我们看到群论在计算机科学中的应用。 一、问题的提出 在计算机的数据信息传递过程中,由于存在着各种干扰,可能使二进制信号产生失真现象:即在传递过程中0可能变成1,而1可 相似文献
2.
黄万徽 《高等函授学报(自然科学版)》1994,(6):7-10,12
图论在计算机科学中的应用很广泛。例如在开关理论与逻辑设计、数据结构、形式语言、操作系统、编译程序，信息组织与检索都有很重要的应用。本文补充《离散数学基础》（洪帆编）教材之不足，给出以下内容，供读者加深对有关知识的理解。一、印刷电路的分层问题为了设计印刷电路板，先将电路画成图O如图1，G中边对应导线。顶点对应接点，设有导线连接的两个接点之间可能要装配元件。由于同一层印刷电路板上导线不允许相交（除接点之外），因此，如果G是平面图，则相应o就可以设计出一块草层印刷电路板；如果O不景平面图，则对应G必须设计… 相似文献
3.
黄万徽 《高等函授学报(自然科学版)》1999,(4):12-14
数学归纳法是离散数学的重要内容，是计算机科学理论的重要组成部分。本文介绍有关数学归纳法原理及其应用。1自路四集的定义及其性质定义1［门没空集4的后继集记为若命名声为1，那么这样就得到自然数集合N＝11，2，3，4，··叫。从自然数集的定义中，可以直接得到以下基本性质：l）（N，＜）是全序集。即对VZI，12EN，必有出＜n。或nZ＜n；。此性质，使自然数集N的元素能按大小顺序排成一个无限序列：l，2，3，4，2）自然数集N是一个无限集。即在N的元素按大小顺序排列中，没有最大的数。也就是说，在此排列中，任意一个自然数后面还… 相似文献
4.
5.
黄万徽 《华中师范大学学报(自然科学版)》1988,27(4):0-0
本文引进新图式的概念,并且给出一个关于命题推理有效判定的方法。它解决了证明论中命题逻辑部分的一个重要问题。由于此方法直观,机械,可用于计算机对人工智能问题的处理。 相似文献
6.
黄万徽 《华中师范大学学报(自然科学版)》1986,25(1):0-0
本文引进了BCK-代数的形式系统L 的概念,并且给出了关于L 的任意一个合式公式是否为它的一个定理的判定方法。 相似文献
7.
8.
9.
黄万徽 《华中师范大学学报(自然科学版)》1986,25(3):0-0
本文引进正则公式的概念,并且给出一个关于命题推理有效判定的方法,它可以在有限步之后确定一个论证是有效的还是无效的,容易看出一个结论是否可以从前提推出。 相似文献
10.