析取范式造句
词典里收录的相关例句：
- 主析取范式 恒假公式的主析取范式用0表示。 关于P1，…，Pn的一个极小项，则称G’为G的主析取范式。 任意含n个命题变元的非永假式，其主析取范式是惟一的。 定理2.4.2对于命题公式G，都存在等价于它的主析取范式。 定理2.4.3设公式G，H是关于原子P1，…，Pn的两个主析取范式。 定理2.4.4对于任意公式G，存在唯一一个与G等价的主析取范式。 下面介绍命题公式的唯一规范化形式的...
- 析取范式 极小蕴涵和析取范式表示 摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
- 主合取范式 摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
- 合取范式 摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
- 位析取 表达式执行逻辑析取，或对两个数值表达式执行按位析取。 是一个表示两个数位组合模式的包含按位析取的数值。 是代表两个数值位组合模式的按位异或运算（互斥按位析取）的数值。
- 数据析取 本文描述了一个数据仓库通用数据析取软件的设计与实现。 为了提高析取包的执行效率，我们采用了微软的dts作为传输工具，它大大加快了数据析取的速度。 本文的第四部分主要论述了高校财务决策支持系统数据部件的解决方案，分别从外部数据析取和内部数据管理两个方面进行探讨。 本文分析了形形色色的数据析取方法，将其归纳为集成、转换、清洁，并提出有必要对数据进行优化，如数据平滑...
- 析取 范畴性还隐含着另外一条性质，他把它叫做析取性。 采用标准的实际操作规程为缓发中子测定分析取样。 这些分析取决于非气孔蒸腾和温度这样一些可能混淆的因素。 合质金化学分析取样方法 浅析取得时效制度中的善意 表达式执行逻辑析取或包含。 铸造合金光谱分析取样方法 运算符对两个表达式执行逻辑析取。 极小蕴涵和析取范式表示 值的包含逻辑析取。 值的逻辑异或运算（互斥逻辑析取） 。 铁镍...
- 析取数据 这些关键字以及其它关键字提供了各种工具，用来从多维数据集析取数据的特定部分。
- 析取项 主要做了两方面的工作,一方面,对已有的基于可辨识矩阵和逻辑运算的属性约简算法进行了改进,提出了一种从合取项矩阵到析取项矩阵直接转化的方法,避免了传统的人工转化或全局搜索的方法,节省了空间和时间。
- 析取概念 析取概念（disjunctive concept）是根据不同的标准，结合单个或多个属性所形成的概念。 一个学生同时具有这些属性固然是好学生，只有其中的两三种属性也是好学生，所以“好学生”是一个析取概念。
- 析取词 子句就是将不同句元用析取词∨（或）连接而成的析取式。 “?”称为否定词，“ù”称为析取词，“ú”称为合取词，“?”称为蕴涵词，“?”称为等值词。 。用符号“∨”表示可兼的（相容的）析取词，如A∨B即A和B的析取词，读作“A或B”，其真假关系是：A和B都假则A∨B假，否则A∨B真。 即把类变元改为命题变元p,q,ｒ,…；改为否定词?（“并非”）；∪改为析取词∨（“或者”）；∩...
- 逻辑析取 表达式执行逻辑析取或包含。 运算符对两个表达式执行逻辑析取。 值的包含逻辑析取。 值的逻辑异或运算（互斥逻辑析取） 。 运算符对两个表达式执行包含逻辑析取。 对两个表达式执行短路包含逻辑析取。 表达式执行逻辑析取，或对两个数值表达式执行按位析取。 我的翻译是： “我们在这里定义的逻辑析取是包涵或。 运算符对两个表达式执行逻辑异或运算（互斥逻辑析取） 。 运算符对两个数值表达...
- 人弃我取，人取我与 人弃我取，人取我与。 他提出“人弃我取，人取我与，为消费者谋”。 ②，而白圭乐观时变，故人弃我取，人取我与③。 故人弃我取，人取我与，能发能收，选择人和天时。 他经营的决策主要依据是“人弃我取，人取我与”。 当魏文侯时，李克务尽地力，而...
- 人弃我取，人取我予 这便是“人弃我取，人取我予”的方针。 人弃我取，人取我予-------反向操作。 其基本原则是“乐观时变”，依据对年岁丰歉的预测，实行“人弃我取，人取我予”。 另本着坚持以“人无我有，人有我新，人新我好，人弃我取，人取我予”的经营宗旨，奉行高质量、低价位的市场核心战略，打造“御闽香”牌铁观音系列名茶。 另本着“以人为本...
- 能取所取 能取所取分别未灭故。 离能取所取故无增。 另一方面也可从能取所取来解释，由于能取所取的执着，也会形成苦。 此心品离我我所执及一切能取所取分别，能缘行相，所缘内境，俱微细难知。
- bc范式 在专业学术期刊发表学术论文30余篇，主要有：大宗物资运输系统的计算机模拟与优化分析，BC范式的判定定理及关系的规范化方法，会计造假的技术防范与独立ASP平台战略，现行审计制度的缺陷及其改革探讨，现金流量表附注的电算化编制技术，现金流量表的电算化编制技术，网络经济时代审计面临的挑战，实用板材下料优化方法，现金流量表信息的分析与使用等。
- bnf范式 拓展的BNF范式在某种程度上解决了左递归。 事实上，拓展的BNF范式写成A::=y(x)*或A::=Ax| 11.PERMITS EXTENDED BNF SPECIFICATIONS：JavaCC允许拓展的BNF范式??例如(A)*,(A)+等。 这份报告先驱性地使用了BNF范式（Bcakus-Naur-Form）用以定义程序设计语言的语法。 在这两个报告中,第一次使用一...
- mot范式 注意追踪的研究范式是多目标追踪范式（Multiple Object Tracking Paradigm，又称MOT范式）。
- 一种分析范式 生命进程方法作为连接宏观和微观层面的一种分析范式，从社会学和心理学等跨学科的角度，既可以研究老龄人口总体的遗产动机，也可以研究老龄个体的遗产动机。 本书从探讨青年、青年组织和意识形态的关系出发，以东欧剧变、苏联解体以及“颜色革命”中青年和青年组织的影响作为现实依据，将青年和青年组织放到国际政治的大视野中，初步形成了青年国际政治研究中有关青年、青年组织与意识形态关系的一种分析...
- 主范式 摘要在文[ 1 ]和文[ 2 ]的基础上，给出了命题逻辑中任一命题公式的主析取范式和主合取范式的自动生成算法，并实现了多个命题公式主范式的同时形式化输出。
- 代数范式 这叫做代数范式(ANF)，也叫做Zhegalkin多项式。 这叫做代数范式(ANF)。
- 公共选择范式 公共选择范式主要是通过运用现代经济学方法来对政治过程和政治与经济之间的相互作用进行分析。
- 关系范式 关系范式下促销的变革与新策略 范式也叫关系范式，因为范式存在于关系中。 我们要实现法律关系范式由“主、客二分”向“主客一体”的转变。 因此从其他国家的理论研究以及具体实践来看，政府与非政府组织之间的关系都由传统的“竞争范式”走向了“合作伙伴的关系范式”。 这些活动实际上反映出社区的社区风尚、精神面貌、人际关系范式等文化特征，它如社区之“手”，动态地勾勒出社区精神、社区理想等...
- 前范式 在人类当前范式之中，统一觉知很难被理解。 目前范式中的医生经常被崇尚成神/女神，被期望去疗愈客户。 大部分阅读这些资料的读者理解当前范式的痛苦，伴随着不了解精神与非物质正在指导物理层与非物理实相的这一真相中，带来彼此身上的孤独与折磨。
- 前束范式 问题4.2.7什么是谓词逻辑的前束范式？ A′也称为A的前束范式。 每一个公式，就等于在经典逻辑公式在前束范式。 此时只需考虑前束范式中的量词，将它作为公式复杂性的一种测度。 公式是前束范式如果是书面的一系列量词随后量词的一部分(称为矩阵)。 合式公式中，所有的量词发生在一个完整的序列开始，范围延伸到每个月底的合式公式，据说是在前束范式(无功能)。 一个有用的例子是前束范式...