提出了在对命题题材进行恰当地描述的基础上计算机自动命题的思想；
The idea of computer automatic proposition which bases on the foundation of proper describing for proposition subject is proposed.
“电路分析自动命题系统”由交互测试模块、自动命题模块以及试题库管理模块组成，能够实现交互自我测试、试卷的自动生成以及题库的维护功能。
The automatic examination paper generating System for Circuit Theory consists of self-test module, automatic examination paper generating module and test question management module.
给出了相干命题逻辑自然推理系统NR的自动证明算法。
This paper presented an automated reasoning algorithm for natural deduction system (NR) of relevance propositional logic.
应用推荐