由Paul R. Halmos所著的《Naive Set Theory》是一本不可多得的学习集合论、进而学习其它数学内容的入门好书。说它是好书，有几个标准：第一，内容选取恰当，初学者对集合论应当掌握的内容都包括了，初学者不应当或者不必要的内容完全没有。第二，内容的展示方式不是事实、知识罗列（其它类似书籍的通病）而是直击要害、抓 ...
用精确化的形式语言来严格定义科学理论应当是所有科学领域追求的目标，也是符号逻辑建立的基本动机。其基本方法就是：设定研究对象的范围、边界，然后确定在这个范围内的个体对象。研究对象的范围，我们通常称之为“领域”（domain）或“论域”（universe of discourse）。我们的目标就是为所研究的对象建立形式模型，这 ...
《Introduction to Symbolic Logic and its Applications》(符号逻辑及其应用导论)应当是20世纪出版的最伟大的逻辑教科书之一，也是正在学习逻辑的学生最应当读的名著之一。在本书的德文版序言中作者认为：符号逻辑使用抽象符号当然是现代逻辑最引人瞩目的特征之一也是现代逻辑学与亚氏经典逻辑最大不同之一，但是符号逻 ...
博文
视频
基金
相册
收藏
积分
会议