点击下载:西安电子科技大学:《离散数学》课程教学课件(题解)第二章 谓词逻辑 2-3 谓词公式的翻译
正在加载图片...
西安电子科技大学S2.3.1个体域的选取软件学院世界上所有的个体汇集在一起构成的集合。全总个体域为了方便和统一,通常将所有变元的个体域均指定为全总个体域西安电子科技大学 软件学院 全总个体域 为了方便和统一,通常将所有变元的个体域 均指定为全总个体域。 §2.3.1 个体域的选取
<<向上翻页
向下翻页>>
点击下载:西安电子科技大学:《离散数学》课程教学课件(题解)第二章 谓词逻辑 2-3 谓词公式的翻译
©2008-现在 cucdc.com 高等教育资讯网 版权所有