返回首页 联系帮助
更多数理化文化科学教育体育文学环境安全生物社会科学经济自然科学航空航天艺术语言文字马列毛邓综合图书其他书籍外文
本书内容分两部分:第一部分属数理逻辑基础,包含命题演算与谓词演算的基本知识。第二部分为形式算术与Godel不完备性定理。本书可用作计算机专业研究生或高年级本科生教材。...
本书在介绍数学基础的历史之后,系统讲述现代数学主体的基础-----ZFC集论,其中重点详述四种数(自然数、实数、序数和基数)的理论。实数的构造与传统的Dedekind分割和Cantor基本序列等构造方法不同,采用了算术超滤...
本书介绍了俄语发音的基础知识和基本技巧,同时配合大量练习。内容浅显,形式活泼。