“用党的科学理论武装青年”的逻辑内蕴、问题导向和实践路径

1

作者 乔旭娟 陈云龙 《黄河科技学院学报》 2024年第12期38-42,共5页

习近平总书记在党的二十大报告中强调,“用党的科学理论武装青年”。这是党的政治优势和优良传统,具有丰富的理论逻辑、历史逻辑和实践逻辑,在党和国家事业中具有极其重要的战略地位,对进一步全面深化改革、推进中国式现代化具有重大的... 习近平总书记在党的二十大报告中强调,“用党的科学理论武装青年”。这是党的政治优势和优良传统,具有丰富的理论逻辑、历史逻辑和实践逻辑,在党和国家事业中具有极其重要的战略地位,对进一步全面深化改革、推进中国式现代化具有重大的深远影响。长期以来,“用党的科学理论武装青年”受马克思主义过时论、网络历史虚无主义和青年群体“佛系”“躺平”等不良思想倾向影响严重。因此,要格外注重青年理论武装,其基础前提是建设具有强大凝聚力和引领力的社会主义意识形态,中心工作是推进马克思主义中国化时代化最新成果入脑入心,重要任务是引领青年自觉抵制马克思主义过时论,同时要拓展场域,打造多元载体平台,提升创新理论青年化阐释亲和力,让青年成为创新理论的坚定信仰者、深入学习者和模范践行者。 展开更多

关键词 用党的科学理论武装青年 逻辑内蕴 问题导向 实践路径

下载PDF 职称材料

空值环境下NFD—NMVD混合强保持逻辑蕴涵问题

2

作者 郝忠孝 洪涛 刘国华 《计算机研究与发展》 EI CSCD 北大核心 1994年第3期8-11,共4页

本文讨论了空值环境下的ＮＦＤ－ＮＭＶＤ混合强保持依赖基的定义和求解算法，并讨论了算法的有效性和完备性，给出了ＮＦＤ－ＮＭＶＤ混合推导公理、强保持集属性闭包的求解算法，从而解决了ＮＦＤ－ＮＭＶＤ混合情况下的强保持逻辑蕴... 本文讨论了空值环境下的ＮＦＤ－ＮＭＶＤ混合强保持依赖基的定义和求解算法，并讨论了算法的有效性和完备性，给出了ＮＦＤ－ＮＭＶＤ混合推导公理、强保持集属性闭包的求解算法，从而解决了ＮＦＤ－ＮＭＶＤ混合情况下的强保持逻辑蕴涵问题。 展开更多

关键词 逻辑蕴涵 关系型数据库 数据依赖

下载PDF 职称材料

习近平关于民生重要论述的理论基础、逻辑意蕴及价值指向

3

作者 刘艳玲 虞满华 张朝龙 《广西科技师范学院学报》 2022年第6期9-15,共7页

习近平关于民生重要论述是对马克思主义涉及的民生理念、中华优秀传统文化中蕴含的民本思想、中国共产党以人为本价值理念的继承与发展。这些论述的逻辑意蕴内含逻辑原点、逻辑发展以及逻辑旨归。习近平关于民生重要论述的价值指向为增... 习近平关于民生重要论述是对马克思主义涉及的民生理念、中华优秀传统文化中蕴含的民本思想、中国共产党以人为本价值理念的继承与发展。这些论述的逻辑意蕴内含逻辑原点、逻辑发展以及逻辑旨归。习近平关于民生重要论述的价值指向为增强中国人民的获得感、幸福感、安全感凝聚团结奋斗的共识,为解决新时代社会主要矛盾凝聚团结奋斗的动能,为实现第二个百年奋斗目标凝聚团结奋斗的伟力。 展开更多

关键词 习近平 民生论述 逻辑意蕴 现实启示

下载PDF 职称材料

F命题演算

4

作者 熊天义 《淮北煤师院学报（自然科学版）》 1991年第4期21-26,53,共7页

