有两个相邻的小国，一个叫飘飘国，一个叫悠悠国。飘飘国的王子快20岁了，国王想给他办一个盛大的晚宴，邀请...
2016.1
本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分：第1部分...
2016.9
本书是清华大学计算机系列教材《数理逻辑与集合论》（第二版）一书的配套教材。全书分为两大部分：第1部分...
2001.8
连续统假设是1878年由康托首先提出来的，1900年希尔伯特在他的著名演讲中列举了23个未解决的数学问题，连续...
2016.
本书稿主要包含单论域粗糙集的基本理论、双论域上的粗糙集模型的变换、双论域上基于水平集的粗糙集、双论域...
2016.5
本书是一部数学经典。它记录了一百年前数学领域的一项惊人成就，也是数学和哲学思想史上关于无穷观念的一场...
2016.