高考数学命题系统的构建与运用

要实现“立德树人、服务选才、导向教学”这一高考评价目标,需要构建具备科学性、操作性、有效性以及能测量的数学高考命题系统.运用质性研究方法,研究数学高考命题相关的5个问题.认为高考数学素养是考生面对数学活动情境时,能够运用数学的知识、能力和思想方法,正确合理地理解问题、分析问题和解决问题的综合品格;它由必备知识(18个模块68个组块)、关键能力(数学运算、数学推理、空间观念、数据分析、数学应用、数学创新)和数学思想(化归、数形结合、分类讨论、函数与方程、特殊与一般、随机与推断)构成;构建了有效地分析数学试题结构的评价模型并给出了一个示范运用;提出了5条数学试题命制的创新策略.

凸显数学核心素养 呈现上游命题系统

文章通过对一道中考试题的分析,发现尺规作图可落实数学核心素养中的直观想象和逻辑推理,训练综合运用数学知识的能力.学生丰富的作图方法呈现出不同的上游命题系统,教师在日常教学中应加强尺规作图的过程性教学,引导学生学会建立上游命题系统.

考试命题系统的研究

本文提出科学的、智能化的考试命题系统的研究方法并给出相应的数学模型。介绍据此研制的《画法几何及机械制图》命题系统，该系统只需给出三个参数：试卷结构方案、考试时间、预测平均得分，系统即可按要求自动选题、自动赋分、自动排版，最后输出一份理想的试卷。

基于自动命题系统实现《操作系统》教考分离

基于作者研制的《操作系统》题库及计算机自动命题系统，对云南大学计算机科学系９６级《操作系统》课程期中考试和期末考试实施了教考分离。命题（含参考答案）安全由《操作系统》计算机自动命题系统承担，任课老师进行了回顾，本文将教考分离的考试成绩与历届《操作系统》课程的期中、期末考试的成绩进行了对比分析，综合分析结果表明，教考分离有利于提高教学质量。

C语言自动命题系统的设计与开发

本文分析了传统考试命题方式的弊端,提出了利用计算机进行辅助命题的可行性和必要性,详细介绍了"C语言自动命题系统"的试题库和系统功能的实现方法。本系统的开发可辅助教师出具试卷,在一定程度上减轻教师工作负担。

关于模态命题系统的一种布尔值模型

本文首先定义了模态命题公式□a的布尔值,然后证明:模态命题逻辑的正规系统K、D和T以及严格蕴涵系统S1和S2的所有公理的布尔值为1.最后,证明了VB是K.D和T以及S1和S2的布尔值模型.

地方院校考试自动命题系统的研制

本文结合林学特色专业建设,分析地方林业院校考试命题的现状及规律,提出了地方林业院校考试命题系统功能设计的基本原则,并针对考试命题管理工作的实际情况,对林学专业考试命题系统建设进行了功能设计与系统开发,经过5年的应用与完善,认为该考试命题系统能够满足地方林业院校考试命题与试卷分析的需要。

理论力学计算机命题系统的研制和开发

详细介绍了利用Borland公司的开发工具Delphi,设计开发理论力学计算机命题系统的全过程 。

一个考试命题系统的设计与实现

本文详细地阐述了考试命题系统的设计与实现思想、实现的功能和需要解决的关键问题.

中介命题系统MP推理规则的独立性问题

对于一个形式系统而言 ,在不改变其完备性的前提下 ,形式越简洁 ,使用越方便。现在中介命题系统MP推理规则集 S的简化等价集 S1已经建立 ,其中 S1共有 1 4条推理规则 ,如果这些推理规则中有一条可以由 S1的其余推理规则推导出来 ,那么它就是不独立的 ,可以将其删去而不影响形式系统 S1的效力 ,从而得到形式上更为简洁的系统。为此目的笔者利用值模型法对形式系统 S1的每条推理规则的独立性一一进行了探讨 ,发现一条不独立的规则 。

网络课程考试命题系统的架构

主要讨论网络课程命题考试系统的架构过程 :建立试题库 ,确立命题算法 ,使用双向细目表以及软件的实现 .架构过程中的关键是建立试题库 ,而建立科学合格的试题库应经过试题分类、试题认知水平的界定。

电磁学试题库的命题系统

本文详细论述电磁学试题库的命题系统．

高等代数命题系统的研制与实践

介绍了高等代数抽题系统的特点及推广价值.

面向对象的计算机辅助命题系统设计与实现

本文讲述了一个通用型计算机辅助命题系统的设计全过程,探讨了面向对象思想在考试系

模糊命题系统Gdel和L~*中条件真度的比较

首先把条件真度由三值逻辑系统推广到连续值系统Gdel和L*中,然后通过计算同时包含伴随对(,→)的4个公式(pq)→r,p(q→r),(p→q)r和p→(qr)基于同一个信息Γ={p}下的条件真度并比较其大小,得到条件真度的大小服从三角模算子的大小顺序,即τL*≤Gτd.

中介命题系统MP推理规则的简化

对中介逻辑命题演算系统 MP的 1 8条推理规则作了简化 ,从中删除了 5条不独立的推理规则 ,构成与原推理规则集 S等价的形式推理规则集 S1。

数学题库及命题系统的研制

题库和自动命题系统是各学科教师在现代化教学中经常使用的工具之一，而计算机的发展具备了开发实用出题系统来自动生成试卷的条件，能减轻教师的工作负担及提高工作效率，与此同时也提高了考试的质量，从而使考试更加公证、客观；而用计算机程序化管理的试题库，具有效率高、出题规范和质量标准统一等优点，是现代教育改革的必然趋势。

中介命题扩张系统MP推理规则集的简化

中介系统是以中介原则为基础 ,以中介逻辑演算为工具的一种新的数学理论系统。狭义的中介系统仅指中介逻辑 ML,它由中介命题系统 MP及其扩张系统 MP*、中介谓词演算系统 MF及其扩张系统 MF* ,以及带等词的中介谓词演算系统 ME* 组成。本文讨论中介命题扩张系统 MP* 推理规则集 SA的简化。对于一个形式系统的推理规则而言 ,在保证其相容性、完备性和独立性的前提下 ,形式系统的推理规则集越简洁 ,使用越方便。本文对规则集 SA进行了简化 ,方法是 :如果 SA中某条规则可由 SA中其余规则推导出来 ,并且推导过程所用形式定理的证明未用到此规则 ,则此规则可被简化而不影响 SA的效力。作者简化了 SA中 8条规则并且证明简化后的规则集与原规则集

n值S-MTL命题逻辑系统中公式真度的统一理论

给出了强正则蕴涵算子和n值S-MTL命题逻辑系统的定义.基于一般的概率测度定义了公式的真度,并给出了公式真度的积分表达式;基于公式真度的积分表达式证明了真度推理规则;在n值S-MTL命题逻辑系统的全体公式集上引入了一种伪距离,证明了逻辑运算关于这种伪距离是连续的.提出了一种近似推理机制,使得在n值S-MTL命题逻辑系统中展开近似推理成为可能.

命题逻辑系统SMTL中公式的积分真度理论

首先给出了强左连续-t模和SMTL命题逻辑系统的定义,证明了左连续的-t模为强左连续-t模当且仅当与之伴随的正则蕴涵算子为强正则蕴涵算子;其次,在基于强正则蕴涵算子的模糊命题逻辑系统中定义了公式的积分真度,给出了积分真度推理规则;最后,基于公式的积分真度在SMTL命题逻辑系统的全体公式集上引入了一种伪距离,提出了三种近似推理机制,从而使得在SMTL命题逻辑系统的统一框架下展开近似推理成为可能.