本文在[1]的基础上,把普通命题推广到F命题,应用基本逻辑联结词,对F命题进行了逻辑演算。文中还推出了基本F公式,借以推证引出其它的为F的F函数。

关键词 模糊命题 模糊逻辑 蕴涵 模糊函数

下载PDF 职称材料

一种组合逻辑环转化方法

5

作者 邸志雄 史江义 +4 位作者 马佩军 张译 袁莉 郝跃 许钊 《西安电子科技大学学报》 EI CAS CSCD 北大核心 2014年第1期75-80,共6页

组合逻辑环能够减少电路逻辑资源,降低电路功耗,但是其难以被静态时序分析工具分析和计算,且难以生成功能验证向量和自动测试图形向量.针对此问题,提出一种组合逻辑环转化方法,以解决硬件描述语言以及高级语言逻辑综合阶段所面临的组合... 组合逻辑环能够减少电路逻辑资源,降低电路功耗,但是其难以被静态时序分析工具分析和计算,且难以生成功能验证向量和自动测试图形向量.针对此问题,提出一种组合逻辑环转化方法,以解决硬件描述语言以及高级语言逻辑综合阶段所面临的组合逻辑环拆分问题.不同于采用三值仿真策略的现有文献,引入了布尔可满足引擎对组合逻辑环电路进行了表征,使用静态逻辑蕴涵完成了环形电路的拆分.同时,根据环形电路的形成机理,提出了拆分组合逻辑环结构的规则,用于冗余向量优化以及非环电路的逻辑推理.实验结果表明,这种算法能够正确地拆分组合逻辑环结构,且转化时间短,转化后的电路规模小. 展开更多

关键词 组合逻辑环 逻辑综合 SAT引擎 静态逻辑蕴涵

下载PDF 职称材料

习近平关于体育工作重要论述的科学内涵、逻辑意蕴和实践方略 被引量：1

6

作者 刘韧 杨章超 《山东农业工程学院学报》 2020年第10期83-86,共4页

习近平关于体育工作的重要论述是中国特色社会主义体育理论的重要组成部分。习近平关于体育工作的科学发展理念是实现中华民族伟大复兴中国梦的重要内容,丰富了马克思主义体育理论的内涵,对践行中国特色体育发展道路具有重大的实践指导... 习近平关于体育工作的重要论述是中国特色社会主义体育理论的重要组成部分。习近平关于体育工作的科学发展理念是实现中华民族伟大复兴中国梦的重要内容,丰富了马克思主义体育理论的内涵,对践行中国特色体育发展道路具有重大的实践指导价值。 展开更多

关键词 习近平 体育工作 逻辑意蕴 科学内涵

下载PDF 职称材料

语法描写的逻辑形式 被引量：8

7

作者 金立鑫 陆丙甫 《语言科学》 CSSCI 北大核心 2010年第1期34-45,共12页

文章讨论语法描写的逻辑格式,因为只有遵循逻辑要求才能保证描写的穷尽性、严密性和可靠性,而可靠的描写是建立语法理论的基础之上。文章展示了语法描写中可能运用到的逻辑形式,并以实例分析说明了如何在逻辑命题内部建立相关性来解释... 文章讨论语法描写的逻辑格式,因为只有遵循逻辑要求才能保证描写的穷尽性、严密性和可靠性,而可靠的描写是建立语法理论的基础之上。文章展示了语法描写中可能运用到的逻辑形式,并以实例分析说明了如何在逻辑命题内部建立相关性来解释对象并建立或验证理论的。 展开更多

关键词 语法描写 逻辑 蕴含关系

下载PDF 职称材料

赋值格为非线性序的一种4值逻辑系统G_4~2 被引量：3

8

作者 郑亚林 李彩萍 《宝鸡文理学院学报（自然科学版）》 CAS 1998年第4期1-4,共4页

