![新定义概念下的数学问题研究]()
一、新定义概念下的数学问题研究（论文文献综述）姜志根[1]（2021）在《洞察数学本质巧构灵动新题——一次市级“命题说题”比赛的心路历程》文中研究指明浙江省初中数学教师业务能力...
![现代汉语虚词与对外汉语教学研讨会在上海师范大学召开]()
一、现代汉语虚词与对外汉语教学学术研讨会在上海师范大学召开（论文文献综述）左娅[1]（2021）在《新HSK5级阅读真题研究及教学建议——以四川师范大学留学生为例》文中进行了进...
![上下文·联想·语义翻译]()
一、语境·关联·语义翻译（论文文献综述）李淑颖[1]（2021）在《沃尔沃S90轿车车主手册英汉翻译实践报告》文中进行了进一步梳理在全球经济一体化的时代背景...
![一种务实，一种张扬]()
一、一个务实一个张扬（论文文献综述）许敏,孟繁红[1]（2009）在《杨静茂一切终归要艺术》文中研究表明企业也好个人也好,成长到一定阶段时纯物质的收获已经不能带来快乐,要挖掘内...
![汉语复句分类研究新探索]()
论文摘要本文主要从逻辑角度分析复句。通过对比复句和命题逻辑来分析复句的逻辑基础,从而给复句分类。绪论部分介绍了国内外语言逻辑发展现状、语言家对复句逻辑基础讨论以及本文的研究计划...
![基于AOP的业务约束运行时检测]()
论文摘要伴着计算机的迅猛发展，计算机软件已渗透到日常生活的各个方面。为了满足社会及人民的各种需求，应用软件的规模不断扩大，从而导致复杂度也不停地提高。在许多关键性的领域，计算机...
![自动推理和智能规划中若干问题研究]()
论文摘要自动推理和智能规划自从二十世纪五十年代被提出,已经成为计算机科学中最重要的研究领域。基于演绎推理的规划求解方法、基于SAT的经典规划求解方法和基于QBF以及知识编译的非...
![基于命题逻辑的《伤寒论》方证理论体系研究]()
论文摘要目的：从命题逻辑的角度研究《伤寒论》方证理论体系。试图达到或接近以下的研究目标——创建从逻辑学角度研究《伤寒论》的范式；创建从语言学角度研究《伤寒论》的范式；构建《伤寒...
![基于扩展规则的定理证明的研究]()
论文摘要自动定理证明自从二十世纪五十年代被提出,已经成为计算机科学中最重要的领域之一。归结方法是其中最著名、应用最广的方法之一。扩展规则方法将定理证明沿着归结的反方向进行,是一...
![扰动模糊命题逻辑系统的语义]()
论文摘要扰动模糊命题逻辑系统的产生源于实际问题的需要,但在该系统中对王国俊教授关于一维逻辑系统W|-中广义重言式理论到二维逻辑系统的推广工作进行得并不顺利.本文通过修改二维蕴涵...
![直觉模糊命题逻辑系统的语义]()
论文摘要本文首先通过定义新的蕴涵算子→T,建立一个新的直觉模糊命题逻辑系统（I02,,∨,→T）,讨论此蕴涵算子的性质,研究系统I02上的广义拟重言式,它共分为五种不同的广义拟...
![区间值模糊命题逻辑的广义拟重言式及其真度]()
论文摘要本文定义了规范区间和区间值模糊命题逻辑的→G蕴涵算子,研究了区间值模糊命题逻辑广义拟重言式及其分类.在此基础上给出局部赋值的广义拟重言式定义,并在其中建立了升级算法.最...
