命题逻辑

作品数：601被引量：1016H指数：17
导出分析报告
相关领域：理学自动化与计算机技术更多>>
相关作者：徐扬王国俊王廷明惠小静何星星更多>>
相关机构：西南交通大学陕西师范大学青岛大学延安大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金河南省自然科学基金陕西省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
学业质量视域下高考文学类文本阅读真题之命题逻辑浅析
《读写月报》2025年第1期34-37,共4页陈婷 
广东省2025年度中小学教师教育科研能力提升计划项目重点课题“高中语文学业质量水平视域下命题技术研究”(编号:2025ZQJK619)的研究成果。
《普通高中语文课程标准(2017年版,2020年修订)》(下文简称《新课标》)“学科核心素养”之“思维发展与提升”强调,要“促进深刻性、敏捷性、灵活性、批判性和独创性等思维品质的提升”。为落实这一要求,高考真题的命制有意摒弃了人们...
关键词：学科核心素养 高考真题 命题者 《新课标》 学业质量 题干 命题逻辑 命题意图 
基于命题逻辑与数据增强的逻辑推理答题方法
《计算机工程与设计》2025年第1期190-197,共8页张杰 张虎 王宇杰 
国家自然科学基金项目(62176145)。
为解决现有面向机器阅读理解的逻辑推理方法对文本中存在的深层逻辑关系利用不足与现有的逻辑推理数据集规模较小的问题,提出一种基于命题逻辑与数据增强的逻辑推理答题方法。将命题逻辑引入到逻辑推理任务,构建符合文本逻辑推理的新规...
关键词：阅读理解 逻辑推理 逻辑关系 命题逻辑 文本逻辑图 数据增强 神经推理 符号推理 
基于考试逻辑判断题的数理逻辑教学案例设计
《科技风》2024年第35期32-34,共3页张宇辉 潘晓衡 李青青 
2022年度广东省本科高校教学质量与教学改革工程项目“以学生为中心的《离散数学》课程教学改革与实践”;2022年广东省研究生教育创新计划项目“《人工智能》高水平课程及教材建设”(2022SFKC080);2022年度东莞理工学院质量工程项目“产教融合和多学科交叉背景下人工智能的教学改革与实践”(202202013)。
数理逻辑是采用数学方法研究逻辑形式及其规律的数学分支,是“离散数学”和“人工智能”课程的重要内容。现有的数理逻辑教学以理论讲解为主,教学案例较少且较为抽象,学生难以理解。为了提升数理逻辑的教学效果,本文结合公务员考试中的...
关键词：离散数学 数理逻辑 命题逻辑 谓词逻辑 
斯多葛命题逻辑系统不完全性的新证明
《重庆理工大学学报（社会科学）》2024年第10期160-166,共7页李章吕 潘易欣 
中国社会科学院实验室孵化专项“人工智能视域下逻辑推理形式复杂性研究”(2024SYFH002)。
斯多葛学派的命题逻辑理论是古希腊人对逻辑学的第二次伟大贡献。从现代逻辑的角度来看,应该把它理解为一个有且仅有5条推演规则的自然演绎系统而不是公理系统。陈志美和胡泽洪在承认它是自然演绎系统的基础上,运用算术解释方法证明了...
关键词：斯多葛学派 命题逻辑 自然演绎系统 不完全性 算术解释方法 辅助语义 
指向政治认同:初中道德与法治的命题逻辑探析——以2024年深圳市《道德与法治》中考第14题为例
《福建基础教育研究》2024年第10期76-79,共4页王现江 沈雪春 
2023年深圳市深化新时代教育评价改革试点项目“核心素养导向的学业质量评价及结果运用区域实践研究”。
指向政治认同的初中道德与法治命题思路遵循“明确政治认同的命题立意—创设政治认同的命题情境—设置政治认同的考核任务—制定政治认同的评价细则”的逻辑展开。明确政治认同的命题立意,追求“无价值,不入题”;创设政治认同的问题情境...
关键词：政治认同 道德与法治 命题逻辑 
把握高考命题逻辑 科学指导一轮复习
《教学考试》2024年第37期1-1,共1页王燕 
2024年高考思想政治学科命题强化政治方向和社会主义核心价值观引领,筑牢青年学生理想信念之基。同时,注重对学生“科学精神”素养和关键能力的考查,培养学生的辩证思维和逻辑思维能力,促进学生的全面发展,对2025年高考的一轮复习教学...
关键词：一轮复习 思想政治学科 社会主义核心价值观 引导作用 命题逻辑 高考 逻辑思维能力 辩证思维 
命题逻辑中文字块矛盾型及子句正则矛盾体
《计算机科学》2024年第7期272-277,共6页王成龙 何星星 臧珲 李莹芳 王丹琛 李天瑞 
中央高校基本科研业务费专项资金(2682020ZT107);国家自然科学基金(62106206);教育部人文社科项目(19YJCZH048,20XJCZH016);四川省科技计划(2023YFH0066)。
归结原理是自动推理中一种简洁、可靠且完备的推理规则。基于矛盾体分离的自动演绎理论是归结原理的延伸,矛盾体是该理论的核心部分。由于矛盾体结构复杂且生成策略较少,因此文中提出了一种新的生成矛盾体的策略,即利用多个标准矛盾体...
关键词：标准矛盾体 命题逻辑 文字块矛盾型 子句正则矛盾体 
把握高考试题逻辑 提升复习备考效益
《广东教育（高中版）》2024年第6期46-47,共2页王现江 
众所周知,高考试题是高三学生复习备考的重要资料。在复习的后期,如何用好高考试题,最大限度地服务于复习备考,是摆在广大师生面前的一个值得再思考的重要课题。基于多年的教学、阅卷、命题、研究实践,笔者认为应着重把握高考试题的四...
关键词：复习备考 高三学生 文化韵味 民情风俗 高考试题 家风家训 命题逻辑 传统村落 
探寻两道高考压轴题背后的命题逻辑
《物理教学》2024年第2期62-65,共4页丁佐建 
从两道高考压轴题入手,探寻其背后共同的命题逻辑题设条件重复设置,并分析这种命题逻辑的优点与隐患。
关键词：高考命题 题设条件重复设置 
n值R_(0)命题逻辑系统中公式的条件随机真度
《湖北大学学报（自然科学版）》2024年第1期133-140,共8页许倩 惠小静 南琼 
国家自然科学基金(12261090)资助。
基于条件概率的思想和赋值集的随机化方法,在n值R_(0)命题系统中提出公式的条件随机真度,证明条件随机真度的MP规则和HS规则。其次,引入公式间的条件随机相似度和条件随机伪距离,建立条件随机逻辑度量空间,进一步给出在条件Γ下的近似...
关键词：条件随机真度 条件随机相似度 条件随机逻辑度量空间 
全选清除导出
共60页<12345678910>
检索报告 对象比较 聚类工具 使用帮助 返回顶部