部分四值逻辑中L型函数集与拟线性函数集之确定

来源 :海南师范学院学报(自然科学版) | 被引量 : 0次 | 上传用户:kilmic1
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
根据部分k值逻辑的完备性理论,给出了部分四值逻辑中L型函数集与拟线性函数集,从而推进了P4^*中准完备集之最小覆盖的完全解决.
其他文献
介绍了现阶段煤泥水的处理技术及设备情况,以燕子山选煤厂煤泥水系统为例,针对燕子山选煤厂煤泥水系统存在的问题,结合现阶段煤泥水的实际情况,制定了处理对策,改造处理后减
目的研究血浆置换联合分子吸附再循环系统治疗肝衰竭临床效果。方法选取2019年3月~2020年9月我院治疗的42例肝衰竭患者为研究对象,采用随机数字表法分为观察组和对照组,各21
[摘 要] 随着素质教育的不断推进,各学科的教学理念都发生了巨大的变化,小学体育教学也不例外。素质教育强调“德、智、体、美、劳”的全面发展,因此,小学体育课程逐渐发展为一门重要的课程,其教学方式的改革也影响着孩子们的学习态度和学习的兴趣。本文从课程改革的角度出发,浅议小学体育课程的改革问题与学业评价。  [关键词] 小学体育 课程改革 学业评价  俗话说,身体是革命的本钱。由此可见,身体素质对于学
[摘 要] 新课程目标体系对“过程与方法”提出“具有较强的问题意识,能够发现和提出有探究价值的物理问题,敢于质疑,勤于探索,逐步形成独立思考的能力,善于与人合作,具有团队精神”。在新课程改革的背景下,对提高教学效果的方法和途径有了更进一步的研究,问题教学法与传统的教学方法有很大的不同。问题教学法具有启发性,这是指在问题教学活动中,教师通过精心设置问题,启发学生积极思考,充分发挥教师在教学过程中的主