逻辑形式化相关论文
技能测评是计算机辅助测评领域的研究重点。笔者提出了根据Flash发布格式SWF动画文件进行动画效果自动阅卷的设想，给出了基于XML的S......
莱布尼茨是亚里士多德之后的伟大逻辑学家,是数理逻辑的奠基者。他的逻辑思想主要集中在他所提出的关于创设“通用语言”和“通用......
提出了一种根据动画效果实现Flash动画自动测评的方案。采用逻辑形式化方法描述操作题阅卷信息，并通过建立的逻辑形式化阅卷系统实......
自20世纪70年代吉伯德-萨特思韦特防策略不可能性定理确立后,引起了数学、经济学、计算机科学和哲学等诸多领域中学者的广泛关注。......
