机器学习和发现需要我们对当代科学哲学的思想和方法进行形式化．本文介绍了Ｌａｋａｔｏｓ方法论的基本思想，并通过二阶受限Ｔａｂｌｅａｕ来实现Ｌａｋａｔｏｓ方法论的形式化系......

<正> 引言数学研究的是数学结构的性质。本文将研究数学推理,这种推理是用以证明这些性质的方法。数学结构用一套公理来定义。根据......

<正> 我们假定读者已经知道一个狭义谓词演算公式α(其中可出现“等号”,下同)的永真性和可满足性的定义及其一些最简单的性质。......