Supporting the formal verification of mathematical texts

The formal verification of mathematical texts is one of the most interesting applications for computer systems. In fact, we argue that the expert language of mathematics is the natural choice for achieving efficient mathematician–machine interaction. Our empirical approach, the analysis of carefully authored textbook proofs, forces us to focus on the language and the reasoning pattern that mathematician use when presenting proofs to colleagues and students. Enabling a machine to understand and follow such language and argumentation is seen to be the key to usable and acceptable math assistant systems. In this paper, we first perform an analysis of three textbook proofs by hand; we then describe a computational framework that aims at mechanising such an analysis. The resulting proof-of-concept implementation is capable of processing simple textbook proofs and constitutes promising steps towards a natural mathematician–machine interface for proof development and verification.     

中学生学习策略的结构与使用特点

本文采用修订的中学生学习策略量表,系统考察了初一到高三1341名中学生学习策略的使用情况。结果表明:①本次修订的中学生学习策略量表具有良好的信度和效度,划分为认知策略、元认知策略和资源管理策略的结构合理;②中学生在认知策略、元认知策略和资源管理策略的使用上有随年级增长而下降的趋势,在资源管理策略上女生得分明显高于男生;③时间管理策略、努力策略和支持寻求策略对初中生的学习成绩有正向预测作用,调节策略和努力策略对高中生的学习成绩有正向预测作用,而支持寻求策略有负向预测作用。     

学习不良青少年与一般青少年学业情绪特点的比较研究

本研究采用问卷法调查了1034名青少年(学习不良青少年506名),比较了学习不良青少年与一般青少年的学业情绪的特点。结果表明:(1)学习不良青少年的积极学业情绪显著低于一般青少年;学习不良青少年的消极学业情绪显著高于一般青少年。(2)学习不良青少年与一般青少年在学业情绪上的差异主要表现在初一、初二和高二、高三年级。(3)总体来说,男生的积极学业情绪多于女生,女生的消极学业情绪多于男生。     

词汇的语义表征及其启动效应研究现状与问题

语义启动是研究语义表征的主要范式。在过去的30年里,通过对语义启动效应的研究,词汇的语义表征理论也从符号联结发展到神经联结,其影响因素也逐步重视多方面的交互作用。究其问题,已有研究还存在很多不一致的结论,对语义内在的表征机制和学习机制缺乏深入了解,对影响语义表征的个体因素考虑不多。     

应当关注时间心理无意识的研究

随着心理无意识研究在记忆、学习和思维等领域的兴起,内隐时间认知也逐步成为时间心理学中的一个研究热点。本文分析了探究内隐时间认知的四种方法:分离范式、序列学习范式、表征动量范式和计时分布相关范式,指出内隐时间认知实验范式在无意识时间人格与社会心理学中的研究也是有相当前景的。     

学习困难儿童在工作记忆任务中抑制机制的研究

本研究的目的旨在探讨在WM任务中,LD儿童是否存在抑制机制缺陷。实验程序采用重复启动范式,设计“预期”和“目标”两种启动条件,随后通过间接测量的方式(内隐记忆测验)分别测得LD儿童和NLD儿童对预期词和目标词的启动量。结果表明,LD儿童对预期词的启动分数与目标词没有显著差异,NLD儿童对目标词的启动分数显著高于对预期词的启动分数。我们得出结论:在工作记忆任务中,LD儿童存在抑制机制缺陷。     

大中小学生内隐序列学习的发展性研究

采用序列学习的研究范式,对大中小学生的序列反应时和序列生成成绩进行测量,结果表明:(1)大中小学生均能在序列学习中获得序列规则。(2)采用比例测量方法,大中小学生的序列反应时无显著差异。(3)大中小学生的序列生成成绩是不同的,包含成绩随着年级升高而上升,排除成绩则不随年级变化;小学生包含和排除成绩无显著差异,而中学生和大学生的差异逐渐加大。说明序列学习的意识成分随年级的升高而增加。     

儿童语言获得之认知发展机制研究新进展

儿童母语的习得是以已有的知识经验为基础的,即概念信息,由此儿童可以对经验过的对象、关系和事件做出区分并加以归类。这为以后儿童语言的获得奠定了基础。因此,儿童首先建立的是对事物的概念性表征,然后再以语言的形式表达之,即获得了语言性表征。但是,当儿童获得了语言表征之后,原先的概念表征还是继续发挥着它应有的作用。     

高效率学习的心理机制研究

本课题通过一系列研究,发现要实现高效率学习,应在知识呈现符合学生认识规律的情况下,具备以下五个主要心理要素:选择性注意是实现高效率学习的前提,元认知是高效率学习的监控系统,非智力因素是高效率学习的动力源泉,学习策略是实现高效率学习的保障,内隐认知,特别是内隐学习是高效率学习的特殊形式。