研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的非运算，而蕴含算子→取Ｇｏｄｅｌ的ＲＧ的一种４值逻辑系统Ｇ２４，得到一些结果，特别是，在Ｇ２４中，α－ＭＰ规则（α＞０）都成立，Ｇ２４－重言式都是Ｃ２－重言式，所有的Ｉ... 研究赋值格为非线性序，非运算不同于Ｂｏｏｌｅ的非运算，而蕴含算子→取Ｇｏｄｅｌ的ＲＧ的一种４值逻辑系统Ｇ２４，得到一些结果，特别是，在Ｇ２４中，α－ＭＰ规则（α＞０）都成立，Ｇ２４－重言式都是Ｃ２－重言式，所有的ＩＰＣ－定理皆是Ｇ２４－重言式，以及，一个公式是Ｇ２４－重言式，当且仅当它既是Ｇ２４－中的Ｉ－重言式，又是－Ｊ重言式。 展开更多

关键词 FUZZY逻辑 Godel蕴涵算子 α—MP规则 α—重言式 IPC—定理

下载PDF 职称材料

数学命题与证明中的数理逻辑 被引量：1

9

作者 苏岐芳 《齐齐哈尔师范学院学报（自然科学版）》 1996年第2期12-15,20,共4页

本文应用数理逻辑的方法,证明了数学中的某些问题。

关键词 数理逻辑 数学命题 逆命题 否命题

下载PDF 职称材料

灰度逻辑蕴含运算CNN模板的鲁棒性设计 被引量：1

10

作者 张群 闵乐泉 《南京理工大学学报》 EI CAS CSCD 北大核心 2014年第4期490-495,共6页

为了解决灰度图像逻辑蕴含运算的问题,该文对一类灰度图像逻辑蕴含运算细胞神经网络(Gray-scale logic converse implication operation cellular neural network,GLCIO CNN)进行了研究。通过制定两幅灰度图像之间的逻辑蕴含运算,设计... 为了解决灰度图像逻辑蕴含运算的问题,该文对一类灰度图像逻辑蕴含运算细胞神经网络(Gray-scale logic converse implication operation cellular neural network,GLCIO CNN)进行了研究。通过制定两幅灰度图像之间的逻辑蕴含运算,设计了一类GLCIO CNN。根据GLCIO CNN的局部规则,对其模板进行鲁棒性设计,提出相应的鲁棒性设计定理,并给出了科学合理的数学证明。只要细胞神经网络的模板参数满足定理中提出的参数不等式,细胞神经网络(CNN)就能够对两幅灰度图像执行逻辑蕴含运算。实验结果验证了GLCIO CNN的有效性及鲁棒性设计定理的可行性。 展开更多

关键词 细胞神经网络 灰度图像 逻辑蕴含运算 鲁棒性设计 模板参数

下载PDF 职称材料

广义多态事件树模型 被引量：7

11

作者 田宏 陈宝智 +1 位作者 吴穹 高永庭 《中国安全科学学报》 CAS CSCD 2000年第6期35-39,共5页

针对工程系统中普遍存在的反馈关系 ,提出了广义多态事件树的概念 ,利用多值逻辑及集合理论 ,建立了广义多态事件树的数学模型。该模型拓展了一般的事件树模型 ,解决了存在反馈关系的系统的建树难题 。

关键词 广义多态事件树 数学模型 工程系统 反馈关系 广义最小割集合 多态系统

下载PDF 职称材料

适于大数目输入变量的逻辑综合启发式算法

12

作者 管致锦 张义清 《计算机应用与软件》 CSCD 北大核心 2004年第11期8-9,20,共3页

本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随机产生的大数目输... 本文给出了适用于大数目输入变量的逻辑综合启发式算法。该方法采用自顶向下的逼近 ,通过包含的文字产生蕴涵项 ,包含文字的选择是基于启发式方法 ,根据文字发生的频率进行的。这个算法已经通过标准benchmarks例题和随机产生的大数目输入变量问题的测试。实验证明该方法是有效的 ,特别对大数目输入变量的函数 ,具有较好的综合效果。 展开更多

关键词 输入变量 逻辑综合 启发式算法 文字 自顶向下 逼近 测试 实验证明 数目 随机

下载PDF 职称材料