检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

关于初中数学教师有效评课议课的调研与探究

科技风 2024年第11期 145-147页

作者：张雨洁惠小静延安大学数学与计算机科学学院陕西延安716000

一节优质的数学课堂需要教师与学生反复打磨,不断从实践中发现缺点。在新课改要求下,作为一名教师,评课在教学过程中至关重要,因为只有通过课后评课,才能正确找出自己存在的问题,便于查缺补漏、优化改进。据调查,我国中小学的许多教师... 详细信息

一节优质的数学课堂需要教师与学生反复打磨,不断从实践中发现缺点。在新课改要求下,作为一名教师,评课在教学过程中至关重要,因为只有通过课后评课,才能正确找出自己存在的问题,便于查缺补漏、优化改进。据调查,我国中小学的许多教师的评课议课现状为只听课不评课,不讲实际效果的无效评课。那么课后有效评课应该如何进行?从哪几方面进行?如何有效利用课后评课的反馈?这便是本文需要展开的内容。

关键词：新课改查缺补漏有效评课

基于蕴涵算子族L-λ-Π的反向三I约束算法

同方期刊数据库博看期刊评论

在线全文

学校读者我要写书评

暂无评论

湖北大学学报(自然科学版) 2024年

作者：袁一丹惠小静王前延安大学数学与计算机科学学院

针对带参数蕴涵算子族L-λ-Π给出模糊推理FMP模型的反向三I约束算法的下确界计算公式和FMT模型的反向三I约束算法的上确界计算公式,并进一步得到其一般化的α-反向三I约束算法的FMP(FMT)下(上)确界的计算公式。

关键词：蕴涵算子族L-λ-Π 模糊推理反向三I约束算法 α-反向三I约束算法

n值R_(0)命题逻辑系统中公式的条件随机真度

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

湖北大学学报（自然科学版） 2024年第1期46卷 133-140页

作者：许倩惠小静南琼延安大学数学与计算机科学学院陕西延安716000

基于条件概率的思想和赋值集的随机化方法,在n值R_(0)命题系统中提出公式的条件随机真度,证明条件随机真度的MP规则和HS规则。其次,引入公式间的条件随机相似度和条件随机伪距离,建立条件随机逻辑度量空间,进一步给出在条件Γ下的近似... 详细信息

基于条件概率的思想和赋值集的随机化方法,在n值R_(0)命题系统中提出公式的条件随机真度,证明条件随机真度的MP规则和HS规则。其次,引入公式间的条件随机相似度和条件随机伪距离,建立条件随机逻辑度量空间,进一步给出在条件Γ下的近似推理理论。

关键词：条件随机真度条件随机相似度条件随机逻辑度量空间

一阶逻辑中逻辑度量空间与理论相容性的拓扑性质

在线全文

学校读者我要写书评

暂无评论

湖北大学学报(自然科学版) 2024年

作者：王前惠小静袁一丹许倩延安大学数学与计算机科学学院

设Φ是全体不含函数符号的一阶闭逻辑公式之集。本研究基于一阶逻辑中的公理化真度理论对逻辑度量空间的结构进行分析,搭建逻辑度量空间与拓扑概念之间的联系,证明逻辑度量空间(Φ,ρ)中没有孤立点,并且度量空间(Φ,ρ)存在着既开又闭... 详细信息

设Φ是全体不含函数符号的一阶闭逻辑公式之集。本研究基于一阶逻辑中的公理化真度理论对逻辑度量空间的结构进行分析,搭建逻辑度量空间与拓扑概念之间的联系,证明逻辑度量空间(Φ,ρ)中没有孤立点,并且度量空间(Φ,ρ)存在着既开又闭集组成的拓扑基。最后论证Φ中一个闭逻辑理论Γ是相容的充要条件。得到结论:Γ是相容的当且仅当Γ在逻辑度量空间中不含内点;Γ是相容的当且仅当Γ在逻辑度量空间中不含非空正则球面。

关键词：一阶逻辑逻辑度量空间零维空间相容性

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

概率逻辑学基本定理的推广

电子学报 2007年第7期35卷 1333-1340页

作者：王国俊惠小静陕西师范大学数学研究所

通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计... 详细信息

通过引入生成状态集和生成概率等概念给出了概率逻辑学基本定理的简捷证明,并进一步通过引入自然合并概率的概念将概率逻辑学的基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计.然后将概率逻辑学的基本方法引入计量逻辑学,得出了带参数■的有限逻辑理论相容度概念,是δ-相容度的推广.

关键词：不可靠度生成状态集生成概率自然合并概率计量逻辑学 p-相容度

在线全文

学校读者我要写书评

暂无评论

NM理论中积分真度的统一理论

西北工业大学学报 2023年第2期41卷 439-445页

作者：王波惠小静鲁星延安大学数学与计算机科学学院陕西延安716000

基于在幂零极小逻辑NM(nilpotent minimun)命题逻辑系统中,通过将公式诱导的函数进行积分的方法提出了公式的积分真度概念,利用积分不变性证明了积分真度MP规则、HS规则;在NM命题逻辑系统的全体公式之集上引入了积分相似度和积分伪距离... 详细信息

