检索结果-南通市图书馆

Construction of the Model of the Lambda Calculus System with Algebraic Operators

在线全文

学校读者我要写书评

暂无评论

Journal of computer Science & Technology 1991年第1期6卷 108-112页

作者：陆汝占张政孙永强 Department of computer Science Shanghai Jiao Tong University Shanghai 200030Department of Computer ScienceShanghai Jiao Tong UniversityShanghai 200030Department of Computer ScienceShanghai Jiao Tong UniversityShanghai 200030

A lambda system with algebraic operators,lambda-plus system,is *** giving the definitions of the system,we present a sufficient condition for formulating a model of the system. Finally,a model of such system is constr... 详细信息

关键词： computer metatheory Formal Logic Mathematical Techniques Operators

Abstract Implementation of Algebraic Specifications in a Temporal Logic Language

在线全文

学校读者我要写书评

暂无评论

Journal of computer Science & Technology 1991年第1期6卷 11-20页

作者：林惠民龚淳谢洪亮 Institute of Software Academia SinicaBeijing 100080

A formal technique for incorporating two specification paradigms is presented,in which an algebraic specifi- cation is implemented by a set of abstract procedures specified in pre- and post-condition *** link be- tween the two level specifications is provided via a translation from terms of algebraic specifications into tempo- ral logic formulae representing abstract *** terms of translation,a criterion for an abstract implementation satisfying its specification is given,which allows one to check the consistency between the two levels of *** abstract implementations can be refined into executable code by refining each abstract procedure in *** is proved that the satisfication relation between a specification and its implementations is preserved by such refinement steps.

关键词： computer metatheory Boolean Algebra computer Programming Languages

Design of Quaternary ECL Q Gate

在线全文

学校读者我要写书评

暂无评论

Journal of computer Science & Technology 1991年第1期6卷 32-36页

作者：庄南 Ningbo Normal College Ningbo 315211

A new explanation of quaternary Q gate expression in Post algebra is given in this paper by using transmission function theory proposed in [1] and the quaternary ECL Q gate circuit is de- *** SPICE2 simulation to this circuit has confirmed that it has desired logical function and is totally compatible with various quaternary ECL circuits proposed before.

关键词： computer metatheory Many Valued Logics computer metatheory Threshold Logic computer Simulation Logic Circuits, Emitter Coupled Logic Devices Gates

Some Hard Examples for the Resolution Method

在线全文

学校读者我要写书评

暂无评论

Journal of computer Science & Technology 1990年第3期5卷 302-304页

作者：余向东 Huazhong University of Science and Technology Wuhan

Given n propositional variables,let K_n(i,j),0≤i≤j≤n,be the set (or disjunction )of all conjunctions of i literals of which exactly j literais are *** and Wang conjectured that it may require exponential time to decide that every disjunction K_n (i,j)is not valid by the resolution *** paper gives a proof of the conjecture and then exhibits a new counterexample to the feasibility of the resolution or con- sensus method.

关键词： computer metatheory Boolean Functions