论文部分内容阅读
电子计算机具有逻辑判断能力,著名的四色定理就是应用计算机在1976年获得证明的。电子计算机经100亿次逻辑判断,通过对1936个引定理的证明,从而证明了四色定理。而在此之前,人们用了125年的时间也没有证明出来。
布尔表达式与逻辑判断
【摘 要】
：
电子计算机具有逻辑判断能力,著名的四色定理就是应用计算机在1976年获得证明的。电子计算机经100亿次逻辑判断,通过对1936个引定理的证明,从而证明了四色定理。而在此之前,人们用了125年的时间也没有证明出来。
【出 处】
：
计算机应用研究
【发表日期】
：
1988年04期
其他文献
随着计算机的应用在我国社会中日益广泛,迫切需要建立和发展我国的计算机软件产业。对已开发的软件开展登记、介绍和评比工作,有利于促进软件开发工程化和软件产品规范化、商品化的实现,鼓励软件的开发和推广应用、减少软件开发
期刊
本文提出了一种新的编码压缩方法。该方法具有以下特点:1.各码长度相等。2.编码和解码方便,3.特别适用于汉字文本图象的编码压缩,4.对一般汉字文本,信息压缩比为1:4。
期刊
当前,计算机在各行各业广泛的应用中,计算机图象处理正异军突起,受到人们高度重视,发展迅猛,据国外pata copy市场的报导,1984年有关图象市场销售额为54万美元,预计到1990年将达到50亿美元。可以预言,为时不久,图象处理
期刊
面对一台有故障的IBM PC及PC/XT微机,一旦无法启动运行其随机高级诊断程序Diagnostics,如何尽快找到故障部位呢?此时,若对其ROM—BIOS自诊断程序有较深入的分析,并已弄清自诊断程序对测试错误的处理方法,就能较快找到故障部位。本文简要分析自诊断程序,并重点介绍其对故障的处理方法,随后分析几例典型故障。
期刊
一、前言源资共享是目前计算机局部网络在办公室自动化应用中极其重要的环节,在OMNINEI网络中,是通过打印机服务器实现打印机共享的。但是,OMNINET网络在网络传输板与站点主机之间提供了一套协议命令可进行网络控制与信息的传
期刊
建立一个企业事业部门的管理信息系统,从信息本身特征看,常有两类。一类为信息的属性固定而记录值的多少不定。如干部管理系统中的干部状况数据库,设有姓名、年龄、文化程度等数据项,其记录值的多少视干部人数而定。另一类为信
期刊
NBIOS (National Basic INPut/output system)是天津市计算中心于一九八六年推出的汉字操作系统。该系统是最早将近四万的汉语词汇仅采用软件形式提供给用户使用的汉字系统(详细报道见《计算机世界报》87年第7期)。该
期刊
IBM—PC/XT及其兼容机由于所使用的环境不同,硬盘往往会发生这样或那样的故障。较为常见的是无法进入硬盘,显示出无效设备;若已经从软盘上引导,则无法从A盘转到C盘上。并出现如下提示:
期刊