搜索筛选:
搜索耗时0.0835秒,为你在为你在102,285,761篇论文里面共找到 5 篇相符的论文内容
发布年度:
[期刊论文] 作者：孙踊,
来源：北京大学学报：自然科学版 年份：1998
非单调推理多见于日常生活中。比如无证据证实Ｂ的反面，我们得出结论Ｂ。这种逻辑在计算机科学中的知识库，超大数据库和推理库中有许多运和。本案例是著名 的“耶鲁枪击案”据此介......
[期刊论文] 作者：孙踊,
来源：北京大学学报：自然科学版 年份：1997
首先简略介绍了Ｃｏｑｕａｎｄ和Ｈｕｅｔ的构造演算以及Ｐｌｏｔｋｉｎ和孙踊的受囿算子系统，然后，将构造演算在受囿算子系统中进行公理化，此公理化无需无限级（数据）类型结构，原则上，可以在原构造演算的ｔｙｐｅ空间上引入ｋｉｎｄ空间，但......
[期刊论文] 作者：孙踊,胡易,
来源：软件学报 年份：2000
认为传统的二值布尔不利大规模集成电路的设计，尤其是在逻辑门电路上，为此引入了三值逻辑。此三值逻辑是基本集成电路的物理性质，且碰巧等同于Ｋｌｅｎｎｅ的三值逻辑，鉴于Ｋｌｅｅｎｅ三值逻辑的不完备性......
[期刊论文] 作者：孙踊,胡易,
来源：软件学报 年份：2000
认为传统的二值布尔不利于大规模集成电路的设计 ,尤其是在逻辑门电路上 .为此引入了三值逻辑 .此三值逻辑是基于集成电路的物理性质 ,且碰巧等同于 Kleene的三值逻辑 .鉴于...
[期刊论文] 作者：孙踊,杨宏戟,
来源：北京大学学报：自然科学版 年份：1997
描述和设计计算机网络通信协议时，使用抽象的同步通信机制最为方便但在实际中，使用异步机制将机制将不可避免。基于霍尔的“通信顺序进程”和其他通信协议描述与设计的理论研究......
相关搜索：
