论文部分内容阅读
本文首先分别讨论了可靠性定理和完备性定理中不同描述形式的等价性,然后讨论了对于可靠性和完备性定理应用的理解。
可靠性与完备性定理中描述形式等价性证明以及应用的讨论
【摘 要】
：
本文首先分别讨论了可靠性定理和完备性定理中不同描述形式的等价性,然后讨论了对于可靠性和完备性定理应用的理解。
【机 构】
：
贵州大学计算机科学与信息学院
【出 处】
：
福建电脑
【发表日期】
：
2009年8期
其他文献
在<新周刊>2003年度新锐榜的评选中,有一本杂志格外抢眼,它击败了<血酬定律>、<设计私生活>、<我们仨>、<变化>诸多实力选手,当选为年度最佳图书,<新周刊>的评价是:"<万象>是
目前在书业企业一谈到资本运营,大家立刻会想到操纵股票上市,认为只要能够将股票上市,企业就可以筹到大笔资金.由于存有这种指导思想,以致于许多书业企业都把自己发展壮大的
针对目前研究生经费管理工作中存在的诸多问题．设计并实现了一个基于JSF框架和Ajax技术的研究生经费管理系统。
走进宽敞明亮的职介大厅,郫县安德镇东风村农民简守良不慌不忙要来了登记表,写明想找的职业和期望的收入.然后,他悠然自得地坐在椅子上,盯着电子大屏幕上闪过的一条条信息,希
期刊
"星期天,我娃儿到村委会电教室去查了点资料,家里柚子长蚜虫的问题一下子就给解决了."4月18日,泸州市纳溪区护国镇凤仪村村委会的电教室里热闹非凡,前来"泡"网吧的农民朋友兴
期刊
<知音>已成了一种现象.其一是因为它爆发似的发展:1985年创刊,当年年底发行量就超过100万份,1996年达到200万份,同年海外版达30万份,1998年的发行量达到320万份,如今月发行量
《武汉晚报》曾以影响几代武汉人的巨大品牌价值齐名于《钱江晚报》．《扬子晚报》和《深圳晚报》，并称晚报界的“四小龙”。进入到上个世纪90年代中期后，《武汉晚报》并没能躲过
有人认为,期刊出版以编辑为中心,以发行为龙头,编辑负责刊物的质量,发行的目的是把刊物卖出去,编辑与发行分立,二者各司其职.在期刊出版的过程中,编辑处在中心环节,这一点是
目前,我国出版业中出现的合作出版,形式已呈多样化,并且规模越来越大,其中,尤以出版社与文化工作室的合作为甚.对此,出版界不少人士发表了许多不同的见解,有认为文化工作室抢