基于在幂零极小逻辑NM(nilpotent minimun)命题逻辑系统中,通过将公式诱导的函数进行积分的方法提出了公式的积分真度概念,利用积分不变性证明了积分真度MP规则、HS规则;在NM命题逻辑系统的全体公式之集上引入了积分相似度和积分伪距离,并且证明了关于相似度和伪距离的一些性质;通过发散度以及直径的概念,提出了NM命题模糊逻辑中反映理论相容程度新的隶属函数,利用隶属函数给出了相容度的概念,证明了不相容理论的相容度为0,完全相容理论的相容度为1。

关键词： NM命题逻辑系统积分真度伪距离相容度

基于相似度的直觉模糊推理反向三Ⅰ算法的鲁棒性

在线全文

学校读者我要写书评

暂无评论

电子学报 2020年第2期48卷 265-271页

作者：井美惠小静王蓉延安大学数学与计算机科学学院陕西延安716000

本文将直觉模糊集与反向三Ⅰ算法结合起来,研究了直觉模糊推理a-反向三Ⅰ算法,给出了IFMP、IFMT问题的直觉模糊推理a-反向三Ⅰ算法解的表达形式和分解形式.其次,借助双剩余,定义了直觉模糊集间的相似度,给出了直觉Lukasiewicz蕴涵、直觉... 详细信息

本文将直觉模糊集与反向三Ⅰ算法结合起来,研究了直觉模糊推理a-反向三Ⅰ算法,给出了IFMP、IFMT问题的直觉模糊推理a-反向三Ⅰ算法解的表达形式和分解形式.其次,借助双剩余,定义了直觉模糊集间的相似度,给出了直觉Lukasiewicz蕴涵、直觉Godel蕴涵、直觉Goguen蕴涵、直觉R0蕴涵的相似度,并分析了它们之间的关系.最后,利用直觉模糊集上的相似度作为扰动参数,讨论了直觉模糊推理a-反向三Ⅰ算法的鲁棒性,特别是,针对以上四种剩余型蕴涵算子,得到了直觉模糊推理a-反向三Ⅰ算法的一些关于鲁棒性的结论.

关键词：直觉模糊推理反向三Ⅰ算法相似度鲁棒性

基于直觉模糊推理(1,2,2)-a型泛三Ⅰ算法的鲁棒性

在线全文

学校读者我要写书评

暂无评论

电子学报 2019年第2期47卷 410-416页

作者：惠小静井美王蓉延安大学数学与计算机科学学院陕西延安716000

本文基于直觉模糊集,研究了直觉模糊推理(1,2,2)-a型泛三Ⅰ算法,给出了IFMP、IFMT问题的直觉模糊推理(1,2,2)-a型泛三Ⅰ算法解的表达形式和分解形式.其次,利用直觉模糊集间的自然距离定义了直觉模糊连接词和直觉模糊集的灵敏度,给出了直... 详细信息

本文基于直觉模糊集,研究了直觉模糊推理(1,2,2)-a型泛三Ⅰ算法,给出了IFMP、IFMT问题的直觉模糊推理(1,2,2)-a型泛三Ⅰ算法解的表达形式和分解形式.其次,利用直觉模糊集间的自然距离定义了直觉模糊连接词和直觉模糊集的灵敏度,给出了直觉?ukasiewicz蕴涵、直觉G?del蕴涵以及它们各自对应三角模的灵敏度,在此基础上,证明了直觉?ukasiewicz蕴涵是直觉模糊集上最鲁棒剩余型蕴涵算子.最后,讨论了直觉模糊推理(1,2,2)-a型泛三Ⅰ算法的鲁棒性,并且针对以上两种具体蕴涵算子,相应地获得了直觉模糊推理(1,2,2)-a型泛三Ⅰ算法解的灵敏度.结论表明,直觉模糊推理算法的鲁棒性完全取决所选择的直觉模糊连接词.

关键词：鲁棒性直觉模糊推理泛三Ⅰ算法解的灵敏度

概率逻辑学基本定理在多值命题逻辑系统中的推广

在线全文

学校读者我要写书评

暂无评论

应用数学学报 2011年第2期34卷 217-228页

作者：惠小静延安大学数学与计算机科学学院延安716000

通过引入概率测度空间,在n值Lukasiewicz命题逻辑系统中提出了满足Kolmogorov公理的命题公式的概率;证明了概率逻辑学基本定理,并将概率逻辑学基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计;将概率逻辑学的基本... 详细信息

通过引入概率测度空间,在n值Lukasiewicz命题逻辑系统中提出了满足Kolmogorov公理的命题公式的概率;证明了概率逻辑学基本定理,并将概率逻辑学基本定理推广到了更一般的形式,改进了对推理结论的不可靠度上界的估计;将概率逻辑学的基本方法引入计量逻辑学,建立了更一般的逻辑度量空间;通过概率逻辑学基本定理,证明了逻辑度量空间中概率MP,HS规则,它是真度MP,HS规则的推广.

关键词：概率逻辑学基本定理概率不可靠度计量逻辑学度量空间